Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (MO) | 1245.2 | 1245.59 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-85-80.opb |
MD5SUM | 0bff286f636188f318e01b1cd9504474 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6800 |
Total number of constraints | 285685 |
Number of constraints which are clauses | 285685 |
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 | 80 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 81 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 7.89/7.91 c Converting 285685 PB-constraints to clauses... 7.89/7.94 c -- Unit propagations: (none) 7.89/7.94 c -- Detecting intervals from adjacent constraints: (none) 7.98/8.04 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 8.58/8.69 c ==================================[MINISAT+]================================== 8.58/8.69 c | Conflicts | Original | Learnt | Progress | 8.58/8.69 c | | Clauses Literals | Max Clauses Literals LPC | | 8.58/8.69 c ============================================================================== 8.58/8.69 c | 0 | 285685 578000 | 95228 0 0 nan | 0.000 % | 8.68/8.72 c | 100 | 285685 578000 | 104750 100 38155 381.6 | 0.000 % | 8.68/8.74 c | 251 | 285685 578000 | 115225 251 79696 317.5 | 0.000 % | 8.78/8.84 c | 476 | 285685 578000 | 126748 476 320120 672.5 | 0.000 % | 8.88/8.98 c | 813 | 285685 578000 | 139423 813 600126 738.2 | 0.000 % | 9.08/9.11 c | 1320 | 285685 578000 | 153365 1320 816335 618.4 | 0.000 % | 9.28/9.30 c | 2079 | 285685 578000 | 168702 2079 1099636 528.9 | 0.000 % | 9.58/9.61 c | 3218 | 285685 578000 | 185572 3218 1596278 496.0 | 0.000 % | 10.18/10.28 c | 4926 | 285685 578000 | 204129 4926 2756705 559.6 | 0.000 % | 11.18/11.20 c | 7489 | 285685 578000 | 224542 7489 4141514 553.0 | 0.000 % | 12.68/12.79 c | 11337 | 285685 578000 | 246996 11337 5945633 524.4 | 0.000 % | 16.27/16.30 c | 17103 | 285685 578000 | 271696 17103 9086433 531.3 | 0.000 % | 21.37/21.47 c | 25752 | 285685 578000 | 298866 25752 13368240 519.1 | 0.000 % | 37.78/37.87 c | 38726 | 285685 578000 | 328752 38726 32122026 829.5 | 0.000 % | 95.26/95.33 c | 58189 | 285685 578000 | 361628 58189 64626517 1110.6 | 0.000 % | 156.24/156.35 c | 87381 | 285685 578000 | 397790 87381 107022302 1224.8 | 0.000 % | 292.90/293.08 c | 131173 | 285685 578000 | 437570 131173 166890504 1272.3 | 0.000 % | 609.39/609.63 c | 196857 | 285685 578000 | 481327 196857 300956480 1528.8 | 0.000 % | 1244.91/1245.30 c 1244.91/1245.30 c *** TERMINATED *** 1244.91/1245.30 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node73/watcher-349783-1176715171 -o ROOT/results/node73/solver-349783-1176715171 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349783-1176715171/minisat+ /tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.91 3/66 2814 /proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1048 CPUtime=0 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 1 0 370449 1073152 110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 262 110 74 215 0 44 0 [startup+0.087666 s] /proc/loadavg: 1.00 1.00 0.91 3/66 2814 /proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=2376 CPUtime=0.08 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 438 0 0 0 8 0 0 0 18 0 1 0 370449 2433024 423 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 594 423 74 215 0 376 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 2376 [startup+0.101667 s] /proc/loadavg: 1.00 1.00 0.91 3/66 2814 /proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=2508 CPUtime=0.09 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 468 0 0 0 9 0 0 0 18 0 1 0 370449 2568192 453 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 627 453 74 215 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2508 [startup+0.301684 s] /proc/loadavg: 1.00 1.00 0.91 3/66 2814 /proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=4312 CPUtime=0.29 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 889 0 0 0 29 0 0 0 19 0 1 0 370449 4415488 874 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 1078 874 74 215 0 860 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4312 [startup+0.70172 s] /proc/loadavg: 1.00 1.00 0.91 3/66 2814 /proc/meminfo: memFree=1925032/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=7584 CPUtime=0.69 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 1707 0 0 0 68 1 0 0 22 0 1 0 370449 7766016 1692 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 1896 1692 74 215 0 1678 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7584 [startup+1.50179 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1916128/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=14144 CPUtime=1.49 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 3345 0 0 0 147 2 0 0 25 0 1 0 370449 14483456 3330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 3536 3330 74 215 0 3318 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14144 [startup+3.10294 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1906976/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=27156 CPUtime=3.09 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 6581 0 0 0 304 5 0 0 25 0 1 0 370449 27807744 6566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 6789 6566 74 215 0 6571 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27156 [startup+6.30122 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1880096/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=53116 CPUtime=6.29 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 13039 0 0 0 620 9 0 0 25 0 1 0 370449 54390784 13024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 13279 13024 74 215 0 13061 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53116 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1846816/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=78932 CPUtime=12.68 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 19572 0 0 0 1228 40 0 0 25 0 1 0 370449 80826368 19517 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576808 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 19733 19517 103 215 0 19515 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 78932 [startup+25.5019 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1804512/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=122832 CPUtime=25.47 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 30563 0 0 0 2502 45 0 0 25 0 1 0 370449 125779968 30508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574211 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 30708 30508 103 215 0 30490 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 122832 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1710368/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=216940 CPUtime=51.07 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 54076 0 0 0 5051 56 0 0 25 0 1 0 370449 222146560 54021 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 54235 54021 103 215 0 54017 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 216940 [startup+102.306 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1597792/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=328084 CPUtime=102.25 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 81838 0 0 0 10153 72 0 0 25 0 1 0 370449 335958016 81783 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006600 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 82021 81783 103 215 0 81803 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 328084 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1438752/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=488796 CPUtime=162.23 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 122033 0 0 0 16128 95 0 0 25 0 1 0 370449 500527104 121978 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 122199 121978 103 215 0 121981 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 488796 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.91 2/67 2815 /proc/meminfo: memFree=1322848/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=602520 CPUtime=222.23 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 150408 0 0 0 22111 112 0 0 25 0 1 0 370449 616980480 150353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 150630 150353 103 215 0 150412 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 602520 [startup+282.301 s] /proc/loadavg: 1.06 1.01 0.91 2/66 3243 /proc/meminfo: memFree=1192352/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=697144 CPUtime=282.2 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 174060 0 0 0 28092 128 0 0 25 0 1 0 370449 713875456 174005 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 174286 174005 103 215 0 174068 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 697144 [startup+342.301 s] /proc/loadavg: 1.02 1.01 0.91 2/66 3243 /proc/meminfo: memFree=1066336/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=823012 CPUtime=342.18 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 205454 0 0 0 34073 145 0 0 25 0 1 0 370449 842764288 205399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 205753 205399 103 215 0 205535 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 823012 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=959520/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=930360 CPUtime=402.17 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 232288 0 0 0 40059 158 0 0 25 0 1 0 370449 952688640 232233 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 232590 232233 103 215 0 232372 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 930360 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=864224/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1024632 CPUtime=462.15 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 255825 0 0 0 46044 171 0 0 25 0 1 0 370449 1049223168 255770 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 256158 255770 103 215 0 255940 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 1024632 [startup+522.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=773344/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1116092 CPUtime=522.13 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 278685 0 0 0 52029 184 0 0 25 0 1 0 370449 1142878208 278630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 279023 278630 103 215 0 278805 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 1116092 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=684584/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1204084 CPUtime=582.1 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 300668 0 0 0 58014 196 0 0 25 0 1 0 370449 1232982016 300613 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 301021 300613 103 215 0 300803 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 1204084 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=598120/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1289608 CPUtime=642.09 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 322077 0 0 0 64000 209 0 0 25 0 1 0 370449 1320558592 322022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 322402 322022 103 215 0 322184 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 1289608 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=523432/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1365324 CPUtime=702.07 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 340903 0 0 0 69986 221 0 0 25 0 1 0 370449 1398091776 340848 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 341331 340848 103 215 0 341113 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 1365324 [startup+762.305 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=451752/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1436200 CPUtime=762.05 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 358616 0 0 0 75975 230 0 0 25 0 1 0 370449 1470668800 358561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 359050 358561 103 215 0 358832 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 1436200 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=393640/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1494992 CPUtime=822.03 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 373302 0 0 0 81964 239 0 0 25 0 1 0 370449 1530871808 373247 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 373748 373247 103 215 0 373530 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 1494992 [startup+882.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=347560/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1540340 CPUtime=882.01 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 384616 0 0 0 87956 245 0 0 25 0 1 0 370449 1577308160 384561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 385085 384561 103 215 0 384867 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 1540340 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=292776/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1595844 CPUtime=942 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 398487 0 0 0 93946 254 0 0 25 0 1 0 370449 1634144256 398432 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 398961 398432 103 215 0 398743 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1595844 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=243880/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1643956 CPUtime=1001.98 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 410532 0 0 0 99937 261 0 0 25 0 1 0 370449 1683410944 410477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 410989 410477 103 215 0 410771 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 1643956 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=189928/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1698428 CPUtime=1061.96 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 424124 0 0 0 105927 269 0 0 25 0 1 0 370449 1739190272 424069 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 424607 424069 103 215 0 424389 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 1698428 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=134824/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1753032 CPUtime=1121.94 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 437787 0 0 0 111917 277 0 0 25 0 1 0 370449 1795104768 437732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 438258 437732 103 215 0 438040 0 Current children cumulated CPU time (s) 1121.94 Current children cumulated vsize (KiB) 1753032 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=94120/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1794144 CPUtime=1181.92 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 448002 0 0 0 117909 283 0 0 25 0 1 0 370449 1837203456 447947 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 448536 447947 103 215 0 448318 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1794144 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=47720/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1840360 CPUtime=1241.91 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 459539 0 0 0 123900 291 0 0 25 0 1 0 370449 1884528640 459484 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 460090 459484 103 215 0 459872 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1840360 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1245.3 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=44456/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=1843200 CPUtime=1244.91 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194304 460235 0 0 0 124200 291 0 0 25 0 1 0 370449 1887436800 460180 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 460800 460180 103 215 0 460582 0 Current children cumulated CPU time (s) 1244.91 Current children cumulated vsize (KiB) 1843200 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1245.41 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=44456/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=0 CPUtime=1245.01 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194308 460237 0 0 0 124200 301 0 0 25 0 1 0 370449 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1245.01 Current children cumulated vsize (KiB) 0 [startup+1245.5 s] /proc/loadavg: 1.00 1.00 0.91 2/66 3243 /proc/meminfo: memFree=44456/2055920 swapFree=4192956/4192956 [pid=2814] ppid=2812 vsize=0 CPUtime=1245.1 /proc/2814/stat : 2814 (minisat+) R 2812 2814 2424 0 -1 4194308 460237 0 0 0 124200 310 0 0 25 0 1 0 370449 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/2814/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1245.1 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1245.59 CPU time (s): 1245.2 CPU user time (s): 1242.01 CPU system time (s): 3.19651 CPU usage (%): 99.9691 Max. virtual memory (cumulated for all children) (KiB): 1843200 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1242.01 system time used= 3.19651 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460237 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1232 involuntary context switches= 1739 runsolver used 1.47578 second user time and 3.70544 second system time The end
Begin job on node73 on Mon Apr 16 09:19:32 UTC 2007 IDJOB= 349783 IDBENCH= 2593 IDSOLVER= 156 FILE ID= node73/349783-1176715171 PBS_JOBID= 4559443 Free space on /tmp= 66553 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb COMMAND LINE= /tmp/evaluation/349783-1176715171/minisat+ /tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node73/convwatcher-349783-1176715171 -o ROOT/results/node73/conversion-349783-1176715171 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-349783-1176715171 -o ROOT/results/node73/solver-349783-1176715171 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349783-1176715171/minisat+ /tmp/evaluation/349783-1176715171/instance-349783-1176715171.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 0bff286f636188f318e01b1cd9504474 RANDOM SEED= 170155565 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node73.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.212 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.212 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: 1925504 kB Buffers: 18464 kB Cached: 67352 kB SwapCached: 0 kB Active: 57852 kB Inactive: 43384 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1925504 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 9556 kB Writeback: 0 kB Mapped: 25888 kB Slab: 15184 kB Committed_AS: 59392 kB PageTables: 1432 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66553 MiB End job on node73 on Mon Apr 16 09:40:19 UTC 2007