Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
PB07: minisat+ 1.14 | Signal | 1580.56 | 1719.72 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb |
MD5SUM | ca3282cf347faf21ba3550ec87dd7af4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 483 |
Best CPU time to get the best result obtained on this benchmark | 1792.1 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 466 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494728 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494728 |
Number of bits of the biggest sum of numbers | 19 |
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... 7.08/7.10 c Converting 656900 PB-constraints to clauses... 7.08/7.14 c -- Unit propagations: (none) 7.08/7.14 c -- Detecting intervals from adjacent constraints: (none) 7.08/7.15 c -- Clauses(.)/Splits(s): .................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 7.79/7.87 c ==================================[MINISAT+]================================== 7.79/7.87 c | Conflicts | Original | Learnt | Progress | 7.79/7.87 c | | Clauses Literals | Max Clauses Literals LPC | | 7.79/7.87 c ============================================================================== 7.79/7.87 c | 0 | 656900 1333400 | 218966 0 0 nan | 0.000 % | 7.89/7.91 c | 101 | 656900 1333400 | 240862 101 187426 1855.7 | 0.000 % | 7.89/7.94 c | 251 | 656900 1333400 | 264948 251 305532 1217.3 | 0.000 % | 7.89/7.99 c | 477 | 656900 1333400 | 291443 477 540583 1133.3 | 0.000 % | 7.99/8.09 c | 817 | 656900 1333400 | 320588 817 1045447 1279.6 | 0.000 % | 8.19/8.20 c ============================================================================== 8.19/8.20 c [1mFound solution: 7743[0m 8.19/8.20 o 7743 8.19/8.27 c ---[ 0]---> Adder-cost: 54118 maxlim: 486985 bits: 19/19 11.68/11.73 c ==================================[MINISAT+]================================== 11.68/11.73 c | Conflicts | Original | Learnt | Progress | 11.68/11.73 c | | Clauses Literals | Max Clauses Literals LPC | | 11.68/11.73 c ============================================================================== 11.68/11.73 c | 1126 | 1035622 2685981 | 345207 1126 1497324 1329.8 | 0.000 % | 11.68/11.78 c ============================================================================== 11.68/11.78 c [1mFound solution: 7155[0m 11.68/11.78 o 7155 11.78/11.85 c ---[ 0]---> Adder-cost: 0 maxlim: 487573 bits: 19/19 14.88/14.90 c ==================================[MINISAT+]================================== 14.88/14.90 c | Conflicts | Original | Learnt | Progress | 14.88/14.90 c | | Clauses Literals | Max Clauses Literals LPC | | 14.88/14.90 c ============================================================================== 14.88/14.90 c | 1142 | 1035637 2686074 | 345212 1142 1499661 1313.2 | 0.000 % | 15.08/15.11 c | 1242 | 1035637 2686074 | 379733 1242 1518336 1222.5 | 0.028 % | 15.28/15.31 c | 1397 | 1035637 2686074 | 417706 1397 1703137 1219.1 | 0.028 % | 15.39/15.46 c ============================================================================== 15.39/15.47 c [1mFound solution: 6600[0m 15.39/15.47 o 6600 15.49/15.54 c ---[ 0]---> Adder-cost: 0 maxlim: 488128 bits: 19/19 18.39/18.49 c ==================================[MINISAT+]================================== 18.39/18.49 c | Conflicts | Original | Learnt | Progress | 18.39/18.49 c | | Clauses Literals | Max Clauses Literals LPC | | 18.39/18.49 c ============================================================================== 18.39/18.49 c | 1580 | 1035643 2686126 | 345214 1580 1783907 1129.1 | 0.028 % | 18.59/18.60 c | 1681 | 1035643 2686126 | 379735 1681 1785194 1062.0 | 0.034 % | 18.59/18.67 c | 1831 | 1035643 2686126 | 417708 1831 1786799 975.9 | 0.034 % | 18.70/18.77 c | 2057 | 1035643 2686126 | 459479 2057 1789134 869.8 | 0.034 % | 19.39/19.40 c | 2394 | 1035643 2686126 | 505427 2394 1792896 748.9 | 0.034 % | 19.99/20.03 c | 2900 | 1035643 2686126 | 555970 2900 1798174 620.1 | 0.034 % | 21.39/21.49 c | 3659 | 1035643 2686126 | 611567 3659 1807977 494.1 | 0.034 % | 22.88/22.99 c ============================================================================== 22.88/22.99 c [1mFound solution: 6564[0m 22.88/22.99 o 6564 22.98/23.06 c ---[ 0]---> Adder-cost: 0 maxlim: 488164 bits: 19/19 26.08/26.15 c ==================================[MINISAT+]================================== 26.08/26.15 c | Conflicts | Original | Learnt | Progress | 26.08/26.15 c | | Clauses Literals | Max Clauses Literals LPC | | 26.08/26.15 c ============================================================================== 26.08/26.15 c | 4538 | 1035648 2686176 | 345216 4538 1876213 413.4 | 0.034 % | 26.08/26.15 c | 4638 | 1035648 2686176 | 379737 4638 1884096 406.2 | 0.039 % | 26.39/26.46 c | 4788 | 1035547 2685826 | 417711 4718 1879755 398.4 | 0.065 % | 26.68/26.70 c | 5013 | 1035335 2685099 | 459482 4897 1878093 383.5 | 0.122 % | 26.88/26.95 c | 5351 | 1035293 2684957 | 505430 5220 1882423 360.6 | 0.131 % | 27.68/27.71 c | 5857 | 1035269 2684875 | 555973 5717 1889563 330.5 | 0.136 % | 28.88/28.95 c | 6616 | 1035234 2684748 | 611571 6469 1895567 293.0 | 0.145 % | 31.58/31.67 c | 7756 | 1035234 2684748 | 672728 7609 1906526 250.6 | 0.145 % | 34.97/35.07 c | 9464 | 1035234 2684748 | 740001 9317 1928476 207.0 | 0.145 % | 41.57/41.64 c | 12026 | 1035225 2684717 | 814001 11874 1952526 164.4 | 0.147 % | 46.96/47.04 c | 15872 | 1035198 2684626 | 895401 15714 3076002 195.7 | 0.153 % | 47.27/47.37 c ============================================================================== 47.27/47.38 c [1mFound solution: 6453[0m 47.27/47.38 o 6453 47.37/47.45 c ---[ 0]---> Adder-cost: 0 maxlim: 488275 bits: 19/19 50.46/50.52 c ==================================[MINISAT+]================================== 50.46/50.52 c | Conflicts | Original | Learnt | Progress | 50.46/50.52 c | | Clauses Literals | Max Clauses Literals LPC | | 50.46/50.52 c ============================================================================== 50.46/50.52 c | 16996 | 1035205 2684682 | 345068 16838 3381445 200.8 | 0.153 % | 50.67/50.78 c | 17096 | 1035047 2684140 | 379574 16914 3382917 200.0 | 0.204 % | 51.06/51.16 c | 17246 | 1035047 2684140 | 417532 17064 3385802 198.4 | 0.204 % | 51.56/51.60 c | 17472 | 1035047 2684140 | 459285 17290 3388923 196.0 | 0.204 % | 52.56/52.60 c | 17811 | 1035047 2684140 | 505214 17629 3396978 192.7 | 0.204 % | 53.76/53.86 c | 18317 | 1034973 2683884 | 555735 18124 3403491 187.8 | 0.224 % | 54.96/55.03 c | 19078 | 1034973 2683884 | 611309 18885 3412572 180.7 | 0.224 % | 57.96/58.01 c | 20217 | 1034973 2683884 | 672439 20024 3424320 171.0 | 0.224 % | 60.86/60.95 c | 21925 | 1034973 2683884 | 739683 21732 3444375 158.5 | 0.224 % | 65.35/65.49 c | 24487 | 1034885 2683580 | 813652 24275 3790290 156.1 | 0.249 % | 71.75/71.89 c | 28332 | 1034885 2683580 | 895017 28120 3835343 136.4 | 0.249 % | 79.34/79.41 c | 34098 | 1034885 2683580 | 984519 33886 11207028 330.7 | 0.249 % | 80.14/80.27 c ============================================================================== 80.14/80.27 c [1mFound solution: 6396[0m 80.14/80.27 o 6396 80.24/80.35 c ---[ 0]---> Adder-cost: 0 maxlim: 488332 bits: 19/19 83.24/83.37 c ==================================[MINISAT+]================================== 83.24/83.37 c | Conflicts | Original | Learnt | Progress | 83.24/83.37 c | | Clauses Literals | Max Clauses Literals LPC | | 83.24/83.37 c ============================================================================== 83.24/83.37 c | 36342 | 1034891 2683640 | 344963 36130 12435642 344.2 | 0.249 % | 83.54/83.61 c | 36443 | 1034891 2683640 | 379459 36231 12437293 343.3 | 0.256 % | 83.94/84.00 c | 36593 | 1034891 2683640 | 417405 36381 12440239 341.9 | 0.256 % | 84.44/84.58 c | 36819 | 1034891 2683640 | 459145 36607 12441677 339.9 | 0.256 % | 85.14/85.28 c | 37156 | 1034891 2683640 | 505060 36944 12444531 336.8 | 0.256 % | 86.34/86.40 c | 37662 | 1034891 2683640 | 555566 37450 12451890 332.5 | 0.256 % | 88.04/88.12 c | 38421 | 1034891 2683640 | 611122 38209 12461768 326.1 | 0.256 % | 88.94/89.08 c | 39560 | 1034891 2683640 | 672235 39348 12479407 317.2 | 0.256 % | 92.04/92.17 c | 41268 | 1034891 2683640 | 739458 41056 12494829 304.3 | 0.256 % | 96.23/96.39 c | 43830 | 1034815 2683379 | 813404 43608 12530477 287.3 | 0.277 % | 103.03/103.18 c | 47674 | 1034815 2683379 | 894745 47452 12571786 264.9 | 0.277 % | 104.63/104.73 c ============================================================================== 104.63/104.73 c [1mFound solution: 6147[0m 104.63/104.73 o 6147 104.73/104.80 c ---[ 0]---> Adder-cost: 0 maxlim: 488581 bits: 19/19 107.62/107.80 c ==================================[MINISAT+]================================== 107.62/107.80 c | Conflicts | Original | Learnt | Progress | 107.62/107.80 c | | Clauses Literals | Max Clauses Literals LPC | | 107.62/107.80 c ============================================================================== 107.62/107.80 c | 48744 | 1034822 2683433 | 344940 48522 12903560 265.9 | 0.277 % | 107.92/108.05 c | 48845 | 1034822 2683433 | 379434 48623 12907491 265.5 | 0.284 % | 108.32/108.45 c | 48995 | 1034822 2683433 | 417377 48773 12910109 264.7 | 0.284 % | 108.82/108.94 c | 49220 | 1034822 2683433 | 459115 48998 12914082 263.6 | 0.284 % | 109.32/109.49 c | 49557 | 1034822 2683433 | 505026 49335 13054876 264.6 | 0.284 % | 109.62/109.78 c | 50065 | 1034822 2683433 | 555529 49843 13289384 266.6 | 0.284 % | 111.22/111.31 c | 50824 | 1034822 2683433 | 611082 50602 13304358 262.9 | 0.284 % | 113.71/113.86 c | 51963 | 1034822 2683433 | 672190 51741 13316990 257.4 | 0.284 % | 117.51/117.69 c | 53671 | 1034822 2683433 | 739409 53449 13335441 249.5 | 0.284 % | 120.71/120.83 c | 56236 | 1034822 2683433 | 813350 56014 16556253 295.6 | 0.284 % | 124.21/124.37 c | 60080 | 1034822 2683433 | 894685 59858 24058746 401.9 | 0.284 % | 131.91/132.10 c | 65846 | 1034822 2683433 | 984154 65624 24398064 371.8 | 0.284 % | 146.59/146.70 c | 74496 | 1034822 2683433 | 1082569 74274 46031674 619.8 | 0.284 % | 146.69/146.88 c ============================================================================== 146.69/146.88 c [1mFound solution: 5828[0m 146.69/146.88 o 5828 146.79/146.96 c ---[ 0]---> Adder-cost: 0 maxlim: 488900 bits: 19/19 149.89/150.02 c ==================================[MINISAT+]================================== 149.89/150.02 c | Conflicts | Original | Learnt | Progress | 149.89/150.02 c | | Clauses Literals | Max Clauses Literals LPC | | 149.89/150.02 c ============================================================================== 149.89/150.02 c | 74637 | 1034829 2683497 | 344943 74415 46063052 619.0 | 0.284 % | 149.99/150.19 c | 74737 | 1034829 2683497 | 379437 74515 46073923 618.3 | 0.291 % | 150.39/150.55 c | 74888 | 1034829 2683497 | 417381 74666 46079550 617.1 | 0.291 % | 151.08/151.24 c | 75113 | 1034829 2683497 | 459119 74891 46084244 615.4 | 0.291 % | 151.98/152.11 c | 75450 | 1034829 2683497 | 505031 75228 46087968 612.6 | 0.291 % | 153.08/153.21 c | 75956 | 1034829 2683497 | 555534 75734 46095775 608.7 | 0.291 % | 153.89/154.09 c | 76716 | 1034829 2683497 | 611087 76494 46486868 607.7 | 0.291 % | 155.88/156.08 c | 77855 | 1034829 2683497 | 672196 77633 46501792 599.0 | 0.291 % | 159.28/159.44 c | 79564 | 1034829 2683497 | 739415 79342 46520836 586.3 | 0.291 % | 163.18/163.38 c | 82126 | 1034829 2683497 | 813357 81904 46551230 568.4 | 0.291 % | 167.57/167.76 c | 85971 | 1034829 2683497 | 894693 85749 46630453 543.8 | 0.291 % | 176.08/176.25 c | 91737 | 1034829 2683497 | 984162 91515 46700958 510.3 | 0.291 % | 188.08/188.24 c | 100387 | 1034829 2683497 | 1082578 100165 47469273 473.9 | 0.291 % | 203.07/203.25 c | 113361 | 1034829 2683497 | 1190836 113139 70551552 623.6 | 0.291 % | 226.76/226.95 c | 132822 | 1034829 2683497 | 1309920 132600 105888324 798.6 | 0.291 % | 257.53/257.78 c | 162015 | 1034829 2683497 | 1440912 161793 134417484 830.8 | 0.291 % | 294.63/294.81 c ============================================================================== 294.63/294.81 c [1mFound solution: 5708[0m 294.63/294.81 o 5708 294.63/294.89 c ---[ 0]---> Adder-cost: 0 maxlim: 489020 bits: 19/19 298.11/298.32 c ==================================[MINISAT+]================================== 298.11/298.32 c | Conflicts | Original | Learnt | Progress | 298.11/298.32 c | | Clauses Literals | Max Clauses Literals LPC | | 298.11/298.32 c ============================================================================== 298.11/298.32 c | 185666 | 1034836 2683577 | 344945 185444 163027186 879.1 | 0.291 % | 298.21/298.40 c | 185766 | 1034836 2683577 | 379439 185544 163029540 878.7 | 0.301 % | 298.61/298.89 c | 185916 | 1034836 2683577 | 417383 185694 163035065 878.0 | 0.301 % | 299.41/299.64 c | 186142 | 1034836 2683577 | 459121 185920 163039540 876.9 | 0.301 % | 300.51/300.74 c | 186481 | 1034836 2683577 | 505033 186259 163044671 875.4 | 0.301 % | 301.22/301.46 c | 186988 | 1034836 2683577 | 555537 186766 163050725 873.0 | 0.301 % | 302.71/302.97 c | 187747 | 1034836 2683577 | 611091 187525 163060697 869.5 | 0.301 % | 305.21/305.40 c | 188887 | 1034836 2683577 | 672200 188665 163075162 864.4 | 0.301 % | 306.11/306.30 c | 190595 | 1034836 2683577 | 739420 190373 163121185 856.9 | 0.301 % | 310.61/310.86 c | 193157 | 1034836 2683577 | 813362 192935 164199548 851.1 | 0.301 % | 315.61/315.89 c | 197003 | 1034836 2683577 | 894698 196781 171204983 870.0 | 0.301 % | 320.60/320.89 c | 202769 | 1034836 2683577 | 984168 202547 172206308 850.2 | 0.301 % | 327.90/328.15 c | 211421 | 1034836 2683577 | 1082585 211199 172367570 816.1 | 0.301 % | 351.28/351.57 c | 224396 | 1034836 2683577 | 1190843 224174 173722738 774.9 | 0.301 % | 376.37/376.63 c | 243860 | 1034836 2683577 | 1309928 243638 178685764 733.4 | 0.301 % | 443.82/444.11 c | 273052 | 1034836 2683577 | 1440920 272830 250635973 918.7 | 0.301 % | 541.76/542.11 c | 316841 | 1034836 2683577 | 1585012 316619 353487516 1116.4 | 0.301 % | 542.46/542.82 c ============================================================================== 542.46/542.82 c [1mFound solution: 5674[0m 542.46/542.82 o 5674 542.56/542.90 c ---[ 0]---> Adder-cost: 0 maxlim: 489054 bits: 19/19 546.66/547.03 c ==================================[MINISAT+]================================== 546.66/547.03 c | Conflicts | Original | Learnt | Progress | 546.66/547.03 c | | Clauses Literals | Max Clauses Literals LPC | | 546.66/547.03 c ============================================================================== 546.66/547.03 c | 318221 | 1034847 2683675 | 344949 317999 353932984 1113.0 | 0.301 % | 546.76/547.19 c | 318321 | 1034847 2683675 | 379443 318099 353935144 1112.7 | 0.310 % | 547.26/547.61 c | 318471 | 1034847 2683675 | 417388 318249 353939037 1112.1 | 0.310 % | 547.46/547.82 c | 318696 | 1034847 2683675 | 459127 318474 353942101 1111.4 | 0.310 % | 547.95/548.33 c | 319033 | 1034847 2683675 | 505039 318811 353948932 1110.2 | 0.310 % | 549.06/549.41 c | 319539 | 1034847 2683675 | 555543 319317 353959341 1108.5 | 0.310 % | 550.16/550.53 c | 320298 | 1034847 2683675 | 611098 320076 353978943 1105.9 | 0.310 % | 552.76/553.14 c | 321437 | 1034847 2683675 | 672208 321215 353996930 1102.1 | 0.310 % | 554.46/554.83 c | 323145 | 1034847 2683675 | 739428 322923 354071378 1096.5 | 0.310 % | 559.06/559.49 c | 325707 | 1034847 2683675 | 813371 325485 354115525 1088.0 | 0.310 % | 566.26/566.62 c | 329551 | 1034847 2683675 | 894708 329329 354219770 1075.6 | 0.310 % | 574.34/574.79 c | 335317 | 1034847 2683675 | 984179 335095 354389026 1057.6 | 0.310 % | 588.93/589.33 c | 343966 | 1034847 2683675 | 1082597 343744 356207555 1036.3 | 0.310 % | 618.93/619.34 c | 356941 | 1034847 2683675 | 1190857 356719 375394031 1052.4 | 0.310 % | 647.00/647.46 c | 376403 | 1034847 2683675 | 1309943 376181 401850975 1068.2 | 0.310 % | 705.17/705.60 c | 405597 | 1034847 2683675 | 1440937 405375 460676912 1136.4 | 0.310 % | 793.12/793.63 c | 449387 | 1034847 2683675 | 1585031 449165 539299338 1200.7 | 0.310 % | 942.64/943.26 c | 515071 | 1034847 2683675 | 1743534 514849 573233928 1113.4 | 0.310 % | 1253.66/1254.44 c | 613600 | 1034847 2683675 | 1917887 613378 787219493 1283.4 | 0.310 % | 1577.31/1578.22 minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = char]: Assertion `size == 0 || tmp != __null' failed.
ERROR: no interpretation found !
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.1 (svn: 989) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3721165-1338552757/watcher-3721165-1338552757 -o /tmp/evaluation-result-3721165-1338552757/solver-3721165-1338552757 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721165-1338552757.opb running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.88 0.86 0.33 4/176 8558 /proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=1796 CPUtime=0 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 291 0 0 0 0 0 0 0 20 0 1 0 321401758 1839104 248 33554432000 134512640 135395479 4293351632 4293350416 134569966 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 449 248 67 216 0 231 0 [startup+0.101651 s] /proc/loadavg: 1.88 0.86 0.33 4/176 8558 /proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4560 CPUtime=0.09 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 972 0 0 0 9 0 0 0 20 0 1 0 321401758 4669440 929 33554432000 134512640 135395479 4293351632 4293350464 134618678 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 1140 929 74 216 0 922 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4560 [startup+0.200151 s] /proc/loadavg: 1.88 0.86 0.33 4/176 8558 /proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=6648 CPUtime=0.19 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 1483 0 0 0 19 0 0 0 20 0 1 0 321401758 6807552 1440 33554432000 134512640 135395479 4293351632 4293349996 135007481 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 1662 1440 74 216 0 1444 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 6648 [startup+0.300133 s] /proc/loadavg: 1.88 0.86 0.33 4/176 8558 /proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=8736 CPUtime=0.29 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 2008 0 0 0 29 0 0 0 20 0 1 0 321401758 8945664 1965 33554432000 134512640 135395479 4293351632 4293350600 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 2184 1965 74 216 0 1966 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8736 [startup+0.700108 s] /proc/loadavg: 1.88 0.86 0.33 4/176 8558 /proc/meminfo: memFree=28589292/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=17328 CPUtime=0.68 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 4109 0 0 0 68 0 0 0 20 0 1 0 321401758 17743872 4066 33554432000 134512640 135395479 4293351632 4293349996 135007481 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 4332 4066 74 216 0 4114 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 17328 [startup+1.5001 s] /proc/loadavg: 1.97 0.90 0.34 3/177 8559 /proc/meminfo: memFree=28564544/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=34180 CPUtime=1.48 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 8295 0 0 0 147 1 0 0 20 0 1 0 321401758 35000320 8252 33554432000 134512640 135395479 4293351632 4293350552 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 8545 8252 74 216 0 8327 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 34180 [startup+3.1001 s] /proc/loadavg: 1.97 0.90 0.34 3/177 8559 /proc/meminfo: memFree=28540984/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=67388 CPUtime=3.09 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 16659 0 0 0 307 2 0 0 20 0 1 0 321401758 69005312 16616 33554432000 134512640 135395479 4293351632 4293350600 135031278 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 16847 16616 74 216 0 16629 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 67388 [startup+6.3001 s] /proc/loadavg: 1.97 0.91 0.35 3/176 8559 /proc/meminfo: memFree=28472032/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=134928 CPUtime=6.29 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 33428 0 0 0 624 5 0 0 20 0 1 0 321401758 138166272 33385 33554432000 134512640 135395479 4293351632 4293350268 135007864 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 33732 33385 74 216 0 33514 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 134928 [startup+12.7002 s] /proc/loadavg: 1.97 0.93 0.36 3/177 8560 /proc/meminfo: memFree=28351684/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=239796 CPUtime=12.68 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 55251 0 0 0 1233 35 0 0 20 0 1 0 321401758 245551104 59121 33554432000 134512640 135395479 4293351632 4293348780 135005847 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 59949 59121 123 216 0 59731 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 239796 [startup+25.5002 s] /proc/loadavg: 1.98 0.98 0.38 3/177 8560 /proc/meminfo: memFree=28350596/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=239656 CPUtime=25.48 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 57097 0 0 0 2512 36 0 0 20 0 1 0 321401758 245407744 59269 33554432000 134512640 135395479 4293351632 4293349224 135012160 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 59914 59269 123 216 0 59696 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 239656 [startup+51.1004 s] /proc/loadavg: 1.98 1.06 0.42 3/177 8560 /proc/meminfo: memFree=28350688/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=239480 CPUtime=51.06 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 58146 0 0 0 5070 36 0 0 20 0 1 0 321401758 245227520 59284 33554432000 134512640 135395479 4293351632 4293350096 134588792 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 59870 59284 123 216 0 59652 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 239480 [startup+102.3 s] /proc/loadavg: 1.99 1.21 0.50 3/177 8560 /proc/meminfo: memFree=28318864/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=271628 CPUtime=102.24 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 68941 0 0 0 10185 39 0 0 20 0 1 0 321401758 278147072 67326 33554432000 134512640 135395479 4293351632 4293349952 134573079 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 67907 67326 123 216 0 67689 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 271628 [startup+162.3 s] /proc/loadavg: 2.07 1.36 0.60 3/177 8560 /proc/meminfo: memFree=28183484/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=407280 CPUtime=162.18 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 108196 0 0 0 16171 47 0 0 20 0 1 0 321401758 417054720 101216 33554432000 134512640 135395479 4293351632 4293350096 134588343 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 101820 101216 123 216 0 101602 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 407280 [startup+222.307 s] /proc/loadavg: 2.02 1.48 0.69 3/177 8560 /proc/meminfo: memFree=27978292/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=612780 CPUtime=222.17 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 159589 0 0 0 22157 60 0 0 20 0 1 0 321401758 627486720 152577 33554432000 134512640 135395479 4293351632 4293349984 134580840 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 153195 152577 123 216 0 152977 0 Current children cumulated CPU time (s) 222.17 Current children cumulated vsize (KiB) 612780 [startup+282.3 s] /proc/loadavg: 2.01 1.57 0.77 3/177 8560 /proc/meminfo: memFree=27786120/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=807932 CPUtime=282.13 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 208396 0 0 0 28141 72 0 0 20 0 1 0 321401758 827322368 201351 33554432000 134512640 135395479 4293351632 4293349984 134580768 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 201983 201351 123 216 0 201765 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 807932 [startup+342.3 s] /proc/loadavg: 2.00 1.64 0.84 3/177 8561 /proc/meminfo: memFree=27678372/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=912096 CPUtime=342.09 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 237074 0 0 0 34128 81 0 0 20 0 1 0 321401758 933986304 227350 33554432000 134512640 135395479 4293351632 4293349984 134580732 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 228024 227350 123 216 0 227806 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 912096 [startup+402.3 s] /proc/loadavg: 2.00 1.71 0.91 3/177 8561 /proc/meminfo: memFree=27531420/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=1062860 CPUtime=402.05 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 274822 0 0 0 40114 91 0 0 20 0 1 0 321401758 1088368640 265054 33554432000 134512640 135395479 4293351632 4293349984 134581488 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 265715 265054 123 216 0 265497 0 Current children cumulated CPU time (s) 402.05 Current children cumulated vsize (KiB) 1062860 [startup+462.3 s] /proc/loadavg: 2.00 1.76 0.97 3/178 8564 /proc/meminfo: memFree=27295164/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=1295176 CPUtime=462.01 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 332975 0 0 0 46094 107 0 0 20 0 1 0 321401758 1326260224 323170 33554432000 134512640 135395479 4293351632 4293349984 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 323794 323170 123 216 0 323576 0 Current children cumulated CPU time (s) 462.01 Current children cumulated vsize (KiB) 1295176 [startup+522.3 s] /proc/loadavg: 2.00 1.80 1.04 3/177 8564 /proc/meminfo: memFree=27038380/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=1553804 CPUtime=521.98 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 397671 0 0 0 52072 126 0 0 20 0 1 0 321401758 1591095296 387837 33554432000 134512640 135395479 4293351632 4293349984 134580732 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 388451 387837 123 216 0 388233 0 Current children cumulated CPU time (s) 521.98 Current children cumulated vsize (KiB) 1553804 [startup+582.3 s] /proc/loadavg: 2.03 1.85 1.10 3/177 8564 /proc/meminfo: memFree=26956940/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=1632628 CPUtime=581.95 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 419424 0 0 0 58063 132 0 0 20 0 1 0 321401758 1671811072 407431 33554432000 134512640 135395479 4293351632 4293349984 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 408157 407431 123 216 0 407939 0 Current children cumulated CPU time (s) 581.95 Current children cumulated vsize (KiB) 1632628 [startup+642.3 s] ################ # More data... # ################ [pid=8558] ppid=8556 vsize=2966484 CPUtime=1121.64 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 753201 0 0 0 111939 225 0 0 20 0 1 0 321401758 3037679616 740896 33554432000 134512640 135395479 4293351632 4293349984 134580765 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 741621 740896 123 216 0 741403 0 Current children cumulated CPU time (s) 1121.64 Current children cumulated vsize (KiB) 2966484 [startup+1182.3 s] /proc/loadavg: 2.02 1.99 1.52 3/177 8570 /proc/meminfo: memFree=25399560/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=3137596 CPUtime=1181.6 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 796047 0 0 0 117925 235 0 0 20 0 1 0 321401758 3212898304 783708 33554432000 134512640 135395479 4293351632 4293349680 134582953 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 784399 783708 123 216 0 784181 0 Current children cumulated CPU time (s) 1181.6 Current children cumulated vsize (KiB) 3137596 [startup+1242.3 s] /proc/loadavg: 2.00 1.99 1.55 3/177 8571 /proc/meminfo: memFree=25117996/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=3293900 CPUtime=1241.58 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 835143 0 0 0 123911 247 0 0 20 0 1 0 321401758 3372953600 822786 33554432000 134512640 135395479 4293351632 4293349680 134582953 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 823475 822786 123 216 0 823257 0 Current children cumulated CPU time (s) 1241.58 Current children cumulated vsize (KiB) 3293900 [startup+1302.3 s] /proc/loadavg: 2.00 1.99 1.57 3/177 8571 /proc/meminfo: memFree=24868040/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=3481852 CPUtime=1301.54 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 882184 0 0 0 129892 262 0 0 20 0 1 0 321401758 3565416448 869795 33554432000 134512640 135395479 4293351632 4293349680 134582953 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 870463 869795 123 216 0 870245 0 Current children cumulated CPU time (s) 1301.54 Current children cumulated vsize (KiB) 3481852 [startup+1362.3 s] /proc/loadavg: 2.00 1.99 1.60 3/177 8571 /proc/meminfo: memFree=24687904/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=3660472 CPUtime=1361.51 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 926887 0 0 0 135876 275 0 0 20 0 1 0 321401758 3748323328 914458 33554432000 134512640 135395479 4293351632 4293349504 134574480 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 915118 914458 123 216 0 914900 0 Current children cumulated CPU time (s) 1361.51 Current children cumulated vsize (KiB) 3660472 [startup+1422.3 s] /proc/loadavg: 2.00 1.99 1.62 3/177 8571 /proc/meminfo: memFree=24524996/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=3822300 CPUtime=1421.49 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 967350 0 0 0 141862 287 0 0 20 0 1 0 321401758 3914035200 954903 33554432000 134512640 135395479 4293351632 4293349984 134580959 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 955575 954903 123 216 0 955357 0 Current children cumulated CPU time (s) 1421.49 Current children cumulated vsize (KiB) 3822300 [startup+1482.3 s] /proc/loadavg: 2.00 1.99 1.64 3/177 8571 /proc/meminfo: memFree=24374000/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=3974728 CPUtime=1481.45 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 1005447 0 0 0 147847 298 0 0 20 0 1 0 321401758 4070121472 992972 33554432000 134512640 135395479 4293351632 4293349984 134580941 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 993682 992972 123 216 0 993464 0 Current children cumulated CPU time (s) 1481.45 Current children cumulated vsize (KiB) 3974728 [startup+1542.31 s] /proc/loadavg: 2.00 1.99 1.66 3/177 8572 /proc/meminfo: memFree=24238752/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4108872 CPUtime=1541.44 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4202496 1038849 0 0 0 153836 308 0 0 20 0 1 0 321401758 4207484928 1026354 33554432000 134512640 135395479 4293351632 4293349984 134580941 0 0 4096 16386 0 0 0 17 3 0 0 0 0 0 /proc/8558/statm: 1027218 1026354 123 216 0 1027000 0 Current children cumulated CPU time (s) 1541.44 Current children cumulated vsize (KiB) 4108872 [startup+1602.3 s] /proc/loadavg: 3.07 2.24 1.76 2/178 8573 /proc/meminfo: memFree=16706976/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1579.86 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 567 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1579.86 Current children cumulated vsize (KiB) 4188744 [startup+1662.3 s] /proc/loadavg: 4.70 2.83 1.99 1/179 8577 /proc/meminfo: memFree=15877564/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 Solver just ended. Dumping a history of the last processes samples [startup+1690.4 s] /proc/loadavg: 5.28 3.12 2.11 2/181 8673 /proc/meminfo: memFree=15833936/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1703.2 s] /proc/loadavg: 5.65 3.31 2.18 2/181 8673 /proc/meminfo: memFree=15831688/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1709.6 s] /proc/loadavg: 5.68 3.35 2.20 2/180 8673 /proc/meminfo: memFree=15831680/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1716 s] /proc/loadavg: 5.88 3.47 2.25 2/180 8673 /proc/meminfo: memFree=15830920/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1717.6 s] /proc/loadavg: 5.88 3.47 2.25 2/180 8673 /proc/meminfo: memFree=15831292/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1718.4 s] /proc/loadavg: 5.88 3.47 2.25 2/180 8673 /proc/meminfo: memFree=15830796/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1719.2 s] /proc/loadavg: 5.88 3.47 2.25 2/180 8673 /proc/meminfo: memFree=15832656/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1719.6 s] /proc/loadavg: 5.88 3.47 2.25 2/180 8673 /proc/meminfo: memFree=15832656/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=4188744 CPUtime=1580.46 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) S 8556 8558 8161 0 -1 4204032 1059069 0 0 0 157419 627 0 0 20 0 1 0 321401758 4289273856 1046555 33554432000 134512640 135395479 4293351632 4293349328 135087641 0 0 4096 16386 18446744071580380219 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 1047186 1046555 127 216 0 1046968 0 Current children cumulated CPU time (s) 1580.46 Current children cumulated vsize (KiB) 4188744 [startup+1719.7 s] /proc/loadavg: 5.88 3.47 2.25 2/180 8673 /proc/meminfo: memFree=15832656/32873648 swapFree=6864/6864 [pid=8558] ppid=8556 vsize=0 CPUtime=1580.53 cores=1,3,5,7 /proc/8558/stat : 8558 (minisat+) R 8556 8558 8161 0 -1 4204036 1059069 0 0 0 157419 634 0 0 20 0 1 0 321401758 0 0 33554432000 0 0 0 0 0 0 0 4096 16386 18446744073709551615 0 0 17 5 0 0 0 0 0 /proc/8558/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1580.53 Current children cumulated vsize (KiB) 0 Child ended because it received signal 6 (SIGABRT) Child dumped core Real time (s): 1719.72 CPU time (s): 1580.56 CPU user time (s): 1574.2 CPU system time (s): 6.36803 CPU usage (%): 91.9081 Max. virtual memory (cumulated for all children) (KiB): 4188744 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1574.2 system time used= 6.36803 maximum resident set size= 4186220 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1059069 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= 1031599 involuntary context switches= 1597 runsolver used 3.84142 second user time and 10.6344 second system time The end
Begin job on node120 at 2012-06-01 14:12:38 IDJOB=3721165 IDBENCH=1968 IDSOLVER=2306 FILE ID=node120/3721165-1338552757 RUNJOBID= node120-1338552574-8178 PBS_JOBID= 14635864 Free space on /tmp= 70772 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_4.opb.PB06.opb COMMAND LINE= HOME/minisat+ BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3721165-1338552757/watcher-3721165-1338552757 -o /tmp/evaluation-result-3721165-1338552757/solver-3721165-1338552757 -C 1800 -W 1900 -M 15500 HOME/minisat+ HOME/instance-3721165-1338552757.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= ca3282cf347faf21ba3550ec87dd7af4 RANDOM SEED=842707596 node120.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5332.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 initial apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.92 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 initial apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.88 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 initial apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.456 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 initial apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid bogomips : 5331.91 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 32873648 kB MemFree: 28589928 kB Buffers: 503044 kB Cached: 2658080 kB SwapCached: 1628 kB Active: 1777060 kB Inactive: 1585860 kB Active(anon): 194228 kB Inactive(anon): 9236 kB Active(file): 1582832 kB Inactive(file): 1576624 kB Unevictable: 6864 kB Mlocked: 6864 kB SwapTotal: 67108856 kB SwapFree: 67103460 kB Dirty: 18848 kB Writeback: 0 kB AnonPages: 210504 kB Mapped: 11312 kB Shmem: 32 kB Slab: 781168 kB SReclaimable: 225376 kB SUnreclaim: 555792 kB KernelStack: 1464 kB PageTables: 4168 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 83545680 kB Committed_AS: 318432 kB VmallocTotal: 34359738367 kB VmallocUsed: 346400 kB VmallocChunk: 34341988052 kB HardwareCorrupted: 0 kB AnonHugePages: 172032 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 7680 kB DirectMap2M: 33538048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-3721165-1338552757.opb Free space on /tmp at the end= 66680 MiB End job on node120 at 2012-06-01 14:41:18