Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | Signal | 1134.35 | 1134.69 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-91-90.opb |
MD5SUM | db1439cbd478b31566aabb43ac29c55c |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 8190 |
Total number of constraints | 368641 |
Number of constraints which are clauses | 368641 |
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 | 90 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 91 |
Number of bits of the biggest sum of numbers | 7 |
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 c Parsing PB file... 9.51 c Converting 368641 PB-constraints to clauses... 9.55 c -- Unit propagations: (none) 9.55 c -- Detecting intervals from adjacent constraints: (none) 9.68 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 10.41 c ==================================[MINISAT+]================================== 10.41 c | Conflicts | Original | Learnt | Progress | 10.41 c | | Clauses Literals | Max Clauses Literals LPC | | 10.41 c ============================================================================== 10.41 c | 0 | 368641 745290 | 122880 0 0 nan | 0.000 % | 10.43 c | 100 | 368641 745290 | 135168 100 32236 322.4 | 0.000 % | 10.46 c | 251 | 368641 745290 | 148684 251 70412 280.5 | 0.000 % | 10.55 c | 481 | 368641 745290 | 163553 481 294279 611.8 | 0.000 % | 10.71 c | 820 | 368641 745290 | 179908 820 661006 806.1 | 0.000 % | 10.83 c | 1330 | 368641 745290 | 197899 1330 880835 662.3 | 0.000 % | 11.01 c | 2091 | 368641 745290 | 217689 2091 1190520 569.4 | 0.000 % | 11.32 c | 3234 | 368641 745290 | 239458 3234 1692357 523.3 | 0.000 % | 12.04 c | 4942 | 368641 745290 | 263404 4942 3061641 619.5 | 0.000 % | 13.09 c | 7506 | 368641 745290 | 289744 7506 4253541 566.7 | 0.000 % | 15.64 c | 11351 | 368641 745290 | 318719 11351 7767570 684.3 | 0.000 % | 19.86 c | 17117 | 368641 745290 | 350590 17117 12914824 754.5 | 0.000 % | 26.31 c | 25766 | 368641 745290 | 385650 25766 20403871 791.9 | 0.000 % | 55.38 c | 38740 | 368641 745290 | 424215 38740 45636565 1178.0 | 0.000 % | 98.77 c | 58203 | 368641 745290 | 466636 58203 75921046 1304.4 | 0.000 % | 153.31 c | 87396 | 368641 745290 | 513300 87396 110459518 1263.9 | 0.000 % | 257.76 c | 131185 | 368641 745290 | 564630 131185 150189226 1144.9 | 0.000 % | 479.65 c | 196871 | 368641 745290 | 621093 196871 244357002 1241.2 | 0.000 % | 970.32 c | 295400 | 368641 745290 | 683202 295400 386766935 1309.3 | 0.000 % | 1134.41 minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = char]: Assertion `size == 0 || tmp != __null' failed.
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node77/watcher-46097-1149795590 -o ROOT/results/node77/solver-46097-1149795590 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/46097-1149795590/instance-46097-1149795590.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.94 3/67 15115 /proc/meminfo: memFree=1575328/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=1048 CPUtime=0 /proc/15115/stat : 15115 (minisat+) D 15113 15115 15069 0 -1 4194304 84 0 0 0 0 0 0 0 19 0 1 0 245198176 1073152 70 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031051 0 2147483391 4096 16386 18446744072099917094 0 0 17 1 0 0 /proc/15115/statm: 262 71 58 215 0 44 0 [startup+10.0021 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15115 /proc/meminfo: memFree=1484128/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=92636 CPUtime=9.99 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 22909 0 0 0 974 25 0 0 18 0 1 0 245198176 94859264 22847 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 23159 22847 86 215 0 22941 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 92636 [startup+20.0083 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15115 /proc/meminfo: memFree=1468128/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=108840 CPUtime=19.97 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 26929 0 0 0 1954 43 0 0 25 0 1 0 245198176 111452160 26867 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 27210 26867 103 215 0 26992 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 108840 [startup+30.0146 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15115 /proc/meminfo: memFree=1420064/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=156796 CPUtime=29.98 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 38912 0 0 0 2950 48 0 0 25 0 1 0 245198176 160559104 38850 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 39199 38850 103 215 0 38981 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 156796 [startup+40.0208 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15115 /proc/meminfo: memFree=1385696/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=191176 CPUtime=39.98 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 47500 0 0 0 3946 52 0 0 25 0 1 0 245198176 195764224 47438 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 47794 47438 103 215 0 47576 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 191176 [startup+50.027 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15115 /proc/meminfo: memFree=1353888/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=222916 CPUtime=49.99 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 55441 0 0 0 4943 56 0 0 25 0 1 0 245198176 228265984 55379 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 55729 55379 103 215 0 55511 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 222916 [startup+60.0323 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15115 /proc/meminfo: memFree=1319520/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=257304 CPUtime=59.98 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 64031 0 0 0 5938 60 0 0 25 0 1 0 245198176 263479296 63969 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 64326 63969 103 215 0 64108 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 257304 [startup+70.0385 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1288288/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=288456 CPUtime=69.99 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 71814 0 0 0 6935 64 0 0 25 0 1 0 245198176 295378944 71752 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 72114 71752 103 215 0 71896 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 288456 [startup+80.0447 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1264608/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=312056 CPUtime=79.99 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 77717 0 0 0 7933 66 0 0 25 0 1 0 245198176 319545344 77655 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 78014 77655 103 215 0 77796 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 312056 [startup+90.051 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1239136/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=337580 CPUtime=90 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 84089 0 0 0 8929 71 0 0 25 0 1 0 245198176 345681920 84027 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 84395 84027 103 215 0 84177 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 337580 [startup+100.057 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1213024/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=363564 CPUtime=100 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 90604 0 0 0 9926 74 0 0 25 0 1 0 245198176 372289536 90542 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 90891 90542 103 215 0 90673 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 363564 [startup+110.063 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1178720/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=397952 CPUtime=110 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 99169 0 0 0 10922 78 0 0 25 0 1 0 245198176 407502848 99107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 99488 99107 103 215 0 99270 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 397952 [startup+120.07 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1151968/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=424564 CPUtime=120.01 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 105834 0 0 0 11919 82 0 0 25 0 1 0 245198176 434753536 105772 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 106141 105772 103 215 0 105923 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 424564 [startup+130.076 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1126624/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=449936 CPUtime=130.01 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 112160 0 0 0 12914 87 0 0 25 0 1 0 245198176 460734464 112098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 112484 112098 103 215 0 112266 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 449936 [startup+140.082 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1105184/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=471296 CPUtime=140.02 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 117510 0 0 0 13912 90 0 0 25 0 1 0 245198176 482607104 117448 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 117824 117448 103 215 0 117606 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 471296 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1085856/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=490584 CPUtime=150.01 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 122338 0 0 0 14908 93 0 0 25 0 1 0 245198176 502358016 122276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 122646 122276 103 215 0 122428 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 490584 [startup+160.095 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1057696/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=518928 CPUtime=160.02 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 129365 0 0 0 15904 98 0 0 25 0 1 0 245198176 531382272 129303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 129732 129303 103 215 0 129514 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 518928 [startup+170.101 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1038240/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=538292 CPUtime=170.02 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 134223 0 0 0 16901 101 0 0 25 0 1 0 245198176 551211008 134161 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 134573 134161 103 215 0 134355 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 538292 [startup+180.107 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1022560/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=553912 CPUtime=180.02 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 138127 0 0 0 17899 103 0 0 25 0 1 0 245198176 567205888 138065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584041 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 138478 138065 103 215 0 138260 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 553912 [startup+190.113 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=1006176/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=570316 CPUtime=190.04 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 142221 0 0 0 18897 107 0 0 25 0 1 0 245198176 584003584 142159 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 142579 142159 103 215 0 142361 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 570316 [startup+200.12 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=990880/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=585572 CPUtime=200.04 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 146038 0 0 0 19895 109 0 0 25 0 1 0 245198176 599625728 145976 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 146393 145976 103 215 0 146175 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 585572 [startup+210.126 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 ################ # More data... # ################ Current children cumulated CPU time (s) 920.28 Current children cumulated vsize (Kb) 1548008 [startup+930.569 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=16992/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=1558672 CPUtime=930.29 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 389028 0 0 0 92777 252 0 0 25 0 1 0 245198176 1596080128 388966 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 389668 388966 103 215 0 389450 0 Current children cumulated CPU time (s) 930.29 Current children cumulated vsize (Kb) 1558672 [startup+940.574 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15328/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=1569444 CPUtime=940.28 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 391709 0 0 0 93775 253 0 0 25 0 1 0 245198176 1607110656 391647 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 392361 391647 103 215 0 392143 0 Current children cumulated CPU time (s) 940.28 Current children cumulated vsize (Kb) 1569444 [startup+950.58 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15264/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=1580300 CPUtime=950.29 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 394402 0 0 0 94774 255 0 0 25 0 1 0 245198176 1618227200 394340 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 395075 394340 103 215 0 394857 0 Current children cumulated CPU time (s) 950.29 Current children cumulated vsize (Kb) 1580300 [startup+960.587 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15072/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=1591208 CPUtime=960.29 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 397121 0 0 0 95772 257 0 0 25 0 1 0 245198176 1629396992 397059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 397802 397059 103 215 0 397584 0 Current children cumulated CPU time (s) 960.29 Current children cumulated vsize (Kb) 1591208 [startup+970.593 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15648/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=1602792 CPUtime=970.3 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 400019 0 0 0 96771 259 0 0 25 0 1 0 245198176 1641259008 399957 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 400698 399957 103 215 0 400480 0 Current children cumulated CPU time (s) 970.3 Current children cumulated vsize (Kb) 1602792 [startup+980.599 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15200/2055892 swapFree=4085328/4096564 [pid=15115] ppid=15113 vsize=1617236 CPUtime=980.3 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 403617 0 0 0 97768 262 0 0 25 0 1 0 245198176 1656049664 403555 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 404309 403555 103 215 0 404091 0 Current children cumulated CPU time (s) 980.3 Current children cumulated vsize (Kb) 1617236 [startup+990.605 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15136/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1631472 CPUtime=990.3 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 407179 0 0 0 98766 264 0 0 25 0 1 0 245198176 1670627328 407117 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 407868 407117 103 215 0 407650 0 Current children cumulated CPU time (s) 990.3 Current children cumulated vsize (Kb) 1631472 [startup+1000.61 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15456/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1646448 CPUtime=1000.31 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 410930 0 0 0 99764 267 0 0 25 0 1 0 245198176 1685962752 410868 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 411612 410868 103 215 0 411394 0 Current children cumulated CPU time (s) 1000.31 Current children cumulated vsize (Kb) 1646448 [startup+1010.62 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=16288/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1661124 CPUtime=1010.31 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 414585 0 0 0 100762 269 0 0 25 0 1 0 245198176 1700990976 414523 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 415281 414523 103 215 0 415063 0 Current children cumulated CPU time (s) 1010.31 Current children cumulated vsize (Kb) 1661124 [startup+1020.62 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15200/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1676056 CPUtime=1020.32 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 418338 0 0 0 101759 273 0 0 25 0 1 0 245198176 1716281344 418276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 419014 418276 103 215 0 418796 0 Current children cumulated CPU time (s) 1020.32 Current children cumulated vsize (Kb) 1676056 [startup+1030.63 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15520/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1693536 CPUtime=1030.32 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 422535 0 0 0 102757 275 0 0 25 0 1 0 245198176 1734180864 422473 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 423384 422473 103 215 0 423166 0 Current children cumulated CPU time (s) 1030.32 Current children cumulated vsize (Kb) 1693536 [startup+1040.64 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=16352/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1706660 CPUtime=1040.33 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 425825 0 0 0 103756 277 0 0 25 0 1 0 245198176 1747619840 425763 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 426665 425763 103 215 0 426447 0 Current children cumulated CPU time (s) 1040.33 Current children cumulated vsize (Kb) 1706660 [startup+1050.64 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=15584/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1718304 CPUtime=1050.32 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 428736 0 0 0 104754 278 0 0 25 0 1 0 245198176 1759543296 428674 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 429576 428674 103 215 0 429358 0 Current children cumulated CPU time (s) 1050.32 Current children cumulated vsize (Kb) 1718304 [startup+1060.65 s] /proc/loadavg: 1.00 1.00 0.94 2/67 15117 /proc/meminfo: memFree=16288/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1733404 CPUtime=1060.33 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 432505 0 0 0 105752 281 0 0 25 0 1 0 245198176 1775005696 432443 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 433351 432443 103 215 0 433133 0 Current children cumulated CPU time (s) 1060.33 Current children cumulated vsize (Kb) 1733404 [startup+1070.66 s] /proc/loadavg: 1.00 1.00 0.94 3/67 15117 /proc/meminfo: memFree=14880/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1747356 CPUtime=1070.33 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 435997 0 0 0 106750 283 0 0 25 0 1 0 245198176 1789292544 435935 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 436839 435935 103 215 0 436621 0 Current children cumulated CPU time (s) 1070.33 Current children cumulated vsize (Kb) 1747356 [startup+1080.66 s] /proc/loadavg: 1.07 1.02 0.95 2/67 15117 /proc/meminfo: memFree=15840/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1762140 CPUtime=1080.34 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 439684 0 0 0 107749 285 0 0 25 0 1 0 245198176 1804431360 439622 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 440535 439622 103 215 0 440317 0 Current children cumulated CPU time (s) 1080.34 Current children cumulated vsize (Kb) 1762140 [startup+1090.67 s] /proc/loadavg: 1.06 1.02 0.95 2/67 15117 /proc/meminfo: memFree=19424/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1777216 CPUtime=1090.34 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 443441 0 0 0 108747 287 0 0 25 0 1 0 245198176 1819869184 443379 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 444304 443379 103 215 0 444086 0 Current children cumulated CPU time (s) 1090.34 Current children cumulated vsize (Kb) 1777216 [startup+1100.67 s] /proc/loadavg: 1.05 1.01 0.95 2/67 15117 /proc/meminfo: memFree=15328/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1792364 CPUtime=1100.34 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 447230 0 0 0 109745 289 0 0 25 0 1 0 245198176 1835380736 447168 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 448091 447168 103 215 0 447873 0 Current children cumulated CPU time (s) 1100.34 Current children cumulated vsize (Kb) 1792364 [startup+1110.68 s] /proc/loadavg: 1.04 1.01 0.95 2/67 15117 /proc/meminfo: memFree=15136/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1807828 CPUtime=1110.34 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 451110 0 0 0 110743 291 0 0 25 0 1 0 245198176 1851215872 451048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 451957 451048 103 215 0 451739 0 Current children cumulated CPU time (s) 1110.34 Current children cumulated vsize (Kb) 1807828 [startup+1120.69 s] /proc/loadavg: 1.04 1.01 0.95 2/67 15117 /proc/meminfo: memFree=15456/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1822992 CPUtime=1120.35 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 454907 0 0 0 111741 294 0 0 25 0 1 0 245198176 1866743808 454845 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 455748 454845 103 215 0 455530 0 Current children cumulated CPU time (s) 1120.35 Current children cumulated vsize (Kb) 1822992 [startup+1130.69 s] /proc/loadavg: 1.03 1.01 0.95 2/67 15117 /proc/meminfo: memFree=14880/2055892 swapFree=4085316/4096564 [pid=15115] ppid=15113 vsize=1837484 CPUtime=1130.35 /proc/15115/stat : 15115 (minisat+) R 15113 15115 15069 0 -1 4194304 458532 0 0 0 112739 296 0 0 25 0 1 0 245198176 1881583616 458470 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/15115/statm: 459371 458470 103 215 0 459153 0 Current children cumulated CPU time (s) 1130.35 Current children cumulated vsize (Kb) 1837484 Child ended because it received signal 6 (SIGABRT) Real time (s): 1134.69 CPU time (s): 1134.35 CPU user time (s): 1131.1 CPU system time (s): 3.24951 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (Kb): 1837484 The end
Begin job on node77 on Thu Jun 8 19:39:50 UTC 2006 FILE ID= 46097-1149795590 PBS_JOBID= 378753 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-91-90.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/46097-1149795590/instance-46097-1149795590.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node77/watcher-46097-1149795590 -o ROOT/results/node77/solver-46097-1149795590 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node77/46097-1149795590/instance-46097-1149795590.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= db1439cbd478b31566aabb43ac29c55c RANDOM SEED= 312422344 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 6006.16 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.238 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1575536 kB Buffers: 36640 kB Cached: 373768 kB SwapCached: 2488 kB Active: 111848 kB Inactive: 307328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1575536 kB SwapTotal: 4096564 kB SwapFree: 4085328 kB Dirty: 220 kB Writeback: 0 kB Mapped: 16132 kB Slab: 47844 kB Committed_AS: 491616 kB PageTables: 1276 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node77 on Thu Jun 8 19:58:45 UTC 2006