Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | Signal | 1245.57 | 1245.88 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-85-80.opb |
MD5SUM | 0bff286f636188f318e01b1cd9504474 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | NO |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 6800 |
Total number of constraints | 285685 |
Number of constraints which are clauses | 285685 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 81 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 7.84 c Converting 285685 PB-constraints to clauses... 7.87 c -- Unit propagations: (none) 7.87 c -- Detecting intervals from adjacent constraints: (none) 7.98 c -- Clauses(.)/Splits(s): ..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 8.64 c ==================================[MINISAT+]================================== 8.64 c | Conflicts | Original | Learnt | Progress | 8.64 c | | Clauses Literals | Max Clauses Literals LPC | | 8.64 c ============================================================================== 8.64 c | 0 | 285685 578000 | 95228 0 0 nan | 0.000 % | 8.67 c | 100 | 285685 578000 | 104750 100 38155 381.6 | 0.000 % | 8.69 c | 251 | 285685 578000 | 115225 251 79696 317.5 | 0.000 % | 8.79 c | 476 | 285685 578000 | 126748 476 320120 672.5 | 0.000 % | 8.93 c | 813 | 285685 578000 | 139423 813 600126 738.2 | 0.000 % | 9.06 c | 1320 | 285685 578000 | 153365 1320 816335 618.4 | 0.000 % | 9.25 c | 2079 | 285685 578000 | 168702 2079 1099636 528.9 | 0.000 % | 9.57 c | 3218 | 285685 578000 | 185572 3218 1596278 496.0 | 0.000 % | 10.25 c | 4926 | 285685 578000 | 204129 4926 2756705 559.6 | 0.000 % | 11.19 c | 7489 | 285685 578000 | 224542 7489 4141514 553.0 | 0.000 % | 12.79 c | 11337 | 285685 578000 | 246996 11337 5945633 524.4 | 0.000 % | 16.32 c | 17103 | 285685 578000 | 271696 17103 9086433 531.3 | 0.000 % | 21.44 c | 25752 | 285685 578000 | 298866 25752 13368240 519.1 | 0.000 % | 37.90 c | 38726 | 285685 578000 | 328752 38726 32122026 829.5 | 0.000 % | 95.48 c | 58189 | 285685 578000 | 361628 58189 64626517 1110.6 | 0.000 % | 156.40 c | 87381 | 285685 578000 | 397790 87381 107022302 1224.8 | 0.000 % | 293.04 c | 131173 | 285685 578000 | 437570 131173 166890504 1272.3 | 0.000 % | 609.40 c | 196857 | 285685 578000 | 481327 196857 300956480 1528.8 | 0.000 % | 1245.59 minisat+: ADTs/Global.h:107: T* xmalloc(size_t) [with T = char]: Assertion `size == 0 || tmp != __null' failed.
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node69/watcher-46114-1149804797 -o ROOT/results/node69/solver-46114-1149804797 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/46114-1149804797/instance-46114-1149804797.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1801004/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1048 CPUtime=0 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 114 0 0 0 0 0 0 0 18 0 1 0 246149782 1073152 99 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 262 99 74 215 0 44 0 [startup+10.0024 s] /proc/loadavg: 0.93 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1723060/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=78932 CPUtime=9.98 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 19572 0 0 0 958 40 0 0 25 0 1 0 246149782 80826368 19517 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 19733 19517 103 215 0 19515 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 78932 [startup+20.0092 s] /proc/loadavg: 0.94 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1707964/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=94012 CPUtime=19.99 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 23363 0 0 0 1957 42 0 0 25 0 1 0 246149782 96268288 23308 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 23503 23308 103 215 0 23285 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 94012 [startup+30.0161 s] /proc/loadavg: 0.95 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1659132/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=142820 CPUtime=30 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 35553 0 0 0 2953 47 0 0 25 0 1 0 246149782 146247680 35498 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 35705 35498 103 215 0 35487 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 142820 [startup+40.0219 s] /proc/loadavg: 0.96 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1618876/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=183100 CPUtime=39.99 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 45621 0 0 0 3948 51 0 0 25 0 1 0 246149782 187494400 45566 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 45775 45566 103 215 0 45557 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 183100 [startup+50.0277 s] /proc/loadavg: 0.96 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1588604/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=213480 CPUtime=50 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 53196 0 0 0 4945 55 0 0 25 0 1 0 246149782 218603520 53141 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 53370 53141 103 215 0 53152 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 213480 [startup+60.0335 s] /proc/loadavg: 0.97 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1561340/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=240624 CPUtime=60 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 59995 0 0 0 5942 58 0 0 25 0 1 0 246149782 246398976 59940 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 60156 59940 103 215 0 59938 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 240624 [startup+70.0394 s] /proc/loadavg: 0.97 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1545660/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=256300 CPUtime=70 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 63898 0 0 0 6939 61 0 0 25 0 1 0 246149782 262451200 63843 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 64075 63843 103 215 0 63857 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 256300 [startup+80.0452 s] /proc/loadavg: 0.98 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1529340/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=272496 CPUtime=80.01 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 67971 0 0 0 7938 63 0 0 25 0 1 0 246149782 279035904 67916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 68124 67916 103 215 0 67906 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 272496 [startup+90.051 s] /proc/loadavg: 0.98 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1510204/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=291708 CPUtime=90.02 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 72764 0 0 0 8936 66 0 0 25 0 1 0 246149782 298708992 72709 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 72927 72709 103 215 0 72709 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 291708 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1483196/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=318816 CPUtime=100.02 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 79502 0 0 0 9931 71 0 0 25 0 1 0 246149782 326467584 79447 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 79704 79447 103 215 0 79486 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 318816 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1443516/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=358372 CPUtime=110.02 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 89398 0 0 0 10926 76 0 0 25 0 1 0 246149782 366972928 89343 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 89593 89343 103 215 0 89375 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 358372 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1413756/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=388068 CPUtime=120.03 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 96816 0 0 0 11922 81 0 0 25 0 1 0 246149782 397381632 96761 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 97017 96761 103 215 0 96799 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 388068 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1386748/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=415004 CPUtime=130.03 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 103563 0 0 0 12918 85 0 0 25 0 1 0 246149782 424964096 103508 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 103751 103508 103 215 0 103533 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 415004 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1362044/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=439676 CPUtime=140.03 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 109719 0 0 0 13915 88 0 0 25 0 1 0 246149782 450228224 109664 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 109919 109664 103 215 0 109701 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 439676 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1339388/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=462260 CPUtime=150.04 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 115378 0 0 0 14914 90 0 0 25 0 1 0 246149782 473354240 115323 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 115565 115323 103 215 0 115347 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 462260 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1319484/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=482164 CPUtime=160.03 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 120340 0 0 0 15910 93 0 0 25 0 1 0 246149782 493735936 120285 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 120541 120285 103 215 0 120323 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 482164 [startup+170.097 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1293884/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=507816 CPUtime=170.04 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 126734 0 0 0 16907 97 0 0 25 0 1 0 246149782 520003584 126679 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 126954 126679 103 215 0 126736 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 507816 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1273148/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=528628 CPUtime=180.04 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 131917 0 0 0 17904 100 0 0 25 0 1 0 246149782 541315072 131862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 132157 131862 103 215 0 131939 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 528628 [startup+190.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1252348/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=549216 CPUtime=190.04 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 137094 0 0 0 18902 102 0 0 25 0 1 0 246149782 562397184 137039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 137304 137039 103 215 0 137086 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 549216 [startup+200.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=1234876/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=566684 CPUtime=200.05 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 141454 0 0 0 19900 105 0 0 25 0 1 0 246149782 580284416 141399 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 141671 141399 103 215 0 141453 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 566684 [startup+210.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 ################ # More data... # ################ Current children cumulated CPU time (s) 1030.34 Current children cumulated vsize (Kb) 1669904 [startup+1040.6 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=121348/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1678872 CPUtime=1040.33 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 419259 0 0 0 103773 260 0 0 25 0 1 0 246149782 1719164928 419204 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576704 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 419718 419204 103 215 0 419500 0 Current children cumulated CPU time (s) 1040.33 Current children cumulated vsize (Kb) 1678872 [startup+1050.6 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=112004/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1688216 CPUtime=1050.34 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 421599 0 0 0 104772 262 0 0 25 0 1 0 246149782 1728733184 421544 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 422054 421544 103 215 0 421836 0 Current children cumulated CPU time (s) 1050.34 Current children cumulated vsize (Kb) 1688216 [startup+1060.61 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=103556/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1696692 CPUtime=1060.35 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 423696 0 0 0 105772 263 0 0 25 0 1 0 246149782 1737412608 423641 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 424173 423641 103 215 0 423955 0 Current children cumulated CPU time (s) 1060.35 Current children cumulated vsize (Kb) 1696692 [startup+1070.62 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=94724/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1705568 CPUtime=1070.35 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 425906 0 0 0 106771 264 0 0 25 0 1 0 246149782 1746501632 425851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 426392 425851 103 215 0 426174 0 Current children cumulated CPU time (s) 1070.35 Current children cumulated vsize (Kb) 1705568 [startup+1080.62 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=85636/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1714612 CPUtime=1080.35 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 428176 0 0 0 107770 265 0 0 25 0 1 0 246149782 1755762688 428121 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 428653 428121 103 215 0 428435 0 Current children cumulated CPU time (s) 1080.35 Current children cumulated vsize (Kb) 1714612 [startup+1090.63 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=76612/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1723544 CPUtime=1090.35 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 430421 0 0 0 108769 266 0 0 25 0 1 0 246149782 1764909056 430366 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 430886 430366 103 215 0 430668 0 Current children cumulated CPU time (s) 1090.35 Current children cumulated vsize (Kb) 1723544 [startup+1100.63 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=66308/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1733820 CPUtime=1100.36 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 432989 0 0 0 109768 268 0 0 25 0 1 0 246149782 1775431680 432934 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 433455 432934 103 215 0 433237 0 Current children cumulated CPU time (s) 1100.36 Current children cumulated vsize (Kb) 1733820 [startup+1110.64 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=58052/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1742116 CPUtime=1110.36 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 435046 0 0 0 110766 270 0 0 25 0 1 0 246149782 1783926784 434991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 435529 434991 103 215 0 435311 0 Current children cumulated CPU time (s) 1110.36 Current children cumulated vsize (Kb) 1742116 [startup+1120.64 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=48708/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1751464 CPUtime=1120.36 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 437372 0 0 0 111765 271 0 0 25 0 1 0 246149782 1793499136 437317 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 437866 437317 103 215 0 437648 0 Current children cumulated CPU time (s) 1120.36 Current children cumulated vsize (Kb) 1751464 [startup+1130.65 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=40964/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1759108 CPUtime=1130.37 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 439301 0 0 0 112765 272 0 0 25 0 1 0 246149782 1801326592 439246 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 439777 439246 103 215 0 439559 0 Current children cumulated CPU time (s) 1130.37 Current children cumulated vsize (Kb) 1759108 [startup+1140.66 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=34756/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1765304 CPUtime=1140.37 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 440848 0 0 0 113764 273 0 0 25 0 1 0 246149782 1807671296 440793 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 441326 440793 103 215 0 441108 0 Current children cumulated CPU time (s) 1140.37 Current children cumulated vsize (Kb) 1765304 [startup+1150.66 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=28164/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1772036 CPUtime=1150.37 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 442490 0 0 0 114763 274 0 0 25 0 1 0 246149782 1814564864 442435 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 443009 442435 103 215 0 442791 0 Current children cumulated CPU time (s) 1150.37 Current children cumulated vsize (Kb) 1772036 [startup+1160.67 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=22084/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1778188 CPUtime=1160.38 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 444029 0 0 0 115763 275 0 0 25 0 1 0 246149782 1820864512 443974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 444547 443974 103 215 0 444329 0 Current children cumulated CPU time (s) 1160.38 Current children cumulated vsize (Kb) 1778188 [startup+1170.67 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=16196/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1785520 CPUtime=1170.38 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 445874 0 0 0 116761 277 0 0 25 0 1 0 246149782 1828372480 445819 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 446380 445819 103 215 0 446162 0 Current children cumulated CPU time (s) 1170.38 Current children cumulated vsize (Kb) 1785520 [startup+1180.68 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=15044/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1792840 CPUtime=1180.38 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 447681 0 0 0 117760 278 0 0 25 0 1 0 246149782 1835868160 447626 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 448210 447626 103 215 0 447992 0 Current children cumulated CPU time (s) 1180.38 Current children cumulated vsize (Kb) 1792840 [startup+1190.69 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=15876/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1799664 CPUtime=1190.39 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 449389 0 0 0 118760 279 0 0 25 0 1 0 246149782 1842855936 449334 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 449916 449334 103 215 0 449698 0 Current children cumulated CPU time (s) 1190.39 Current children cumulated vsize (Kb) 1799664 [startup+1200.69 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=15236/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1806608 CPUtime=1200.39 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 451114 0 0 0 119759 280 0 0 25 0 1 0 246149782 1849966592 451059 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 451652 451059 103 215 0 451434 0 Current children cumulated CPU time (s) 1200.39 Current children cumulated vsize (Kb) 1806608 [startup+1210.7 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=16196/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1814904 CPUtime=1210.39 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 453171 0 0 0 120757 282 0 0 25 0 1 0 246149782 1858461696 453116 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 453726 453116 103 215 0 453508 0 Current children cumulated CPU time (s) 1210.39 Current children cumulated vsize (Kb) 1814904 [startup+1220.7 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=16196/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1824112 CPUtime=1220.4 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 455494 0 0 0 121756 284 0 0 25 0 1 0 246149782 1867890688 455439 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 456028 455439 103 215 0 455810 0 Current children cumulated CPU time (s) 1220.4 Current children cumulated vsize (Kb) 1824112 [startup+1230.71 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=15876/2055920 swapFree=4182212/4192956 [pid=31045] ppid=31043 vsize=1830740 CPUtime=1230.41 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 457122 0 0 0 122756 285 0 0 25 0 1 0 246149782 1874677760 457067 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 457685 457067 103 215 0 457467 0 Current children cumulated CPU time (s) 1230.41 Current children cumulated vsize (Kb) 1830740 [startup+1240.72 s] /proc/loadavg: 0.99 0.97 0.91 2/64 31045 /proc/meminfo: memFree=15812/2055920 swapFree=4182200/4192956 [pid=31045] ppid=31043 vsize=1838732 CPUtime=1240.41 /proc/31045/stat : 31045 (minisat+) R 31043 31045 30999 0 -1 4194304 459149 0 0 0 123755 286 0 0 25 0 1 0 246149782 1882861568 459094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31045/statm: 459683 459094 103 215 0 459465 0 Current children cumulated CPU time (s) 1240.41 Current children cumulated vsize (Kb) 1838732 Child ended because it received signal 6 (SIGABRT) Real time (s): 1245.88 CPU time (s): 1245.57 CPU user time (s): 1242.41 CPU system time (s): 3.16452 CPU usage (%): 99.9757 Max. virtual memory (cumulated for all children) (Kb): 1838732 The end
Begin job on node69 on Thu Jun 8 22:13:18 UTC 2006 FILE ID= 46114-1149804797 PBS_JOBID= 378977 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-85-80.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/46114-1149804797/instance-46114-1149804797.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node69/watcher-46114-1149804797 -o ROOT/results/node69/solver-46114-1149804797 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node69/46114-1149804797/instance-46114-1149804797.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 0bff286f636188f318e01b1cd9504474 RANDOM SEED= 713331630 /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: 1801212 kB Buffers: 24512 kB Cached: 171364 kB SwapCached: 2548 kB Active: 62900 kB Inactive: 141824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1801212 kB SwapTotal: 4192956 kB SwapFree: 4182212 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15428 kB Slab: 35896 kB Committed_AS: 502592 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node69 on Thu Jun 8 22:34:04 UTC 2006