Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.18 | 1800.8 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k5_l4_n750.opb |
MD5SUM | 84dfc4b706a5e82746c96ff285501708 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 31.2183 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 3750 |
Total number of constraints | 467625 |
Number of constraints which are clauses | 466875 |
Number of constraints which are cardinality constraints (but not clauses) | 750 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 5 |
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 | 3 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 7 |
Number of bits of the biggest sum of numbers | 3 |
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... 20.44/20.55 c Converting 468375 PB-constraints to clauses... 20.54/20.64 c -- Unit propagations: (none) 20.54/20.64 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 20.54/20.69 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 21.72/21.83 c ---[1498]---> BDD-cost: 7 21.72/21.83 c ---[1496]---> BDD-cost: 7 21.72/21.83 c ---[1494]---> BDD-cost: 7 21.72/21.83 c ---[1492]---> BDD-cost: 7 21.72/21.83 c ---[1490]---> BDD-cost: 7 21.72/21.83 c ---[1488]---> BDD-cost: 7 21.72/21.83 c ---[1486]---> BDD-cost: 7 21.72/21.83 c ---[1484]---> BDD-cost: 7 21.72/21.83 c ---[1482]---> BDD-cost: 7 21.72/21.83 c ---[1480]---> BDD-cost: 7 21.72/21.83 c ---[1478]---> BDD-cost: 7 21.72/21.83 c ---[1476]---> BDD-cost: 7 21.72/21.83 c ---[1474]---> BDD-cost: 7 21.72/21.83 c ---[1472]---> BDD-cost: 7 21.72/21.83 c ---[1470]---> BDD-cost: 7 21.72/21.83 c ---[1468]---> BDD-cost: 7 21.72/21.83 c ---[1466]---> BDD-cost: 7 21.72/21.83 c ---[1464]---> BDD-cost: 7 21.72/21.83 c ---[1462]---> BDD-cost: 7 21.72/21.83 c ---[1460]---> BDD-cost: 7 21.72/21.83 c ---[1458]---> BDD-cost: 7 21.72/21.83 c ---[1456]---> BDD-cost: 7 21.72/21.83 c ---[1454]---> BDD-cost: 7 21.72/21.83 c ---[1452]---> BDD-cost: 7 21.72/21.83 c ---[1450]---> BDD-cost: 7 21.72/21.83 c ---[1448]---> BDD-cost: 7 21.72/21.83 c ---[1446]---> BDD-cost: 7 21.72/21.83 c ---[1444]---> BDD-cost: 7 21.72/21.83 c ---[1442]---> BDD-cost: 7 21.72/21.83 c ---[1440]---> BDD-cost: 7 21.72/21.83 c ---[1438]---> BDD-cost: 7 21.72/21.83 c ---[1436]---> BDD-cost: 7 21.72/21.83 c ---[1434]---> BDD-cost: 7 21.72/21.83 c ---[1432]---> BDD-cost: 7 21.72/21.83 c ---[1430]---> BDD-cost: 7 21.72/21.83 c ---[1428]---> BDD-cost: 7 21.72/21.83 c ---[1426]---> BDD-cost: 7 21.72/21.83 c ---[1424]---> BDD-cost: 7 21.72/21.83 c ---[1422]---> BDD-cost: 7 21.72/21.83 c ---[1420]---> BDD-cost: 7 21.72/21.83 c ---[1418]---> BDD-cost: 7 21.72/21.83 c ---[1416]---> BDD-cost: 7 21.72/21.83 c ---[1414]---> BDD-cost: 7 21.72/21.83 c ---[1412]---> BDD-cost: 7 21.72/21.83 c ---[1410]---> BDD-cost: 7 21.72/21.83 c ---[1408]---> BDD-cost: 7 21.72/21.83 c ---[1406]---> BDD-cost: 7 21.72/21.83 c ---[1404]---> BDD-cost: 7 21.72/21.83 c ---[1402]---> BDD-cost: 7 21.72/21.83 c ---[1400]---> BDD-cost: 7 21.72/21.83 c ---[1398]---> BDD-cost: 7 21.72/21.83 c ---[1396]---> BDD-cost: 7 21.72/21.83 c ---[1394]---> BDD-cost: 7 21.72/21.83 c ---[1392]---> BDD-cost: 7 21.72/21.83 c ---[1390]---> BDD-cost: 7 21.72/21.83 c ---[1388]---> BDD-cost: 7 21.72/21.83 c ---[1386]---> BDD-cost: 7 21.72/21.83 c ---[1384]---> BDD-cost: 7 21.72/21.83 c ---[1382]---> BDD-cost: 7 21.72/21.83 c ---[1380]---> BDD-cost: 7 21.72/21.83 c ---[1378]---> BDD-cost: 7 21.72/21.83 c ---[1376]---> BDD-cost: 7 21.72/21.83 c ---[1374]---> BDD-cost: 7 21.72/21.83 c ---[1372]---> BDD-cost: 7 21.72/21.83 c ---[1370]---> BDD-cost: 7 21.72/21.83 c ---[1368]---> BDD-cost: 7 21.72/21.83 c ---[1366]---> BDD-cost: 7 21.72/21.83 c ---[1364]---> BDD-cost: 7 21.72/21.83 c ---[1362]---> BDD-cost: 7 21.72/21.83 c ---[1360]---> BDD-cost: 7 21.72/21.83 c ---[1358]---> BDD-cost: 7 21.72/21.83 c ---[1356]---> BDD-cost: 7 21.72/21.83 c ---[1354]---> BDD-cost: 7 21.72/21.83 c ---[1352]---> BDD-cost: 7 21.72/21.83 c ---[1350]---> BDD-cost: 7 21.72/21.83 c ---[1348]---> BDD-cost: 7 21.72/21.83 c ---[1346]---> BDD-cost: 7 21.72/21.83 c ---[1344]---> BDD-cost: 7 21.72/21.83 c ---[1342]---> BDD-cost: 7 21.72/21.83 c ---[1340]---> BDD-cost: 7 21.72/21.83 c ---[1338]---> BDD-cost: 7 21.72/21.83 c ---[1336]---> BDD-cost: 7 21.72/21.83 c ---[1334]---> BDD-cost: 7 21.72/21.83 c ---[1332]---> BDD-cost: 7 21.72/21.83 c ---[1330]---> BDD-cost: 7 21.72/21.83 c ---[1328]---> BDD-cost: 7 21.72/21.83 c ---[1326]---> BDD-cost: 7 21.72/21.83 c ---[1324]---> BDD-cost: 7 21.72/21.83 c ---[1322]---> BDD-cost: 7 21.72/21.83 c ---[1320]---> BDD-cost: 7 21.72/21.83 c ---[1318]---> BDD-cost: 7 21.72/21.83 c ---[1316]---> BDD-cost: 7 21.72/21.83 c ---[1314]---> BDD-cost: 7 21.72/21.83 c ---[1312]---> BDD-cost: 7 21.72/21.83 c ---[1310]---> BDD-cost: 7 21.72/21.83 c ---[1308]---> BDD-cost: 7 21.72/21.83 c ---[1306]---> BDD-cost: 7 21.72/21.83 c ---[1304]---> BDD-cost: 7 21.72/21.83 c ---[1302]---> BDD-cost: 7 21.72/21.83 c ---[1300]---> BDD-cost: 7 21.72/21.83 c ---[1298]---> BDD-cost: 7 21.72/21.83 c ---[1296]---> BDD-cost: 7 21.72/21.83 c ---[1294]---> BDD-cost: 7 21.72/21.83 c ---[1292]---> BDD-cost: 7 21.72/21.83 c ---[1290]---> BDD-cost: 7 21.72/21.83 c ---[1288]---> BDD-cost: 7 21.72/21.83 c ---[1286]---> BDD-cost: 7 21.72/21.83 c ---[1284]---> BDD-cost: 7 21.72/21.83 c ---[1282]---> BDD-cost: 7 21.72/21.83 c ---[1280]---> BDD-cost: 7 21.72/21.83 c ---[1278]---> BDD-cost: 7 21.72/21.83 c ---[1276]---> BDD-cost: 7 21.72/21.83 c ---[1274]---> BDD-cost: 7 21.72/21.83 c ---[1272]---> BDD-cost: 7 21.72/21.83 c ---[1270]---> BDD-cost: 7 21.72/21.83 c ---[1268]---> BDD-cost: 7 21.72/21.83 c ---[1266]---> BDD-cost: 7 21.72/21.83 c ---[1264]---> BDD-cost: 7 21.72/21.83 c ---[1262]---> BDD-cost: 7 21.72/21.83 c ---[1260]---> BDD-cost: 7 21.72/21.83 c ---[1258]---> BDD-cost: 7 21.72/21.83 c ---[1256]---> BDD-cost: 7 21.72/21.84 c ---[1254]---> BDD-cost: 7 21.72/21.84 c ---[1252]---> BDD-cost: 7 21.72/21.84 c ---[1250]---> BDD-cost: 7 21.72/21.84 c ---[1248]---> BDD-cost: 7 21.72/21.84 c ---[1246]---> BDD-cost: 7 21.72/21.84 c ---[1244]---> BDD-cost: 7 21.72/21.84 c ---[1242]---> BDD-cost: 7 21.72/21.84 c ---[1240]---> BDD-cost: 7 21.72/21.84 c ---[1238]---> BDD-cost: 7 21.72/21.84 c ---[1236]---> BDD-cost: 7 21.72/21.84 c ---[1234]---> BDD-cost: 7 21.72/21.84 c ---[1232]---> BDD-cost: 7 21.72/21.84 c ---[1230]---> BDD-cost: 7 21.72/21.84 c ---[1228]---> BDD-cost: 7 21.72/21.84 c ---[1226]---> BDD-cost: 7 21.72/21.84 c ---[1224]---> BDD-cost: 7 21.72/21.84 c ---[1222]---> BDD-cost: 7 21.72/21.84 c ---[1220]---> BDD-cost: 7 21.72/21.84 c ---[1218]---> BDD-cost: 7 21.72/21.84 c ---[1216]---> BDD-cost: 7 21.72/21.84 c ---[1214]---> BDD-cost: 7 21.72/21.84 c ---[1212]---> BDD-cost: 7 21.72/21.84 c ---[1210]---> BDD-cost: 7 21.72/21.84 c ---[1208]---> BDD-cost: 7 21.72/21.84 c ---[1206]---> BDD-cost: 7 21.72/21.84 c ---[1204]---> BDD-cost: 7 21.72/21.84 c ---[1202]---> BDD-cost: 7 21.72/21.84 c ---[1200]---> BDD-cost: 7 21.72/21.84 c ---[1198]---> BDD-cost: 7 21.72/21.84 c ---[1196]---> BDD-cost: 7 21.72/21.84 c ---[1194]---> BDD-cost: 7 21.72/21.84 c ---[1192]---> BDD-cost: 7 21.72/21.84 c ---[1190]---> BDD-cost: 7 21.72/21.84 c ---[1188]---> BDD-cost: 7 21.72/21.84 c ---[1186]---> BDD-cost: 7 21.72/21.84 c ---[1184]---> BDD-cost: 7 21.72/21.84 c ---[1182]---> BDD-cost: 7 21.72/21.84 c ---[1180]---> BDD-cost: 7 21.72/21.84 c ---[1178]---> BDD-cost: 7 21.72/21.84 c ---[1176]---> BDD-cost: 7 21.72/21.84 c ---[1174]---> BDD-cost: 7 21.72/21.84 c ---[1172]---> BDD-cost: 7 21.72/21.84 c ---[1170]---> BDD-cost: 7 21.72/21.84 c ---[1168]---> BDD-cost: 7 21.72/21.84 c ---[1166]---> BDD-cost: 7 21.72/21.84 c ---[1164]---> BDD-cost: 7 21.72/21.84 c ---[1162]---> BDD-cost: 7 21.72/21.84 c ---[1160]---> BDD-cost: 7 21.72/21.84 c ---[1158]---> BDD-cost: 7 21.72/21.84 c ---[1156]---> BDD-cost: 7 21.72/21.84 c ---[1154]---> BDD-cost: 7 21.72/21.84 c ---[1152]---> BDD-cost: 7 21.72/21.84 c ---[1150]---> BDD-cost: 7 21.72/21.84 c ---[1148]---> BDD-cost: 7 21.72/21.84 c ---[1146]---> BDD-cost: 7 21.72/21.84 c ---[1144]---> BDD-cost: 7 21.72/21.84 c ---[1142]---> BDD-cost: 7 21.72/21.84 c ---[1140]---> BDD-cost: 7 21.72/21.84 c ---[1138]---> BDD-cost: 7 21.72/21.84 c ---[1136]---> BDD-cost: 7 21.72/21.84 c ---[1134]---> BDD-cost: 7 21.72/21.84 c ---[1132]---> BDD-cost: 7 21.72/21.84 c ---[1130]---> BDD-cost: 7 21.72/21.84 c ---[1128]---> BDD-cost: 7 21.72/21.84 c ---[1126]---> BDD-cost: 7 21.72/21.84 c ---[1124]---> BDD-cost: 7 21.72/21.84 c ---[1122]---> BDD-cost: 7 21.72/21.84 c ---[1120]---> BDD-cost: 7 21.72/21.84 c ---[1118]---> BDD-cost: 7 21.72/21.84 c ---[1116]---> BDD-cost: 7 21.72/21.84 c ---[1114]---> BDD-cost: 7 21.72/21.84 c ---[1112]---> BDD-cost: 7 21.72/21.84 c ---[1110]---> BDD-cost: 7 21.72/21.84 c ---[1108]---> BDD-cost: 7 21.72/21.84 c ---[1106]---> BDD-cost: 7 21.72/21.84 c ---[1104]---> BDD-cost: 7 21.72/21.84 c ---[1102]---> BDD-cost: 7 21.72/21.84 c ---[1100]---> BDD-cost: 7 21.72/21.84 c ---[1098]---> BDD-cost: 7 21.72/21.84 c ---[1096]---> BDD-cost: 7 21.72/21.84 c ---[1094]---> BDD-cost: 7 21.72/21.84 c ---[1092]---> BDD-cost: 7 21.72/21.84 c ---[1090]---> BDD-cost: 7 21.72/21.84 c ---[1088]---> BDD-cost: 7 21.72/21.84 c ---[1086]---> BDD-cost: 7 21.72/21.84 c ---[1084]---> BDD-cost: 7 21.72/21.84 c ---[1082]---> BDD-cost: 7 21.72/21.84 c ---[1080]---> BDD-cost: 7 21.72/21.84 c ---[1078]---> BDD-cost: 7 21.72/21.84 c ---[1076]---> BDD-cost: 7 21.72/21.84 c ---[1074]---> BDD-cost: 7 21.72/21.84 c ---[1072]---> BDD-cost: 7 21.72/21.84 c ---[1070]---> BDD-cost: 7 21.72/21.84 c ---[1068]---> BDD-cost: 7 21.72/21.84 c ---[1066]---> BDD-cost: 7 21.72/21.84 c ---[1064]---> BDD-cost: 7 21.72/21.84 c ---[1062]---> BDD-cost: 7 21.72/21.84 c ---[1060]---> BDD-cost: 7 21.72/21.84 c ---[1058]---> BDD-cost: 7 21.72/21.84 c ---[1056]---> BDD-cost: 7 21.72/21.84 c ---[1054]---> BDD-cost: 7 21.72/21.84 c ---[1052]---> BDD-cost: 7 21.72/21.84 c ---[1050]---> BDD-cost: 7 21.72/21.84 c ---[1048]---> BDD-cost: 7 21.72/21.84 c ---[1046]---> BDD-cost: 7 21.72/21.84 c ---[1044]---> BDD-cost: 7 21.72/21.84 c ---[1042]---> BDD-cost: 7 21.72/21.84 c ---[1040]---> BDD-cost: 7 21.72/21.84 c ---[1038]---> BDD-cost: 7 21.72/21.84 c ---[1036]---> BDD-cost: 7 21.72/21.84 c ---[1034]---> BDD-cost: 7 21.72/21.84 c ---[1032]---> BDD-cost: 7 21.72/21.84 c ---[1030]---> BDD-cost: 7 21.72/21.84 c ---[1028]---> BDD-cost: 7 21.72/21.84 c ---[1026]---> BDD-cost: 7 21.72/21.84 c ---[1024]---> BDD-cost: 7 21.72/21.84 c ---[1022]---> BDD-cost: 7 21.72/21.84 c ---[1020]---> BDD-cost: 7 21.72/21.84 c ---[1018]---> BDD-cost: 7 21.72/21.84 c ---[1016]---> BDD-cost: 7 21.72/21.84 c ---[1014]---> BDD-cost: 7 21.72/21.84 c ---[1012]---> BDD-cost: 7 21.72/21.84 c ---[1010]---> BDD-cost: 7 21.72/21.84 c ---[1008]---> BDD-cost: 7 21.72/21.84 c ---[1006]---> BDD-cost: 7 21.72/21.84 c ---[1004]---> BDD-cost: 7 21.72/21.84 c ---[1002]---> BDD-cost: 7 21.72/21.84 c ---[1000]---> BDD-cost: 7 21.72/21.84 c ---[ 998]---> BDD-cost: 7 21.72/21.84 c ---[ 996]---> BDD-cost: 7 21.72/21.84 c ---[ 994]---> BDD-cost: 7 21.72/21.84 c ---[ 992]---> BDD-cost: 7 21.72/21.84 c ---[ 990]---> BDD-cost: 7 21.72/21.84 c ---[ 988]---> BDD-cost: 7 21.72/21.84 c ---[ 986]---> BDD-cost: 7 21.72/21.84 c ---[ 984]---> BDD-cost: 7 21.72/21.84 c ---[ 982]---> BDD-cost: 7 21.72/21.85 c ---[ 980]---> BDD-cost: 7 21.72/21.85 c ---[ 978]---> BDD-cost: 7 21.72/21.85 c ---[ 976]---> BDD-cost: 7 21.72/21.85 c ---[ 974]---> BDD-cost: 7 21.72/21.85 c ---[ 972]---> BDD-cost: 7 21.72/21.85 c ---[ 970]---> BDD-cost: 7 21.72/21.85 c ---[ 968]---> BDD-cost: 7 21.72/21.85 c ---[ 966]---> BDD-cost: 7 21.72/21.85 c ---[ 964]---> BDD-cost: 7 21.72/21.85 c ---[ 962]---> BDD-cost: 7 21.72/21.85 c ---[ 960]---> BDD-cost: 7 21.72/21.85 c ---[ 958]---> BDD-cost: 7 21.72/21.85 c ---[ 956]---> BDD-cost: 7 21.72/21.85 c ---[ 954]---> BDD-cost: 7 21.72/21.85 c ---[ 952]---> BDD-cost: 7 21.72/21.85 c ---[ 950]---> BDD-cost: 7 21.72/21.85 c ---[ 948]---> BDD-cost: 7 21.72/21.85 c ---[ 946]---> BDD-cost: 7 21.72/21.85 c ---[ 944]---> BDD-cost: 7 21.72/21.85 c ---[ 942]---> BDD-cost: 7 21.72/21.85 c ---[ 940]---> BDD-cost: 7 21.72/21.85 c ---[ 938]---> BDD-cost: 7 21.72/21.85 c ---[ 936]---> BDD-cost: 7 21.72/21.85 c ---[ 934]---> BDD-cost: 7 21.72/21.85 c ---[ 932]---> BDD-cost: 7 21.72/21.85 c ---[ 930]---> BDD-cost: 7 21.72/21.85 c ---[ 928]---> BDD-cost: 7 21.72/21.85 c ---[ 926]---> BDD-cost: 7 21.72/21.85 c ---[ 924]---> BDD-cost: 7 21.72/21.85 c ---[ 922]---> BDD-cost: 7 21.72/21.85 c ---[ 920]---> BDD-cost: 7 21.72/21.85 c ---[ 918]---> BDD-cost: 7 21.72/21.85 c ---[ 916]---> BDD-cost: 7 21.72/21.85 c ---[ 914]---> BDD-cost: 7 21.72/21.85 c ---[ 912]---> BDD-cost: 7 21.72/21.85 c ---[ 910]---> BDD-cost: 7 21.72/21.85 c ---[ 908]---> BDD-cost: 7 21.72/21.85 c ---[ 906]---> BDD-cost: 7 21.72/21.85 c ---[ 904]---> BDD-cost: 7 21.72/21.85 c ---[ 902]---> BDD-cost: 7 21.72/21.85 c ---[ 900]---> BDD-cost: 7 21.72/21.85 c ---[ 898]---> BDD-cost: 7 21.72/21.85 c ---[ 896]---> BDD-cost: 7 21.72/21.85 c ---[ 894]---> BDD-cost: 7 21.72/21.85 c ---[ 892]---> BDD-cost: 7 21.72/21.85 c ---[ 890]---> BDD-cost: 7 21.72/21.85 c ---[ 888]---> BDD-cost: 7 21.72/21.85 c ---[ 886]---> BDD-cost: 7 21.72/21.85 c ---[ 884]---> BDD-cost: 7 21.72/21.85 c ---[ 882]---> BDD-cost: 7 21.72/21.85 c ---[ 880]---> BDD-cost: 7 21.72/21.85 c ---[ 878]---> BDD-cost: 7 21.72/21.85 c ---[ 876]---> BDD-cost: 7 21.72/21.85 c ---[ 874]---> BDD-cost: 7 21.72/21.85 c ---[ 872]---> BDD-cost: 7 21.72/21.85 c ---[ 870]---> BDD-cost: 7 21.72/21.85 c ---[ 868]---> BDD-cost: 7 21.72/21.85 c ---[ 866]---> BDD-cost: 7 21.72/21.85 c ---[ 864]---> BDD-cost: 7 21.72/21.85 c ---[ 862]---> BDD-cost: 7 21.72/21.85 c ---[ 860]---> BDD-cost: 7 21.72/21.85 c ---[ 858]---> BDD-cost: 7 21.72/21.85 c ---[ 856]---> BDD-cost: 7 21.72/21.85 c ---[ 854]---> BDD-cost: 7 21.72/21.85 c ---[ 852]---> BDD-cost: 7 21.72/21.85 c ---[ 850]---> BDD-cost: 7 21.72/21.85 c ---[ 848]---> BDD-cost: 7 21.72/21.85 c ---[ 846]---> BDD-cost: 7 21.72/21.85 c ---[ 844]---> BDD-cost: 7 21.72/21.85 c ---[ 842]---> BDD-cost: 7 21.72/21.85 c ---[ 840]---> BDD-cost: 7 21.72/21.85 c ---[ 838]---> BDD-cost: 7 21.72/21.85 c ---[ 836]---> BDD-cost: 7 21.72/21.85 c ---[ 834]---> BDD-cost: 7 21.72/21.85 c ---[ 832]---> BDD-cost: 7 21.72/21.85 c ---[ 830]---> BDD-cost: 7 21.72/21.85 c ---[ 828]---> BDD-cost: 7 21.72/21.85 c ---[ 826]---> BDD-cost: 7 21.72/21.85 c ---[ 824]---> BDD-cost: 7 21.72/21.85 c ---[ 822]---> BDD-cost: 7 21.72/21.85 c ---[ 820]---> BDD-cost: 7 21.72/21.85 c ---[ 818]---> BDD-cost: 7 21.72/21.85 c ---[ 816]---> BDD-cost: 7 21.72/21.85 c ---[ 814]---> BDD-cost: 7 21.72/21.85 c ---[ 812]---> BDD-cost: 7 21.72/21.85 c ---[ 810]---> BDD-cost: 7 21.72/21.85 c ---[ 808]---> BDD-cost: 7 21.72/21.85 c ---[ 806]---> BDD-cost: 7 21.72/21.85 c ---[ 804]---> BDD-cost: 7 21.72/21.85 c ---[ 802]---> BDD-cost: 7 21.72/21.85 c ---[ 800]---> BDD-cost: 7 21.72/21.85 c ---[ 798]---> BDD-cost: 7 21.72/21.85 c ---[ 796]---> BDD-cost: 7 21.72/21.85 c ---[ 794]---> BDD-cost: 7 21.72/21.85 c ---[ 792]---> BDD-cost: 7 21.72/21.85 c ---[ 790]---> BDD-cost: 7 21.72/21.85 c ---[ 788]---> BDD-cost: 7 21.72/21.85 c ---[ 786]---> BDD-cost: 7 21.72/21.85 c ---[ 784]---> BDD-cost: 7 21.72/21.85 c ---[ 782]---> BDD-cost: 7 21.72/21.85 c ---[ 780]---> BDD-cost: 7 21.72/21.85 c ---[ 778]---> BDD-cost: 7 21.72/21.85 c ---[ 776]---> BDD-cost: 7 21.72/21.85 c ---[ 774]---> BDD-cost: 7 21.72/21.85 c ---[ 772]---> BDD-cost: 7 21.72/21.85 c ---[ 770]---> BDD-cost: 7 21.72/21.85 c ---[ 768]---> BDD-cost: 7 21.72/21.85 c ---[ 766]---> BDD-cost: 7 21.72/21.85 c ---[ 764]---> BDD-cost: 7 21.72/21.85 c ---[ 762]---> BDD-cost: 7 21.72/21.85 c ---[ 760]---> BDD-cost: 7 21.72/21.85 c ---[ 758]---> BDD-cost: 7 21.72/21.85 c ---[ 756]---> BDD-cost: 7 21.72/21.85 c ---[ 754]---> BDD-cost: 7 21.72/21.85 c ---[ 752]---> BDD-cost: 7 21.72/21.85 c ---[ 750]---> BDD-cost: 7 21.72/21.85 c ---[ 748]---> BDD-cost: 7 21.72/21.85 c ---[ 746]---> BDD-cost: 7 21.72/21.85 c ---[ 744]---> BDD-cost: 7 21.72/21.85 c ---[ 742]---> BDD-cost: 7 21.72/21.85 c ---[ 740]---> BDD-cost: 7 21.72/21.85 c ---[ 738]---> BDD-cost: 7 21.72/21.85 c ---[ 736]---> BDD-cost: 7 21.72/21.85 c ---[ 734]---> BDD-cost: 7 21.72/21.85 c ---[ 732]---> BDD-cost: 7 21.72/21.85 c ---[ 730]---> BDD-cost: 7 21.72/21.85 c ---[ 728]---> BDD-cost: 7 21.72/21.85 c ---[ 726]---> BDD-cost: 7 21.72/21.85 c ---[ 724]---> BDD-cost: 7 21.72/21.85 c ---[ 722]---> BDD-cost: 7 21.72/21.85 c ---[ 720]---> BDD-cost: 7 21.72/21.85 c ---[ 718]---> BDD-cost: 7 21.72/21.85 c ---[ 716]---> BDD-cost: 7 21.72/21.85 c ---[ 714]---> BDD-cost: 7 21.72/21.85 c ---[ 712]---> BDD-cost: 7 21.72/21.85 c ---[ 710]---> BDD-cost: 7 21.72/21.86 c ---[ 708]---> BDD-cost: 7 21.72/21.86 c ---[ 706]---> BDD-cost: 7 21.72/21.86 c ---[ 704]---> BDD-cost: 7 21.72/21.86 c ---[ 702]---> BDD-cost: 7 21.72/21.86 c ---[ 700]---> BDD-cost: 7 21.72/21.86 c ---[ 698]---> BDD-cost: 7 21.72/21.86 c ---[ 696]---> BDD-cost: 7 21.72/21.86 c ---[ 694]---> BDD-cost: 7 21.72/21.86 c ---[ 692]---> BDD-cost: 7 21.72/21.86 c ---[ 690]---> BDD-cost: 7 21.72/21.86 c ---[ 688]---> BDD-cost: 7 21.72/21.86 c ---[ 686]---> BDD-cost: 7 21.72/21.86 c ---[ 684]---> BDD-cost: 7 21.72/21.86 c ---[ 682]---> BDD-cost: 7 21.72/21.86 c ---[ 680]---> BDD-cost: 7 21.72/21.86 c ---[ 678]---> BDD-cost: 7 21.72/21.86 c ---[ 676]---> BDD-cost: 7 21.72/21.86 c ---[ 674]---> BDD-cost: 7 21.72/21.86 c ---[ 672]---> BDD-cost: 7 21.72/21.86 c ---[ 670]---> BDD-cost: 7 21.72/21.86 c ---[ 668]---> BDD-cost: 7 21.72/21.86 c ---[ 666]---> BDD-cost: 7 21.72/21.86 c ---[ 664]---> BDD-cost: 7 21.72/21.86 c ---[ 662]---> BDD-cost: 7 21.72/21.86 c ---[ 660]---> BDD-cost: 7 21.72/21.86 c ---[ 658]---> BDD-cost: 7 21.72/21.86 c ---[ 656]---> BDD-cost: 7 21.72/21.86 c ---[ 654]---> BDD-cost: 7 21.72/21.86 c ---[ 652]---> BDD-cost: 7 21.72/21.86 c ---[ 650]---> BDD-cost: 7 21.72/21.86 c ---[ 648]---> BDD-cost: 7 21.72/21.86 c ---[ 646]---> BDD-cost: 7 21.72/21.86 c ---[ 644]---> BDD-cost: 7 21.72/21.86 c ---[ 642]---> BDD-cost: 7 21.72/21.86 c ---[ 640]---> BDD-cost: 7 21.72/21.86 c ---[ 638]---> BDD-cost: 7 21.72/21.86 c ---[ 636]---> BDD-cost: 7 21.72/21.86 c ---[ 634]---> BDD-cost: 7 21.72/21.86 c ---[ 632]---> BDD-cost: 7 21.72/21.86 c ---[ 630]---> BDD-cost: 7 21.72/21.86 c ---[ 628]---> BDD-cost: 7 21.72/21.86 c ---[ 626]---> BDD-cost: 7 21.72/21.86 c ---[ 624]---> BDD-cost: 7 21.72/21.86 c ---[ 622]---> BDD-cost: 7 21.72/21.86 c ---[ 620]---> BDD-cost: 7 21.72/21.86 c ---[ 618]---> BDD-cost: 7 21.72/21.86 c ---[ 616]---> BDD-cost: 7 21.72/21.86 c ---[ 614]---> BDD-cost: 7 21.72/21.86 c ---[ 612]---> BDD-cost: 7 21.72/21.86 c ---[ 610]---> BDD-cost: 7 21.72/21.86 c ---[ 608]---> BDD-cost: 7 21.72/21.86 c ---[ 606]---> BDD-cost: 7 21.72/21.86 c ---[ 604]---> BDD-cost: 7 21.72/21.86 c ---[ 602]---> BDD-cost: 7 21.72/21.86 c ---[ 600]---> BDD-cost: 7 21.72/21.86 c ---[ 598]---> BDD-cost: 7 21.72/21.86 c ---[ 596]---> BDD-cost: 7 21.72/21.86 c ---[ 594]---> BDD-cost: 7 21.72/21.86 c ---[ 592]---> BDD-cost: 7 21.72/21.86 c ---[ 590]---> BDD-cost: 7 21.72/21.86 c ---[ 588]---> BDD-cost: 7 21.72/21.86 c ---[ 586]---> BDD-cost: 7 21.72/21.86 c ---[ 584]---> BDD-cost: 7 21.72/21.86 c ---[ 582]---> BDD-cost: 7 21.72/21.86 c ---[ 580]---> BDD-cost: 7 21.72/21.86 c ---[ 578]---> BDD-cost: 7 21.72/21.86 c ---[ 576]---> BDD-cost: 7 21.72/21.86 c ---[ 574]---> BDD-cost: 7 21.72/21.86 c ---[ 572]---> BDD-cost: 7 21.72/21.86 c ---[ 570]---> BDD-cost: 7 21.72/21.86 c ---[ 568]---> BDD-cost: 7 21.72/21.86 c ---[ 566]---> BDD-cost: 7 21.72/21.86 c ---[ 564]---> BDD-cost: 7 21.72/21.86 c ---[ 562]---> BDD-cost: 7 21.72/21.86 c ---[ 560]---> BDD-cost: 7 21.72/21.86 c ---[ 558]---> BDD-cost: 7 21.72/21.86 c ---[ 556]---> BDD-cost: 7 21.72/21.86 c ---[ 554]---> BDD-cost: 7 21.72/21.86 c ---[ 552]---> BDD-cost: 7 21.72/21.86 c ---[ 550]---> BDD-cost: 7 21.72/21.86 c ---[ 548]---> BDD-cost: 7 21.72/21.86 c ---[ 546]---> BDD-cost: 7 21.72/21.86 c ---[ 544]---> BDD-cost: 7 21.72/21.86 c ---[ 542]---> BDD-cost: 7 21.72/21.86 c ---[ 540]---> BDD-cost: 7 21.72/21.86 c ---[ 538]---> BDD-cost: 7 21.72/21.86 c ---[ 536]---> BDD-cost: 7 21.72/21.86 c ---[ 534]---> BDD-cost: 7 21.72/21.86 c ---[ 532]---> BDD-cost: 7 21.72/21.86 c ---[ 530]---> BDD-cost: 7 21.72/21.86 c ---[ 528]---> BDD-cost: 7 21.72/21.86 c ---[ 526]---> BDD-cost: 7 21.72/21.86 c ---[ 524]---> BDD-cost: 7 21.72/21.86 c ---[ 522]---> BDD-cost: 7 21.72/21.86 c ---[ 520]---> BDD-cost: 7 21.72/21.86 c ---[ 518]---> BDD-cost: 7 21.72/21.86 c ---[ 516]---> BDD-cost: 7 21.72/21.86 c ---[ 514]---> BDD-cost: 7 21.72/21.86 c ---[ 512]---> BDD-cost: 7 21.72/21.86 c ---[ 510]---> BDD-cost: 7 21.72/21.86 c ---[ 508]---> BDD-cost: 7 21.72/21.86 c ---[ 506]---> BDD-cost: 7 21.72/21.86 c ---[ 504]---> BDD-cost: 7 21.72/21.86 c ---[ 502]---> BDD-cost: 7 21.72/21.86 c ---[ 500]---> BDD-cost: 7 21.72/21.86 c ---[ 498]---> BDD-cost: 7 21.72/21.86 c ---[ 496]---> BDD-cost: 7 21.72/21.86 c ---[ 494]---> BDD-cost: 7 21.72/21.86 c ---[ 492]---> BDD-cost: 7 21.72/21.86 c ---[ 490]---> BDD-cost: 7 21.72/21.86 c ---[ 488]---> BDD-cost: 7 21.72/21.86 c ---[ 486]---> BDD-cost: 7 21.72/21.86 c ---[ 484]---> BDD-cost: 7 21.72/21.86 c ---[ 482]---> BDD-cost: 7 21.72/21.86 c ---[ 480]---> BDD-cost: 7 21.72/21.86 c ---[ 478]---> BDD-cost: 7 21.72/21.86 c ---[ 476]---> BDD-cost: 7 21.72/21.86 c ---[ 474]---> BDD-cost: 7 21.72/21.86 c ---[ 472]---> BDD-cost: 7 21.72/21.86 c ---[ 470]---> BDD-cost: 7 21.72/21.86 c ---[ 468]---> BDD-cost: 7 21.72/21.86 c ---[ 466]---> BDD-cost: 7 21.72/21.86 c ---[ 464]---> BDD-cost: 7 21.72/21.86 c ---[ 462]---> BDD-cost: 7 21.72/21.86 c ---[ 460]---> BDD-cost: 7 21.72/21.86 c ---[ 458]---> BDD-cost: 7 21.72/21.86 c ---[ 456]---> BDD-cost: 7 21.72/21.86 c ---[ 454]---> BDD-cost: 7 21.72/21.86 c ---[ 452]---> BDD-cost: 7 21.72/21.86 c ---[ 450]---> BDD-cost: 7 21.72/21.86 c ---[ 448]---> BDD-cost: 7 21.72/21.86 c ---[ 446]---> BDD-cost: 7 21.72/21.86 c ---[ 444]---> BDD-cost: 7 21.72/21.86 c ---[ 442]---> BDD-cost: 7 21.72/21.86 c ---[ 440]---> BDD-cost: 7 21.72/21.86 c ---[ 438]---> BDD-cost: 7 21.72/21.86 c ---[ 436]---> BDD-cost: 7 21.72/21.86 c ---[ 434]---> BDD-cost: 7 21.72/21.86 c ---[ 432]---> BDD-cost: 7 21.72/21.87 c ---[ 430]---> BDD-cost: 7 21.72/21.87 c ---[ 428]---> BDD-cost: 7 21.72/21.87 c ---[ 426]---> BDD-cost: 7 21.72/21.87 c ---[ 424]---> BDD-cost: 7 21.72/21.87 c ---[ 422]---> BDD-cost: 7 21.72/21.87 c ---[ 420]---> BDD-cost: 7 21.72/21.87 c ---[ 418]---> BDD-cost: 7 21.72/21.87 c ---[ 416]---> BDD-cost: 7 21.72/21.87 c ---[ 414]---> BDD-cost: 7 21.72/21.87 c ---[ 412]---> BDD-cost: 7 21.72/21.87 c ---[ 410]---> BDD-cost: 7 21.72/21.87 c ---[ 408]---> BDD-cost: 7 21.72/21.87 c ---[ 406]---> BDD-cost: 7 21.72/21.87 c ---[ 404]---> BDD-cost: 7 21.72/21.87 c ---[ 402]---> BDD-cost: 7 21.72/21.87 c ---[ 400]---> BDD-cost: 7 21.72/21.87 c ---[ 398]---> BDD-cost: 7 21.72/21.87 c ---[ 396]---> BDD-cost: 7 21.72/21.87 c ---[ 394]---> BDD-cost: 7 21.72/21.87 c ---[ 392]---> BDD-cost: 7 21.72/21.87 c ---[ 390]---> BDD-cost: 7 21.72/21.87 c ---[ 388]---> BDD-cost: 7 21.72/21.87 c ---[ 386]---> BDD-cost: 7 21.72/21.87 c ---[ 384]---> BDD-cost: 7 21.72/21.87 c ---[ 382]---> BDD-cost: 7 21.72/21.87 c ---[ 380]---> BDD-cost: 7 21.72/21.87 c ---[ 378]---> BDD-cost: 7 21.72/21.87 c ---[ 376]---> BDD-cost: 7 21.72/21.87 c ---[ 374]---> BDD-cost: 7 21.72/21.87 c ---[ 372]---> BDD-cost: 7 21.72/21.87 c ---[ 370]---> BDD-cost: 7 21.72/21.87 c ---[ 368]---> BDD-cost: 7 21.72/21.87 c ---[ 366]---> BDD-cost: 7 21.72/21.87 c ---[ 364]---> BDD-cost: 7 21.72/21.87 c ---[ 362]---> BDD-cost: 7 21.72/21.87 c ---[ 360]---> BDD-cost: 7 21.72/21.87 c ---[ 358]---> BDD-cost: 7 21.72/21.87 c ---[ 356]---> BDD-cost: 7 21.72/21.87 c ---[ 354]---> BDD-cost: 7 21.72/21.87 c ---[ 352]---> BDD-cost: 7 21.72/21.87 c ---[ 350]---> BDD-cost: 7 21.72/21.87 c ---[ 348]---> BDD-cost: 7 21.72/21.87 c ---[ 346]---> BDD-cost: 7 21.72/21.87 c ---[ 344]---> BDD-cost: 7 21.72/21.87 c ---[ 342]---> BDD-cost: 7 21.72/21.87 c ---[ 340]---> BDD-cost: 7 21.72/21.87 c ---[ 338]---> BDD-cost: 7 21.72/21.87 c ---[ 336]---> BDD-cost: 7 21.72/21.87 c ---[ 334]---> BDD-cost: 7 21.72/21.87 c ---[ 332]---> BDD-cost: 7 21.72/21.87 c ---[ 330]---> BDD-cost: 7 21.72/21.87 c ---[ 328]---> BDD-cost: 7 21.72/21.87 c ---[ 326]---> BDD-cost: 7 21.72/21.87 c ---[ 324]---> BDD-cost: 7 21.72/21.87 c ---[ 322]---> BDD-cost: 7 21.72/21.87 c ---[ 320]---> BDD-cost: 7 21.72/21.87 c ---[ 318]---> BDD-cost: 7 21.72/21.87 c ---[ 316]---> BDD-cost: 7 21.72/21.87 c ---[ 314]---> BDD-cost: 7 21.72/21.87 c ---[ 312]---> BDD-cost: 7 21.72/21.87 c ---[ 310]---> BDD-cost: 7 21.72/21.87 c ---[ 308]---> BDD-cost: 7 21.72/21.87 c ---[ 306]---> BDD-cost: 7 21.72/21.87 c ---[ 304]---> BDD-cost: 7 21.72/21.87 c ---[ 302]---> BDD-cost: 7 21.72/21.87 c ---[ 300]---> BDD-cost: 7 21.72/21.87 c ---[ 298]---> BDD-cost: 7 21.72/21.87 c ---[ 296]---> BDD-cost: 7 21.72/21.87 c ---[ 294]---> BDD-cost: 7 21.72/21.87 c ---[ 292]---> BDD-cost: 7 21.72/21.87 c ---[ 290]---> BDD-cost: 7 21.72/21.87 c ---[ 288]---> BDD-cost: 7 21.72/21.87 c ---[ 286]---> BDD-cost: 7 21.72/21.87 c ---[ 284]---> BDD-cost: 7 21.72/21.87 c ---[ 282]---> BDD-cost: 7 21.72/21.87 c ---[ 280]---> BDD-cost: 7 21.72/21.87 c ---[ 278]---> BDD-cost: 7 21.72/21.87 c ---[ 276]---> BDD-cost: 7 21.72/21.87 c ---[ 274]---> BDD-cost: 7 21.72/21.87 c ---[ 272]---> BDD-cost: 7 21.72/21.87 c ---[ 270]---> BDD-cost: 7 21.72/21.87 c ---[ 268]---> BDD-cost: 7 21.72/21.87 c ---[ 266]---> BDD-cost: 7 21.72/21.87 c ---[ 264]---> BDD-cost: 7 21.72/21.87 c ---[ 262]---> BDD-cost: 7 21.72/21.87 c ---[ 260]---> BDD-cost: 7 21.72/21.87 c ---[ 258]---> BDD-cost: 7 21.72/21.87 c ---[ 256]---> BDD-cost: 7 21.72/21.87 c ---[ 254]---> BDD-cost: 7 21.72/21.87 c ---[ 252]---> BDD-cost: 7 21.72/21.87 c ---[ 250]---> BDD-cost: 7 21.72/21.87 c ---[ 248]---> BDD-cost: 7 21.72/21.87 c ---[ 246]---> BDD-cost: 7 21.72/21.87 c ---[ 244]---> BDD-cost: 7 21.72/21.87 c ---[ 242]---> BDD-cost: 7 21.72/21.87 c ---[ 240]---> BDD-cost: 7 21.72/21.87 c ---[ 238]---> BDD-cost: 7 21.72/21.87 c ---[ 236]---> BDD-cost: 7 21.72/21.87 c ---[ 234]---> BDD-cost: 7 21.72/21.87 c ---[ 232]---> BDD-cost: 7 21.72/21.87 c ---[ 230]---> BDD-cost: 7 21.72/21.87 c ---[ 228]---> BDD-cost: 7 21.72/21.87 c ---[ 226]---> BDD-cost: 7 21.72/21.87 c ---[ 224]---> BDD-cost: 7 21.72/21.87 c ---[ 222]---> BDD-cost: 7 21.72/21.87 c ---[ 220]---> BDD-cost: 7 21.72/21.87 c ---[ 218]---> BDD-cost: 7 21.72/21.87 c ---[ 216]---> BDD-cost: 7 21.72/21.87 c ---[ 214]---> BDD-cost: 7 21.72/21.87 c ---[ 212]---> BDD-cost: 7 21.72/21.87 c ---[ 210]---> BDD-cost: 7 21.72/21.87 c ---[ 208]---> BDD-cost: 7 21.72/21.87 c ---[ 206]---> BDD-cost: 7 21.72/21.87 c ---[ 204]---> BDD-cost: 7 21.72/21.87 c ---[ 202]---> BDD-cost: 7 21.72/21.87 c ---[ 200]---> BDD-cost: 7 21.72/21.87 c ---[ 198]---> BDD-cost: 7 21.72/21.87 c ---[ 196]---> BDD-cost: 7 21.72/21.87 c ---[ 194]---> BDD-cost: 7 21.72/21.87 c ---[ 192]---> BDD-cost: 7 21.72/21.87 c ---[ 190]---> BDD-cost: 7 21.72/21.87 c ---[ 188]---> BDD-cost: 7 21.72/21.87 c ---[ 186]---> BDD-cost: 7 21.72/21.87 c ---[ 184]---> BDD-cost: 7 21.72/21.87 c ---[ 182]---> BDD-cost: 7 21.72/21.87 c ---[ 180]---> BDD-cost: 7 21.72/21.87 c ---[ 178]---> BDD-cost: 7 21.72/21.87 c ---[ 176]---> BDD-cost: 7 21.72/21.87 c ---[ 174]---> BDD-cost: 7 21.72/21.87 c ---[ 172]---> BDD-cost: 7 21.72/21.87 c ---[ 170]---> BDD-cost: 7 21.72/21.87 c ---[ 168]---> BDD-cost: 7 21.72/21.87 c ---[ 166]---> BDD-cost: 7 21.72/21.87 c ---[ 164]---> BDD-cost: 7 21.72/21.87 c ---[ 162]---> BDD-cost: 7 21.72/21.87 c ---[ 160]---> BDD-cost: 7 21.72/21.88 c ---[ 158]---> BDD-cost: 7 21.72/21.88 c ---[ 156]---> BDD-cost: 7 21.72/21.88 c ---[ 154]---> BDD-cost: 7 21.72/21.88 c ---[ 152]---> BDD-cost: 7 21.72/21.88 c ---[ 150]---> BDD-cost: 7 21.72/21.88 c ---[ 148]---> BDD-cost: 7 21.72/21.88 c ---[ 146]---> BDD-cost: 7 21.72/21.88 c ---[ 144]---> BDD-cost: 7 21.72/21.88 c ---[ 142]---> BDD-cost: 7 21.72/21.88 c ---[ 140]---> BDD-cost: 7 21.72/21.88 c ---[ 138]---> BDD-cost: 7 21.72/21.88 c ---[ 136]---> BDD-cost: 7 21.72/21.88 c ---[ 134]---> BDD-cost: 7 21.72/21.88 c ---[ 132]---> BDD-cost: 7 21.72/21.88 c ---[ 130]---> BDD-cost: 7 21.72/21.88 c ---[ 128]---> BDD-cost: 7 21.72/21.88 c ---[ 126]---> BDD-cost: 7 21.72/21.88 c ---[ 124]---> BDD-cost: 7 21.72/21.88 c ---[ 122]---> BDD-cost: 7 21.72/21.88 c ---[ 120]---> BDD-cost: 7 21.72/21.88 c ---[ 118]---> BDD-cost: 7 21.72/21.88 c ---[ 116]---> BDD-cost: 7 21.72/21.88 c ---[ 114]---> BDD-cost: 7 21.72/21.88 c ---[ 112]---> BDD-cost: 7 21.72/21.88 c ---[ 110]---> BDD-cost: 7 21.72/21.88 c ---[ 108]---> BDD-cost: 7 21.72/21.88 c ---[ 106]---> BDD-cost: 7 21.72/21.88 c ---[ 104]---> BDD-cost: 7 21.72/21.88 c ---[ 102]---> BDD-cost: 7 21.72/21.88 c ---[ 100]---> BDD-cost: 7 21.72/21.88 c ---[ 98]---> BDD-cost: 7 21.72/21.88 c ---[ 96]---> BDD-cost: 7 21.72/21.88 c ---[ 94]---> BDD-cost: 7 21.72/21.88 c ---[ 92]---> BDD-cost: 7 21.72/21.88 c ---[ 90]---> BDD-cost: 7 21.72/21.88 c ---[ 88]---> BDD-cost: 7 21.72/21.88 c ---[ 86]---> BDD-cost: 7 21.72/21.88 c ---[ 84]---> BDD-cost: 7 21.72/21.88 c ---[ 82]---> BDD-cost: 7 21.72/21.88 c ---[ 80]---> BDD-cost: 7 21.72/21.88 c ---[ 78]---> BDD-cost: 7 21.72/21.88 c ---[ 76]---> BDD-cost: 7 21.72/21.88 c ---[ 74]---> BDD-cost: 7 21.72/21.88 c ---[ 72]---> BDD-cost: 7 21.72/21.88 c ---[ 70]---> BDD-cost: 7 21.72/21.88 c ---[ 68]---> BDD-cost: 7 21.72/21.88 c ---[ 66]---> BDD-cost: 7 21.72/21.88 c ---[ 64]---> BDD-cost: 7 21.72/21.88 c ---[ 62]---> BDD-cost: 7 21.72/21.88 c ---[ 60]---> BDD-cost: 7 21.72/21.88 c ---[ 58]---> BDD-cost: 7 21.72/21.88 c ---[ 56]---> BDD-cost: 7 21.72/21.88 c ---[ 54]---> BDD-cost: 7 21.72/21.88 c ---[ 52]---> BDD-cost: 7 21.72/21.88 c ---[ 50]---> BDD-cost: 7 21.72/21.88 c ---[ 48]---> BDD-cost: 7 21.72/21.88 c ---[ 46]---> BDD-cost: 7 21.72/21.88 c ---[ 44]---> BDD-cost: 7 21.72/21.88 c ---[ 42]---> BDD-cost: 7 21.72/21.88 c ---[ 40]---> BDD-cost: 7 21.72/21.88 c ---[ 38]---> BDD-cost: 7 21.72/21.88 c ---[ 36]---> BDD-cost: 7 21.72/21.88 c ---[ 34]---> BDD-cost: 7 21.72/21.88 c ---[ 32]---> BDD-cost: 7 21.72/21.88 c ---[ 30]---> BDD-cost: 7 21.72/21.88 c ---[ 28]---> BDD-cost: 7 21.72/21.88 c ---[ 26]---> BDD-cost: 7 21.72/21.88 c ---[ 24]---> BDD-cost: 7 21.72/21.88 c ---[ 22]---> BDD-cost: 7 21.72/21.88 c ---[ 20]---> BDD-cost: 7 21.72/21.88 c ---[ 18]---> BDD-cost: 7 21.72/21.88 c ---[ 16]---> BDD-cost: 7 21.72/21.88 c ---[ 14]---> BDD-cost: 7 21.72/21.88 c ---[ 12]---> BDD-cost: 7 21.72/21.88 c ---[ 10]---> BDD-cost: 7 21.72/21.88 c ---[ 8]---> BDD-cost: 7 21.72/21.88 c ---[ 6]---> BDD-cost: 7 21.72/21.88 c ---[ 4]---> BDD-cost: 7 21.72/21.88 c ---[ 2]---> BDD-cost: 7 21.72/21.88 c ---[ 0]---> BDD-cost: 7 21.83/21.91 c ==================================[MINISAT+]================================== 21.83/21.91 c | Conflicts | Original | Learnt | Progress | 21.83/21.91 c | | Clauses Literals | Max Clauses Literals LPC | | 21.83/21.91 c ============================================================================== 21.83/21.91 c | 0 | 479625 1901250 | 159875 0 0 nan | 0.000 % | 21.83/21.93 c | 100 | 479625 1901250 | 175862 100 2133 21.3 | 8.333 % | 21.93/22.09 c | 251 | 479625 1901250 | 193448 251 17997 71.7 | 8.333 % | 22.22/22.33 c | 476 | 479625 1901250 | 212793 476 41695 87.6 | 8.333 % | 22.62/22.71 c | 813 | 479625 1901250 | 234072 813 80321 98.8 | 8.333 % | 23.03/23.14 c | 1319 | 479625 1901250 | 257480 1319 123538 93.7 | 8.333 % | 23.92/24.01 c | 2078 | 479625 1901250 | 283228 2078 223694 107.6 | 8.333 % | 25.02/25.17 c | 3217 | 479625 1901250 | 311551 3217 383736 119.3 | 8.333 % | 26.92/27.03 c | 4928 | 479625 1901250 | 342706 4928 597039 121.2 | 8.333 % | 29.72/29.86 c | 7490 | 479625 1901250 | 376976 7490 985450 131.6 | 8.333 % | 34.30/34.44 c | 11334 | 479625 1901250 | 414674 11334 1578030 139.2 | 8.333 % | 39.88/40.01 c | 17100 | 479625 1901250 | 456142 17100 2501880 146.3 | 8.333 % | 48.97/49.17 c | 25749 | 479625 1901250 | 501756 25749 3892350 151.2 | 8.333 % | 63.67/63.83 c | 38724 | 479625 1901250 | 551931 38724 5730280 148.0 | 8.333 % | 88.33/88.57 c | 58185 | 479625 1901250 | 607125 58185 8399827 144.4 | 8.333 % | 135.21/135.41 c | 87378 | 479625 1901250 | 667837 87378 12370172 141.6 | 8.333 % | 210.20/210.44 c | 131170 | 479625 1901250 | 734621 131170 19230828 146.6 | 8.333 % | 344.36/344.60 c | 196855 | 479625 1901250 | 808083 196855 29696237 150.9 | 8.333 % | 599.50/599.84 c | 295381 | 479625 1901250 | 888891 295381 48107812 162.9 | 8.333 % | 1142.04/1142.58 c | 443171 | 479625 1901250 | 977780 443171 71021645 160.3 | 8.333 % | 1800.08/1800.71 c 1800.08/1800.71 c *** TERMINATED *** 1800.08/1800.71 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-360462-1176969644 -o ROOT/results/node72/solver-360462-1176969644 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360462-1176969644/minisat+ /tmp/evaluation/360462-1176969644/instance-360462-1176969644.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.88 0.97 0.99 3/77 30174 /proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=1048 CPUtime=0 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 173002924 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 262 99 74 215 0 44 0 [startup+0.082103 s] /proc/loadavg: 0.88 0.97 0.99 3/77 30174 /proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=1996 CPUtime=0.07 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 338 0 0 0 7 0 0 0 18 0 1 0 173002924 2043904 323 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 499 323 74 215 0 281 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 1996 [startup+0.102103 s] /proc/loadavg: 0.88 0.97 0.99 3/77 30174 /proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=2152 CPUtime=0.09 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 396 0 0 0 9 0 0 0 18 0 1 0 173002924 2203648 381 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 538 381 74 215 0 320 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2152 [startup+0.302121 s] /proc/loadavg: 0.88 0.97 0.99 3/77 30174 /proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=3892 CPUtime=0.29 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 831 0 0 0 29 0 0 0 19 0 1 0 173002924 3985408 816 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 973 816 74 215 0 755 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3892 [startup+0.701158 s] /proc/loadavg: 0.88 0.97 0.99 3/77 30174 /proc/meminfo: memFree=1671472/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=7152 CPUtime=0.68 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 1632 0 0 0 68 0 0 0 23 0 1 0 173002924 7323648 1617 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 1788 1617 74 215 0 1570 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7152 [startup+1.50123 s] /proc/loadavg: 0.88 0.97 0.99 2/78 30175 /proc/meminfo: memFree=1662824/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=13548 CPUtime=1.48 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 3219 0 0 0 147 1 0 0 25 0 1 0 173002924 13873152 3204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 3387 3204 74 215 0 3169 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13548 [startup+3.10138 s] /proc/loadavg: 0.88 0.97 0.99 2/78 30175 /proc/meminfo: memFree=1653992/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=26492 CPUtime=3.09 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 6459 0 0 0 306 3 0 0 25 0 1 0 173002924 27127808 6444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134648433 0 0 4096 16386 0 0 0 17 0 0 0 /proc/30174/statm: 6623 6444 74 215 0 6405 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 26492 [startup+6.30167 s] /proc/loadavg: 0.89 0.97 0.99 2/78 30175 /proc/meminfo: memFree=1627816/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=52284 CPUtime=6.28 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 12846 0 0 0 621 7 0 0 25 0 1 0 173002924 53538816 12831 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838344 0 0 4096 16386 0 0 0 17 0 0 0 /proc/30174/statm: 13071 12831 74 215 0 12853 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 52284 [startup+12.7013 s] /proc/loadavg: 0.90 0.97 0.99 2/78 30175 /proc/meminfo: memFree=1575592/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=102516 CPUtime=12.68 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 25459 0 0 0 1253 15 0 0 25 0 1 0 173002924 104976384 25444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006367 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 25629 25444 74 215 0 25411 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 102516 [startup+25.5014 s] /proc/loadavg: 0.92 0.97 0.99 2/84 30249 /proc/meminfo: memFree=1480680/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=191856 CPUtime=25.42 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47373 0 0 0 2471 71 0 0 25 0 1 0 173002924 196460544 47358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 47964 47358 106 215 0 47746 0 Current children cumulated CPU time (s) 25.42 Current children cumulated vsize (KiB) 191856 [startup+51.1018 s] /proc/loadavg: 0.95 0.97 0.99 2/84 30341 /proc/meminfo: memFree=1480488/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=192020 CPUtime=50.97 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47427 0 0 0 5024 73 0 0 25 0 1 0 173002924 196628480 47412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 48005 47412 106 215 0 47787 0 Current children cumulated CPU time (s) 50.97 Current children cumulated vsize (KiB) 192020 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1481448/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=192220 CPUtime=102.13 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47466 0 0 0 10140 73 0 0 25 0 1 0 173002924 196833280 47451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 48055 47451 106 215 0 47837 0 Current children cumulated CPU time (s) 102.13 Current children cumulated vsize (KiB) 192220 [startup+162.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1481384/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=192400 CPUtime=162.11 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47503 0 0 0 16137 74 0 0 25 0 1 0 173002924 197017600 47488 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 48100 47488 106 215 0 47882 0 Current children cumulated CPU time (s) 162.11 Current children cumulated vsize (KiB) 192400 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1481192/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=192832 CPUtime=222.09 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 47546 0 0 0 22135 74 0 0 25 0 1 0 173002924 197459968 47531 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 48208 47531 106 215 0 47990 0 Current children cumulated CPU time (s) 222.09 Current children cumulated vsize (KiB) 192832 [startup+282.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1461096/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=213004 CPUtime=282.08 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 52620 0 0 0 28129 79 0 0 25 0 1 0 173002924 218116096 52605 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 53251 52605 106 215 0 53033 0 Current children cumulated CPU time (s) 282.08 Current children cumulated vsize (KiB) 213004 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1444072/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=229620 CPUtime=342.06 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 56807 0 0 0 34122 84 0 0 25 0 1 0 173002924 235130880 56792 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 57405 56792 106 215 0 57187 0 Current children cumulated CPU time (s) 342.06 Current children cumulated vsize (KiB) 229620 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1426216/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=247952 CPUtime=402.05 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 61329 0 0 0 40116 89 0 0 25 0 1 0 173002924 253902848 61314 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 61988 61314 106 215 0 61770 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 247952 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1406184/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=267888 CPUtime=462.03 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 66309 0 0 0 46109 94 0 0 25 0 1 0 173002924 274317312 66294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580744 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 66972 66294 106 215 0 66754 0 Current children cumulated CPU time (s) 462.03 Current children cumulated vsize (KiB) 267888 [startup+522.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1390696/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=283420 CPUtime=522.01 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 70204 0 0 0 52103 98 0 0 25 0 1 0 173002924 290222080 70189 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 70855 70189 106 215 0 70637 0 Current children cumulated CPU time (s) 522.01 Current children cumulated vsize (KiB) 283420 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1372072/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=301924 CPUtime=581.99 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 74834 0 0 0 58096 103 0 0 25 0 1 0 173002924 309170176 74819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 75481 74819 106 215 0 75263 0 Current children cumulated CPU time (s) 581.99 Current children cumulated vsize (KiB) 301924 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 30377 /proc/meminfo: memFree=1357032/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=317312 CPUtime=641.98 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 78539 0 0 0 64091 107 0 0 25 0 1 0 173002924 324927488 78524 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 79328 78524 106 215 0 79110 0 Current children cumulated CPU time (s) 641.98 Current children cumulated vsize (KiB) 317312 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.01 1.01 1.00 2/78 30377 /proc/meminfo: memFree=1312040/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=362096 CPUtime=881.92 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 89791 0 0 0 88071 121 0 0 25 0 1 0 173002924 370786304 89776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 90524 89776 106 215 0 90306 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 362096 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1302248/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=371900 CPUtime=941.9 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 92270 0 0 0 94067 123 0 0 25 0 1 0 173002924 380825600 92255 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580426 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 92975 92255 106 215 0 92757 0 Current children cumulated CPU time (s) 941.9 Current children cumulated vsize (KiB) 371900 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1292776/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=381272 CPUtime=1001.88 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 94631 0 0 0 100061 127 0 0 25 0 1 0 173002924 390422528 94616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 95318 94616 106 215 0 95100 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 381272 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1283560/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=390448 CPUtime=1061.87 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 96944 0 0 0 106057 130 0 0 25 0 1 0 173002924 399818752 96929 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 97612 96929 106 215 0 97394 0 Current children cumulated CPU time (s) 1061.87 Current children cumulated vsize (KiB) 390448 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1274600/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=399360 CPUtime=1121.85 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 99148 0 0 0 112053 132 0 0 25 0 1 0 173002924 408944640 99133 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 99840 99133 106 215 0 99622 0 Current children cumulated CPU time (s) 1121.85 Current children cumulated vsize (KiB) 399360 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1261928/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=412336 CPUtime=1181.84 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 102399 0 0 0 118047 137 0 0 25 0 1 0 173002924 422232064 102384 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580806 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 103084 102384 106 215 0 102866 0 Current children cumulated CPU time (s) 1181.84 Current children cumulated vsize (KiB) 412336 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1245480/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=429276 CPUtime=1241.82 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 106424 0 0 0 124040 142 0 0 25 0 1 0 173002924 439578624 106409 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 107319 106409 106 215 0 107101 0 Current children cumulated CPU time (s) 1241.82 Current children cumulated vsize (KiB) 429276 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1226024/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=448464 CPUtime=1301.81 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 111238 0 0 0 130033 148 0 0 25 0 1 0 173002924 459227136 111223 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 112116 111223 106 215 0 111898 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 448464 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1208936/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=465568 CPUtime=1361.79 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 115549 0 0 0 136026 153 0 0 25 0 1 0 173002924 476741632 115534 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 116392 115534 106 215 0 116174 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 465568 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1190504/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=483732 CPUtime=1421.77 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 120105 0 0 0 142019 158 0 0 25 0 1 0 173002924 495341568 120090 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 120933 120090 106 215 0 120715 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 483732 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1174888/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=499496 CPUtime=1481.75 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 124055 0 0 0 148014 161 0 0 25 0 1 0 173002924 511483904 124040 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 124874 124040 106 215 0 124656 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 499496 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1157544/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=516684 CPUtime=1541.74 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 128362 0 0 0 154009 165 0 0 25 0 1 0 173002924 529084416 128347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 129171 128347 106 215 0 128953 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 516684 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1141608/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=532660 CPUtime=1601.73 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 132372 0 0 0 160003 170 0 0 25 0 1 0 173002924 545443840 132357 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 133165 132357 106 215 0 132947 0 Current children cumulated CPU time (s) 1601.73 Current children cumulated vsize (KiB) 532660 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1125736/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=548292 CPUtime=1661.7 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 136294 0 0 0 165996 174 0 0 25 0 1 0 173002924 561451008 136279 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 137073 136279 106 215 0 136855 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 548292 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1113064/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=560984 CPUtime=1721.69 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 139469 0 0 0 171990 179 0 0 25 0 1 0 173002924 574447616 139454 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 140246 139454 106 215 0 140028 0 Current children cumulated CPU time (s) 1721.69 Current children cumulated vsize (KiB) 560984 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1100776/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=573032 CPUtime=1781.68 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 142509 0 0 0 177984 184 0 0 25 0 1 0 173002924 586784768 142494 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580854 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 143258 142494 106 215 0 143040 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 573032 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1096296/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=577496 CPUtime=1800.08 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 143605 0 0 0 179822 186 0 0 25 0 1 0 173002924 591355904 143590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 144374 143590 106 215 0 144156 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 577496 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 30377 /proc/meminfo: memFree=1096296/2055920 swapFree=4157116/4192956 [pid=30174] ppid=30172 vsize=577496 CPUtime=1800.08 /proc/30174/stat : 30174 (minisat+) R 30172 30174 30052 0 -1 4194304 143605 0 0 0 179822 186 0 0 25 0 1 0 173002924 591355904 143590 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30174/statm: 144374 143590 106 215 0 144156 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 577496 Child status: 0 Real time (s): 1800.8 CPU time (s): 1800.18 CPU user time (s): 1798.23 CPU system time (s): 1.9517 CPU usage (%): 99.9655 Max. virtual memory (cumulated for all children) (KiB): 577496 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.23 system time used= 1.9517 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 143606 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= 4164 involuntary context switches= 37353 runsolver used 2.42263 second user time and 5.2892 second system time The end
Begin job on node72 on Thu Apr 19 08:00:45 UTC 2007 IDJOB= 360462 IDBENCH= 1373 IDSOLVER= 156 FILE ID= node72/360462-1176969644 PBS_JOBID= 4630309 Free space on /tmp= 66386 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k5_l4_n750.opb COMMAND LINE= /tmp/evaluation/360462-1176969644/minisat+ /tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-360462-1176969644 -o ROOT/results/node72/conversion-360462-1176969644 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-360462-1176969644 -o ROOT/results/node72/solver-360462-1176969644 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360462-1176969644/minisat+ /tmp/evaluation/360462-1176969644/instance-360462-1176969644.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 84dfc4b706a5e82746c96ff285501708 RANDOM SEED= 224130222 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1671880 kB Buffers: 35596 kB Cached: 269064 kB SwapCached: 16912 kB Active: 89576 kB Inactive: 237868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1671880 kB SwapTotal: 4192956 kB SwapFree: 4157116 kB Dirty: 22364 kB Writeback: 0 kB Mapped: 29800 kB Slab: 42100 kB Committed_AS: 2762156 kB PageTables: 1788 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= 66386 MiB End job on node72 on Thu Apr 19 08:30:48 UTC 2007