Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.93 | 1801.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-g250.29.opb |
MD5SUM | b0a7c1cc13cb603591c6d50e3dba1a47 |
Bench Category | OPT-SMALLINT (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 | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 14500 |
Total number of constraints | 461872 |
Number of constraints which are clauses | 461872 |
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 | 29 |
Number of terms in the objective function | 14500 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 14500 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 14500 |
Number of bits of the biggest sum of numbers | 14 |
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... 11.45 c Converting 461872 PB-constraints to clauses... 11.50 c -- Unit propagations: (none) 11.52 c -- Detecting intervals from adjacent constraints: (none) 11.54 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 12.65 c ==================================[MINISAT+]================================== 12.65 c | Conflicts | Original | Learnt | Progress | 12.65 c | | Clauses Literals | Max Clauses Literals LPC | | 12.65 c ============================================================================== 12.65 c | 0 | 461872 930494 | 153957 0 0 nan | 0.000 % | 12.66 c | 100 | 461872 930494 | 169352 100 9776 97.8 | 0.000 % | 12.70 c | 253 | 461872 930494 | 186287 253 37282 147.4 | 0.000 % | 12.78 c | 478 | 461872 930494 | 204916 478 117761 246.4 | 0.000 % | 12.96 c | 819 | 461872 930494 | 225408 819 306261 373.9 | 0.000 % | 13.26 c | 1327 | 461872 930494 | 247949 1327 660276 497.6 | 0.000 % | 13.66 c | 2086 | 461872 930494 | 272744 2086 1077877 516.7 | 0.000 % | 14.45 c | 3231 | 461872 930494 | 300018 3231 1993574 617.0 | 0.000 % | 15.60 c | 4939 | 461872 930494 | 330020 4939 3016806 610.8 | 0.000 % | 18.07 c | 7504 | 461872 930494 | 363022 7504 5218471 695.4 | 0.000 % | 22.34 c | 11348 | 461872 930494 | 399324 11348 8680258 764.9 | 0.000 % | 31.10 c | 17114 | 461872 930494 | 439257 17114 16687175 975.1 | 0.000 % | 41.09 c | 25763 | 461872 930494 | 483183 25763 22664780 879.7 | 0.000 % | 64.52 c | 38737 | 461872 930494 | 531501 38737 33750907 871.3 | 0.000 % | 121.62 c | 58199 | 461872 930494 | 584651 58199 60635918 1041.9 | 0.000 % | 229.82 c | 87395 | 461872 930494 | 643116 87395 108179773 1237.8 | 0.000 % | 458.79 c | 131185 | 461872 930494 | 707428 131185 175309963 1336.4 | 0.000 % | 815.81 c | 196875 | 461872 930494 | 778171 196875 248915743 1264.3 | 0.000 % | 1516.74 c | 295401 | 461872 930494 | 855988 295401 341856491 1157.3 | 0.000 % | 1801.20 c 1801.20 c *** TERMINATED *** 1801.20 s UNKNOWN
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 Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node0/watcher-35426-1149409244 -o ROOT/results/node0/solver-35426-1149409244 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node0/35426-1149409244/instance-35426-1149409244.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 3/64 5935 /proc/meminfo: memFree=1319536/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1180 CPUtime=0 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 1 0 206585934 1208320 123 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/5935/statm: 295 127 67 215 0 77 0 [startup+10.0027 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1227000/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=94068 CPUtime=9.99 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 23251 0 0 0 989 10 0 0 25 0 1 0 206585934 96325632 23236 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/5935/statm: 23517 23236 74 215 0 23299 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 94068 [startup+20.0099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1192704/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=127636 CPUtime=19.97 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 31810 0 0 0 1933 64 0 0 25 0 1 0 206585934 130699264 31710 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 31909 31710 103 215 0 31691 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 127636 [startup+30.0168 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1186560/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=134104 CPUtime=29.97 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 33419 0 0 0 2932 65 0 0 25 0 1 0 206585934 137322496 33319 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134584073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 33526 33319 103 215 0 33308 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 134104 [startup+40.0229 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1161536/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=159036 CPUtime=39.97 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 39644 0 0 0 3929 68 0 0 25 0 1 0 206585934 162852864 39544 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 39759 39544 103 215 0 39541 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 159036 [startup+50.03 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1138688/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=181848 CPUtime=49.97 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 45342 0 0 0 4927 70 0 0 25 0 1 0 206585934 186212352 45242 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 45462 45242 103 215 0 45244 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 181848 [startup+60.0362 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1121472/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=199020 CPUtime=59.98 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 49650 0 0 0 5925 73 0 0 25 0 1 0 206585934 203796480 49550 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 49755 49550 103 215 0 49537 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 199020 [startup+70.0423 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1103872/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=216572 CPUtime=69.98 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 54031 0 0 0 6922 76 0 0 25 0 1 0 206585934 221769728 53931 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 54143 53931 103 215 0 53925 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 216572 [startup+80.0484 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1079552/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=240852 CPUtime=79.98 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 60094 0 0 0 7919 79 0 0 25 0 1 0 206585934 246632448 59994 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 60213 59994 103 215 0 59995 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 240852 [startup+90.0545 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1058112/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=262296 CPUtime=89.99 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 65456 0 0 0 8916 83 0 0 25 0 1 0 206585934 268591104 65356 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580792 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 65574 65356 103 215 0 65356 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 262296 [startup+100.061 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1041088/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=279164 CPUtime=99.99 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 69689 0 0 0 9913 86 0 0 25 0 1 0 206585934 285863936 69589 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581436 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 69791 69589 103 215 0 69573 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 279164 [startup+110.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1024768/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=295468 CPUtime=110 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 73766 0 0 0 10912 88 0 0 25 0 1 0 206585934 302559232 73666 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 73867 73666 103 215 0 73649 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 295468 [startup+120.074 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=1010112/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=310196 CPUtime=120 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 77426 0 0 0 11910 90 0 0 25 0 1 0 206585934 317640704 77326 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 77549 77326 103 215 0 77331 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 310196 [startup+130.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=991360/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=328960 CPUtime=130.01 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 82108 0 0 0 12908 93 0 0 25 0 1 0 206585934 336855040 82008 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134575383 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 82240 82008 103 215 0 82022 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 328960 [startup+140.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=970880/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=349412 CPUtime=140.01 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 87230 0 0 0 13906 95 0 0 25 0 1 0 206585934 357797888 87130 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 87353 87130 103 215 0 87135 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 349412 [startup+150.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=951296/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=368904 CPUtime=150.02 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 92104 0 0 0 14904 98 0 0 25 0 1 0 206585934 377757696 92004 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 92226 92004 103 215 0 92008 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 368904 [startup+160.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=931072/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=389104 CPUtime=160.02 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 97151 0 0 0 15902 100 0 0 25 0 1 0 206585934 398442496 97051 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 97276 97051 103 215 0 97058 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 389104 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=911936/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=408244 CPUtime=170.02 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 101934 0 0 0 16900 102 0 0 25 0 1 0 206585934 418041856 101834 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134574472 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 102061 101834 103 215 0 101843 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 408244 [startup+180.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=893184/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=426940 CPUtime=180.02 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 106604 0 0 0 17897 105 0 0 25 0 1 0 206585934 437186560 106504 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 106735 106504 103 215 0 106517 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 426940 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=873536/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=446488 CPUtime=190.03 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 111511 0 0 0 18896 107 0 0 25 0 1 0 206585934 457203712 111411 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 111622 111411 103 215 0 111404 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 446488 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=855808/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=464252 CPUtime=200.02 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 115933 0 0 0 19893 109 0 0 25 0 1 0 206585934 475394048 115833 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 116063 115833 103 215 0 115845 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 464252 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.99 2/64 5935 /proc/meminfo: memFree=843264/2055920 swapFree=4191892/4192956 ################ # More data... # ################ [pid=5935] ppid=5933 vsize=1583796 CPUtime=1781.58 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 395524 0 0 0 177862 296 0 0 25 0 1 0 206585934 1621807104 395424 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 395949 395424 103 215 0 395731 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 1583796 [startup+1783.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=14976/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1584736 CPUtime=1782.59 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 395752 0 0 0 177962 297 0 0 25 0 1 0 206585934 1622769664 395652 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 396184 395652 103 215 0 395966 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 1584736 [startup+1784.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15616/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1585536 CPUtime=1783.59 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 395967 0 0 0 178062 297 0 0 25 0 1 0 206585934 1623588864 395867 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 396384 395867 103 215 0 396166 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 1585536 [startup+1785.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=14848/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1586324 CPUtime=1784.6 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 396156 0 0 0 178163 297 0 0 25 0 1 0 206585934 1624395776 396056 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 396581 396056 103 215 0 396363 0 Current children cumulated CPU time (s) 1784.6 Current children cumulated vsize (Kb) 1586324 [startup+1786.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15616/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1587128 CPUtime=1785.6 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 396358 0 0 0 178263 297 0 0 25 0 1 0 206585934 1625219072 396258 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 396782 396258 103 215 0 396564 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 1587128 [startup+1787.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=16064/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1588196 CPUtime=1786.6 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 396624 0 0 0 178363 297 0 0 25 0 1 0 206585934 1626312704 396524 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 397049 396524 103 215 0 396831 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 1588196 [startup+1788.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15104/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1589140 CPUtime=1787.61 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 396863 0 0 0 178464 297 0 0 25 0 1 0 206585934 1627279360 396763 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 397285 396763 103 215 0 397067 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 1589140 [startup+1789.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15808/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1589948 CPUtime=1788.61 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 397068 0 0 0 178564 297 0 0 25 0 1 0 206585934 1628106752 396968 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134575357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 397487 396968 103 215 0 397269 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 1589948 [startup+1790.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=14912/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1590940 CPUtime=1789.62 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 397295 0 0 0 178665 297 0 0 25 0 1 0 206585934 1629122560 397195 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 397735 397195 103 215 0 397517 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 1590940 [startup+1791.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15296/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1592020 CPUtime=1790.62 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 397586 0 0 0 178765 297 0 0 25 0 1 0 206585934 1630228480 397486 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 398005 397486 103 215 0 397787 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 1592020 [startup+1792.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=16064/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1592828 CPUtime=1791.62 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 397782 0 0 0 178865 297 0 0 25 0 1 0 206585934 1631055872 397682 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 398207 397682 103 215 0 397989 0 Current children cumulated CPU time (s) 1791.62 Current children cumulated vsize (Kb) 1592828 [startup+1793.16 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15360/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1593532 CPUtime=1792.64 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 397956 0 0 0 178966 298 0 0 25 0 1 0 206585934 1631776768 397856 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 398383 397856 103 215 0 398165 0 Current children cumulated CPU time (s) 1792.64 Current children cumulated vsize (Kb) 1593532 [startup+1794.16 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=16128/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1594208 CPUtime=1793.64 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 398140 0 0 0 179066 298 0 0 25 0 1 0 206585934 1632468992 398040 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 398552 398040 103 215 0 398334 0 Current children cumulated CPU time (s) 1793.64 Current children cumulated vsize (Kb) 1594208 [startup+1795.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15296/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1595060 CPUtime=1794.65 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 398342 0 0 0 179167 298 0 0 25 0 1 0 206585934 1633341440 398242 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 398765 398242 103 215 0 398547 0 Current children cumulated CPU time (s) 1794.65 Current children cumulated vsize (Kb) 1595060 [startup+1796.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=16128/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1595860 CPUtime=1795.65 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 398523 0 0 0 179267 298 0 0 25 0 1 0 206585934 1634160640 398423 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 398965 398423 103 215 0 398747 0 Current children cumulated CPU time (s) 1795.65 Current children cumulated vsize (Kb) 1595860 [startup+1797.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15488/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1596532 CPUtime=1796.65 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 398692 0 0 0 179367 298 0 0 25 0 1 0 206585934 1634848768 398592 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 399133 398592 103 215 0 398915 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 1596532 [startup+1798.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=14912/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1597076 CPUtime=1797.65 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 398825 0 0 0 179467 298 0 0 25 0 1 0 206585934 1635405824 398725 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580765 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 399269 398725 103 215 0 399051 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 1597076 [startup+1799.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15808/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1597620 CPUtime=1798.65 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 398988 0 0 0 179567 298 0 0 25 0 1 0 206585934 1635962880 398888 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 399405 398888 103 215 0 399187 0 Current children cumulated CPU time (s) 1798.65 Current children cumulated vsize (Kb) 1597620 [startup+1800.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15232/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1598340 CPUtime=1799.67 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 399138 0 0 0 179668 299 0 0 25 0 1 0 206585934 1636700160 399038 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 399585 399038 103 215 0 399367 0 Current children cumulated CPU time (s) 1799.67 Current children cumulated vsize (Kb) 1598340 [startup+1801.2 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15936/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1599144 CPUtime=1800.67 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 399340 0 0 0 179768 299 0 0 25 0 1 0 206585934 1637523456 399240 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 399786 399240 103 215 0 399568 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 1599144 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 1.00 1.00 0.99 2/64 5937 /proc/meminfo: memFree=15936/2055920 swapFree=4191892/4192956 [pid=5935] ppid=5933 vsize=1599144 CPUtime=1800.67 /proc/5935/stat : 5935 (minisat+) R 5933 5935 5889 0 -1 4194304 399340 0 0 0 179768 299 0 0 25 0 1 0 206585934 1637523456 399240 18446744073709551615 134512640 135395479 4294956688 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5935/statm: 399786 399240 103 215 0 399568 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 1599144 Sending SIGTERM to -5935 Sleeping 2 seconds Child status: 0 Real time (s): 1801.46 CPU time (s): 1800.93 CPU user time (s): 1797.69 CPU system time (s): 3.24151 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (Kb): 1599144
Begin job on node0 on Sun Jun 4 08:20:44 UTC 2006 FILE ID= 35426-1149409244 PBS_JOBID= 314587 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-g250.29.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node0/35426-1149409244/instance-35426-1149409244.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node0/watcher-35426-1149409244 -o ROOT/results/node0/solver-35426-1149409244 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node0/35426-1149409244/instance-35426-1149409244.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= b0a7c1cc13cb603591c6d50e3dba1a47 RANDOM SEED= 44974315 /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.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1319744 kB Buffers: 34228 kB Cached: 631068 kB SwapCached: 492 kB Active: 267292 kB Inactive: 414692 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1319744 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 208 kB Writeback: 0 kB Mapped: 25740 kB Slab: 40172 kB Committed_AS: 360712 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node0 on Sun Jun 4 08:50:46 UTC 2006