Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (MO) | 1427.13 | 1428.08 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-75-70.opb |
MD5SUM | f923ea56e1761a03f5af67c072a524d6 |
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 | 5250 |
Total number of constraints | 194325 |
Number of constraints which are clauses | 194325 |
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 | 70 |
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 | 71 |
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... 5.18/5.29 c Converting 194325 PB-constraints to clauses... 5.29/5.31 c -- Unit propagations: (none) 5.29/5.31 c -- Detecting intervals from adjacent constraints: (none) 5.29/5.38 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 5.78/5.83 c ==================================[MINISAT+]================================== 5.78/5.83 c | Conflicts | Original | Learnt | Progress | 5.78/5.83 c | | Clauses Literals | Max Clauses Literals LPC | | 5.78/5.83 c ============================================================================== 5.78/5.83 c | 0 | 194325 393750 | 64775 0 0 nan | 0.000 % | 5.78/5.85 c | 100 | 194325 393750 | 71252 100 31751 317.5 | 0.000 % | 5.78/5.89 c | 250 | 194325 393750 | 78377 250 84176 336.7 | 0.000 % | 5.88/5.95 c | 475 | 194325 393750 | 86215 475 226453 476.7 | 0.000 % | 5.98/6.02 c | 815 | 194325 393750 | 94837 815 327931 402.4 | 0.000 % | 6.08/6.12 c | 1321 | 194325 393750 | 104320 1321 484145 366.5 | 0.000 % | 6.28/6.30 c | 2080 | 194325 393750 | 114752 2080 774935 372.6 | 0.000 % | 6.58/6.62 c | 3219 | 194325 393750 | 126228 3219 1314866 408.5 | 0.000 % | 7.08/7.13 c | 4929 | 194325 393750 | 138850 4929 2210344 448.4 | 0.000 % | 7.98/8.01 c | 7491 | 194325 393750 | 152736 7491 3441994 459.5 | 0.000 % | 9.68/9.75 c | 11336 | 194325 393750 | 168009 11336 5778792 509.8 | 0.000 % | 12.38/12.44 c | 17104 | 194325 393750 | 184810 17104 8342430 487.7 | 0.000 % | 16.37/16.40 c | 25753 | 194325 393750 | 203291 25753 12361818 480.0 | 0.000 % | 33.06/33.15 c | 38728 | 194325 393750 | 223620 38728 29065832 750.5 | 0.000 % | 65.14/65.25 c | 58190 | 194325 393750 | 245982 58190 50866666 874.1 | 0.000 % | 110.01/110.17 c | 87382 | 194325 393750 | 270581 87382 83770603 958.7 | 0.000 % | 217.64/217.89 c | 131173 | 194325 393750 | 297639 131173 142603425 1087.1 | 0.000 % | 447.61/447.92 c | 196858 | 194325 393750 | 327403 196858 206264791 1047.8 | 0.000 % | 1056.45/1057.14 c | 295385 | 194325 393750 | 360143 295385 373314960 1263.8 | 0.000 % | 1426.86/1427.81 c 1426.86/1427.81 c *** TERMINATED *** 1426.86/1427.81 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/349679-1176712647/instance-349679-1176712647.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-349679-1176712647 -o ROOT/results/node41/solver-349679-1176712647 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349679-1176712647/minisat+ /tmp/evaluation/349679-1176712647/instance-349679-1176712647.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 1.00 3/64 25991 /proc/meminfo: memFree=1834864/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1048 CPUtime=0 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 122 0 0 0 0 0 0 0 18 0 1 0 119176607 1073152 107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530499 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 262 107 74 215 0 44 0 [startup+0.0954471 s] /proc/loadavg: 1.00 1.00 1.00 3/64 25991 /proc/meminfo: memFree=1834864/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=2356 CPUtime=0.09 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 419 0 0 0 9 0 0 0 18 0 1 0 119176607 2412544 404 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 589 404 74 215 0 371 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2356 [startup+0.101446 s] /proc/loadavg: 1.00 1.00 1.00 3/64 25991 /proc/meminfo: memFree=1834864/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=2356 CPUtime=0.09 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 431 0 0 0 9 0 0 0 18 0 1 0 119176607 2412544 416 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 589 416 74 215 0 371 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2356 [startup+0.301463 s] /proc/loadavg: 1.00 1.00 1.00 3/64 25991 /proc/meminfo: memFree=1834864/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=4020 CPUtime=0.29 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 851 0 0 0 29 0 0 0 19 0 1 0 119176607 4116480 836 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 1005 836 74 215 0 787 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4020 [startup+0.701498 s] /proc/loadavg: 1.00 1.00 1.00 3/64 25991 /proc/meminfo: memFree=1834864/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=7356 CPUtime=0.69 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 1693 0 0 0 68 1 0 0 22 0 1 0 119176607 7532544 1678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 1839 1678 74 215 0 1621 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7356 [startup+1.50157 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25992 /proc/meminfo: memFree=1825576/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=14056 CPUtime=1.49 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 3335 0 0 0 147 2 0 0 25 0 1 0 119176607 14393344 3320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 3514 3320 74 215 0 3296 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14056 [startup+3.10171 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25992 /proc/meminfo: memFree=1816616/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=27340 CPUtime=3.08 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 6636 0 0 0 304 4 0 0 25 0 1 0 119176607 27996160 6621 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 6835 6621 74 215 0 6617 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 27340 [startup+6.30118 s] /proc/loadavg: 1.00 1.00 1.00 3/65 25992 /proc/meminfo: memFree=1788392/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=54196 CPUtime=6.28 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 13402 0 0 0 597 31 0 0 21 0 1 0 119176607 55496704 13387 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134878802 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 13549 13387 103 215 0 13331 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 54196 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25992 /proc/meminfo: memFree=1772072/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=65956 CPUtime=12.68 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 16335 0 0 0 1235 33 0 0 25 0 1 0 119176607 67538944 16320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574540 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 16489 16321 103 215 0 16271 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 65956 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25992 /proc/meminfo: memFree=1713704/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=122892 CPUtime=25.47 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 30575 0 0 0 2507 40 0 0 25 0 1 0 119176607 125841408 30560 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 30723 30560 103 215 0 30505 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 122892 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=1632424/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=204168 CPUtime=51.05 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 50869 0 0 0 5055 50 0 0 25 0 1 0 119176607 209068032 50854 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 51042 50854 103 215 0 50824 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 204168 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=1484712/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=350696 CPUtime=102.22 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 87492 0 0 0 10152 70 0 0 25 0 1 0 119176607 359112704 87477 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581475 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 87674 87477 103 215 0 87456 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 350696 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=1343528/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=493028 CPUtime=162.18 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 123046 0 0 0 16127 91 0 0 25 0 1 0 119176607 504860672 123031 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 123257 123031 103 215 0 123039 0 Current children cumulated CPU time (s) 162.18 Current children cumulated vsize (KiB) 493028 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=1225128/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=610220 CPUtime=222.14 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 152359 0 0 0 22105 109 0 0 25 0 1 0 119176607 624865280 152344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 152555 152344 103 215 0 152337 0 Current children cumulated CPU time (s) 222.14 Current children cumulated vsize (KiB) 610220 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=1138408/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=697624 CPUtime=282.11 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 174130 0 0 0 28086 125 0 0 25 0 1 0 119176607 714366976 174115 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 174406 174115 103 215 0 174188 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 697624 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=1069608/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=765464 CPUtime=342.08 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 191092 0 0 0 34071 137 0 0 25 0 1 0 119176607 783835136 191077 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 191366 191077 103 215 0 191148 0 Current children cumulated CPU time (s) 342.08 Current children cumulated vsize (KiB) 765464 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=1008936/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=826300 CPUtime=402.04 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 206282 0 0 0 40056 148 0 0 25 0 1 0 119176607 846131200 206267 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 206575 206267 103 215 0 206357 0 Current children cumulated CPU time (s) 402.04 Current children cumulated vsize (KiB) 826300 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=950120/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=885300 CPUtime=462 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 221015 0 0 0 46043 157 0 0 25 0 1 0 119176607 906547200 221000 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 221325 221000 103 215 0 221107 0 Current children cumulated CPU time (s) 462 Current children cumulated vsize (KiB) 885300 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=839784/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=996980 CPUtime=521.97 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 248841 0 0 0 52022 175 0 0 25 0 1 0 119176607 1020907520 248826 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/25991/statm: 249245 248826 103 215 0 249027 0 Current children cumulated CPU time (s) 521.97 Current children cumulated vsize (KiB) 996980 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=768040/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1067080 CPUtime=581.94 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 266349 0 0 0 58008 186 0 0 25 0 1 0 119176607 1092689920 266334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 266770 266334 103 215 0 266552 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 1067080 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=697000/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1137388 CPUtime=641.91 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 283934 0 0 0 63994 197 0 0 25 0 1 0 119176607 1164685312 283919 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 284347 283919 103 215 0 284129 0 Current children cumulated CPU time (s) 641.91 Current children cumulated vsize (KiB) 1137388 [startup+702.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=630760/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1204076 CPUtime=701.89 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 300598 0 0 0 69983 206 0 0 25 0 1 0 119176607 1232973824 300583 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 301019 300583 103 215 0 300801 0 Current children cumulated CPU time (s) 701.89 Current children cumulated vsize (KiB) 1204076 [startup+762.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=568360/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1265836 CPUtime=761.82 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 316052 0 0 0 75966 216 0 0 25 0 1 0 119176607 1296216064 316037 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 316459 316037 103 215 0 316241 0 Current children cumulated CPU time (s) 761.82 Current children cumulated vsize (KiB) 1265836 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=518824/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1315916 CPUtime=821.78 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 328553 0 0 0 81955 223 0 0 25 0 1 0 119176607 1347497984 328538 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 328979 328538 103 215 0 328761 0 Current children cumulated CPU time (s) 821.78 Current children cumulated vsize (KiB) 1315916 [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=460136/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1374012 CPUtime=881.76 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 343091 0 0 0 87943 233 0 0 25 0 1 0 119176607 1406988288 343076 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135011021 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 343503 343076 103 215 0 343285 0 Current children cumulated CPU time (s) 881.76 Current children cumulated vsize (KiB) 1374012 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=404456/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1429976 CPUtime=941.71 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 357080 0 0 0 93929 242 0 0 25 0 1 0 119176607 1464295424 357065 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 357494 357065 103 215 0 357276 0 Current children cumulated CPU time (s) 941.71 Current children cumulated vsize (KiB) 1429976 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=359016/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1474724 CPUtime=1001.68 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 368291 0 0 0 99918 250 0 0 25 0 1 0 119176607 1510117376 368276 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 368681 368276 103 215 0 368463 0 Current children cumulated CPU time (s) 1001.68 Current children cumulated vsize (KiB) 1474724 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=304360/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1530180 CPUtime=1061.65 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 382120 0 0 0 105906 259 0 0 25 0 1 0 119176607 1566904320 382105 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 382545 382105 103 215 0 382327 0 Current children cumulated CPU time (s) 1061.65 Current children cumulated vsize (KiB) 1530180 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=251944/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1581972 CPUtime=1121.6 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 395068 0 0 0 111892 268 0 0 25 0 1 0 119176607 1619939328 395053 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 395493 395053 103 215 0 395275 0 Current children cumulated CPU time (s) 1121.6 Current children cumulated vsize (KiB) 1581972 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=194664/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1640280 CPUtime=1181.58 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 409481 0 0 0 117879 279 0 0 25 0 1 0 119176607 1679646720 409466 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 410070 409466 103 215 0 409852 0 Current children cumulated CPU time (s) 1181.58 Current children cumulated vsize (KiB) 1640280 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=145768/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1688404 CPUtime=1241.55 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 421535 0 0 0 123869 286 0 0 25 0 1 0 119176607 1728925696 421520 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 422101 421520 103 215 0 421883 0 Current children cumulated CPU time (s) 1241.55 Current children cumulated vsize (KiB) 1688404 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=93032/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1740624 CPUtime=1301.52 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 434565 0 0 0 129856 296 0 0 25 0 1 0 119176607 1782398976 434550 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134586323 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 435156 434550 103 215 0 434938 0 Current children cumulated CPU time (s) 1301.52 Current children cumulated vsize (KiB) 1740624 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 25994 /proc/meminfo: memFree=42216/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1791812 CPUtime=1361.47 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 447393 0 0 0 135841 306 0 0 25 0 1 0 119176607 1834815488 447378 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 447953 447378 103 215 0 447735 0 Current children cumulated CPU time (s) 1361.47 Current children cumulated vsize (KiB) 1791812 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/71 26066 /proc/meminfo: memFree=15856/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1838700 CPUtime=1421.36 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 459084 0 0 0 141819 317 0 0 25 0 1 0 119176607 1882828800 459069 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 459675 459069 103 215 0 459457 0 Current children cumulated CPU time (s) 1421.36 Current children cumulated vsize (KiB) 1838700 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1427.81 s] /proc/loadavg: 1.00 1.00 1.00 2/71 26076 /proc/meminfo: memFree=15920/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=1843332 CPUtime=1426.86 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194304 460246 0 0 0 142367 319 0 0 25 0 1 0 119176607 1887571968 460231 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 460833 460231 103 215 0 460615 0 Current children cumulated CPU time (s) 1426.86 Current children cumulated vsize (KiB) 1843332 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1428 s] /proc/loadavg: 1.00 1.00 1.00 2/71 26076 /proc/meminfo: memFree=15920/2055920 swapFree=4184500/4192956 [pid=25991] ppid=25989 vsize=0 CPUtime=1427.05 /proc/25991/stat : 25991 (minisat+) R 25989 25991 25476 0 -1 4194308 460247 0 0 0 142367 338 0 0 25 0 1 0 119176607 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 0 0 0 /proc/25991/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1427.05 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1428.08 CPU time (s): 1427.13 CPU user time (s): 1423.68 CPU system time (s): 3.45547 CPU usage (%): 99.934 Max. virtual memory (cumulated for all children) (KiB): 1843332 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1423.68 system time used= 3.45547 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460247 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= 1050 involuntary context switches= 5223 runsolver used 1.44078 second user time and 4.19136 second system time The end
Begin job on node41 on Mon Apr 16 08:37:27 UTC 2007 IDJOB= 349679 IDBENCH= 2577 IDSOLVER= 156 FILE ID= node41/349679-1176712647 PBS_JOBID= 4560085 Free space on /tmp= 66519 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-75-70.opb COMMAND LINE= /tmp/evaluation/349679-1176712647/minisat+ /tmp/evaluation/349679-1176712647/instance-349679-1176712647.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-349679-1176712647 -o ROOT/results/node41/conversion-349679-1176712647 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349679-1176712647/instance-349679-1176712647.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-349679-1176712647 -o ROOT/results/node41/solver-349679-1176712647 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349679-1176712647/minisat+ /tmp/evaluation/349679-1176712647/instance-349679-1176712647.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= f923ea56e1761a03f5af67c072a524d6 RANDOM SEED= 500909222 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1835208 kB Buffers: 12920 kB Cached: 138684 kB SwapCached: 2824 kB Active: 37812 kB Inactive: 124324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1835208 kB SwapTotal: 4192956 kB SwapFree: 4184500 kB Dirty: 7228 kB Writeback: 0 kB Mapped: 16416 kB Slab: 44536 kB Committed_AS: 2361660 kB PageTables: 1476 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= 66519 MiB End job on node41 on Mon Apr 16 09:01:17 UTC 2007