Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (MO) | 1277.48 | 1278.8 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-81-80.opb |
MD5SUM | 602db8a4b5456d6ce4573c7850dec197 |
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 | 6480 |
Total number of constraints | 259281 |
Number of constraints which are clauses | 259281 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 81 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 7.09/7.11 c Converting 259281 PB-constraints to clauses... 7.09/7.13 c -- Unit propagations: (none) 7.09/7.14 c -- Detecting intervals from adjacent constraints: (none) 7.18/7.23 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 7.79/7.80 c ==================================[MINISAT+]================================== 7.79/7.80 c | Conflicts | Original | Learnt | Progress | 7.79/7.80 c | | Clauses Literals | Max Clauses Literals LPC | | 7.79/7.80 c ============================================================================== 7.79/7.80 c | 0 | 259281 524880 | 86427 0 0 nan | 0.000 % | 7.79/7.82 c | 100 | 259281 524880 | 95069 100 28536 285.4 | 0.000 % | 7.79/7.85 c | 250 | 259281 524880 | 104576 250 62914 251.7 | 0.000 % | 7.89/7.94 c | 476 | 259281 524880 | 115034 476 285351 599.5 | 0.000 % | 8.09/8.10 c | 816 | 259281 524880 | 126537 816 637868 781.7 | 0.000 % | 8.19/8.22 c | 1323 | 259281 524880 | 139191 1323 816902 617.5 | 0.000 % | 8.29/8.40 c | 2082 | 259281 524880 | 153110 2082 1091175 524.1 | 0.000 % | 8.69/8.79 c | 3222 | 259281 524880 | 168421 3222 1728638 536.5 | 0.000 % | 9.39/9.40 c | 4932 | 259281 524880 | 185263 4932 2683829 544.2 | 0.000 % | 10.69/10.71 c | 7494 | 259281 524880 | 203790 7494 4621697 616.7 | 0.000 % | 12.59/12.68 c | 11341 | 259281 524880 | 224169 11341 7046991 621.4 | 0.000 % | 15.58/15.68 c | 17112 | 259281 524880 | 246586 17112 10063927 588.1 | 0.000 % | 21.68/21.72 c | 25763 | 259281 524880 | 271244 25763 16394961 636.4 | 0.000 % | 41.47/41.58 c | 38739 | 259281 524880 | 298369 38739 35950524 928.0 | 0.000 % | 80.05/80.16 c | 58201 | 259281 524880 | 328206 58201 71519251 1228.8 | 0.000 % | 166.92/167.10 c | 87394 | 259281 524880 | 361027 87394 124403452 1423.5 | 0.000 % | 273.58/273.76 c | 131183 | 259281 524880 | 397129 131183 185364361 1413.0 | 0.000 % | 531.82/532.97 c | 196868 | 259281 524880 | 436842 196868 280855359 1426.6 | 0.000 % | 1147.62/1148.99 c | 295397 | 259281 524880 | 480526 295397 422473533 1430.2 | 0.000 % | 1277.17/1278.50 c 1277.17/1278.50 c *** TERMINATED *** 1277.17/1278.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/349809-1176715834/instance-349809-1176715834.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-349809-1176715834 -o ROOT/results/node42/solver-349809-1176715834 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349809-1176715834/minisat+ /tmp/evaluation/349809-1176715834/instance-349809-1176715834.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.91 0.97 0.99 3/64 14192 /proc/meminfo: memFree=1812464/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1048 CPUtime=0 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 125 0 0 0 0 0 0 0 18 0 1 0 119495341 1073152 110 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 262 110 74 215 0 44 0 [startup+0.0691311 s] /proc/loadavg: 0.91 0.97 0.99 3/64 14192 /proc/meminfo: memFree=1812464/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=2376 CPUtime=0.06 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 409 0 0 0 6 0 0 0 18 0 1 0 119495341 2433024 394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134570150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 594 394 74 215 0 376 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2376 [startup+0.101135 s] /proc/loadavg: 0.91 0.97 0.99 3/64 14192 /proc/meminfo: memFree=1812464/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=2508 CPUtime=0.09 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 465 0 0 0 9 0 0 0 18 0 1 0 119495341 2568192 450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 627 450 74 215 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2508 [startup+0.301174 s] /proc/loadavg: 0.91 0.97 0.99 3/64 14192 /proc/meminfo: memFree=1812464/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=4300 CPUtime=0.29 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 885 0 0 0 29 0 0 0 19 0 1 0 119495341 4403200 870 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 1075 870 74 215 0 857 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4300 [startup+0.701251 s] /proc/loadavg: 0.91 0.97 0.99 3/64 14192 /proc/meminfo: memFree=1812464/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=7572 CPUtime=0.69 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 1713 0 0 0 68 1 0 0 22 0 1 0 119495341 7753728 1698 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 1893 1698 74 215 0 1675 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7572 [startup+1.50141 s] /proc/loadavg: 0.91 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1803368/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=14268 CPUtime=1.49 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 3373 0 0 0 148 1 0 0 25 0 1 0 119495341 14610432 3358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 3567 3358 74 215 0 3349 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14268 [startup+3.10171 s] /proc/loadavg: 0.91 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1794216/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=27420 CPUtime=3.09 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 6643 0 0 0 306 3 0 0 25 0 1 0 119495341 28078080 6628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 6855 6628 74 215 0 6637 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27420 [startup+6.30232 s] /proc/loadavg: 0.92 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1766952/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=53788 CPUtime=6.29 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 13187 0 0 0 621 8 0 0 25 0 1 0 119495341 55078912 13172 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 13447 13172 74 215 0 13229 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 53788 [startup+12.7015 s] /proc/loadavg: 0.93 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1741104/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=72124 CPUtime=12.69 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 17829 0 0 0 1231 38 0 0 25 0 1 0 119495341 73854976 17776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 18031 17776 103 215 0 17813 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 72124 [startup+25.502 s] /proc/loadavg: 0.94 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1687472/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=127348 CPUtime=25.48 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 31632 0 0 0 2505 43 0 0 25 0 1 0 119495341 130404352 31579 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134582953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 31837 31579 103 215 0 31619 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 127348 [startup+51.1019 s] /proc/loadavg: 0.96 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1587888/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=227852 CPUtime=51.06 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 56731 0 0 0 5049 57 0 0 25 0 1 0 119495341 233320448 56678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 56963 56680 103 215 0 56745 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 227852 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1418352/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=394760 CPUtime=102.25 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 98468 0 0 0 10149 76 0 0 25 0 1 0 119495341 404234240 98415 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 98690 98415 103 215 0 98472 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 394760 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1288496/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=525816 CPUtime=162.22 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 131210 0 0 0 16129 93 0 0 25 0 1 0 119495341 538435584 131157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 131454 131157 103 215 0 131236 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 525816 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1124336/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=688520 CPUtime=222.21 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 171874 0 0 0 22105 116 0 0 25 0 1 0 119495341 705044480 171821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 172130 171821 103 215 0 171912 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 688520 [startup+282.302 s] /proc/loadavg: 0.99 0.97 0.99 2/65 14193 /proc/meminfo: memFree=1007216/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=807232 CPUtime=282.19 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 201553 0 0 0 28086 133 0 0 25 0 1 0 119495341 826605568 201500 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 201808 201500 103 215 0 201590 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 807232 [startup+342.301 s] /proc/loadavg: 1.05 0.99 0.99 2/78 14390 /proc/meminfo: memFree=834888/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=931816 CPUtime=341.29 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 232647 0 0 0 33976 153 0 0 25 0 1 0 119495341 954179584 232594 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 232954 232594 103 215 0 232736 0 Current children cumulated CPU time (s) 341.29 Current children cumulated vsize (KiB) 931816 [startup+402.302 s] /proc/loadavg: 1.02 0.99 0.99 2/78 14390 /proc/meminfo: memFree=737800/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1011872 CPUtime=401.28 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 252621 0 0 0 39959 169 0 0 25 0 1 0 119495341 1036156928 252568 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 252968 252568 103 215 0 252750 0 Current children cumulated CPU time (s) 401.28 Current children cumulated vsize (KiB) 1011872 [startup+462.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14390 /proc/meminfo: memFree=664392/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1079996 CPUtime=461.25 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 269663 0 0 0 45946 179 0 0 25 0 1 0 119495341 1105915904 269610 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 269999 269610 103 215 0 269781 0 Current children cumulated CPU time (s) 461.25 Current children cumulated vsize (KiB) 1079996 [startup+522.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=596104/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1147040 CPUtime=521.23 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 286437 0 0 0 51934 189 0 0 25 0 1 0 119495341 1174568960 286384 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 286760 286384 103 215 0 286542 0 Current children cumulated CPU time (s) 521.23 Current children cumulated vsize (KiB) 1147040 [startup+582.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=523144/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1219772 CPUtime=581.21 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 304497 0 0 0 57917 204 0 0 25 0 1 0 119495341 1249046528 304444 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 304943 304444 103 215 0 304725 0 Current children cumulated CPU time (s) 581.21 Current children cumulated vsize (KiB) 1219772 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=464136/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1278196 CPUtime=641.2 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 319082 0 0 0 63904 216 0 0 25 0 1 0 119495341 1308872704 319029 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 319549 319029 103 215 0 319331 0 Current children cumulated CPU time (s) 641.2 Current children cumulated vsize (KiB) 1278196 [startup+702.303 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=404936/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1337604 CPUtime=701.17 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 333936 0 0 0 69892 225 0 0 25 0 1 0 119495341 1369706496 333883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 334401 333883 103 215 0 334183 0 Current children cumulated CPU time (s) 701.17 Current children cumulated vsize (KiB) 1337604 [startup+762.305 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=348040/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1393832 CPUtime=761.15 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 347999 0 0 0 75879 236 0 0 25 0 1 0 119495341 1427283968 347946 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 348458 347946 103 215 0 348240 0 Current children cumulated CPU time (s) 761.15 Current children cumulated vsize (KiB) 1393832 [startup+822.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=296776/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1445336 CPUtime=821.13 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 360884 0 0 0 81869 244 0 0 25 0 1 0 119495341 1480024064 360831 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 361334 360831 103 215 0 361116 0 Current children cumulated CPU time (s) 821.13 Current children cumulated vsize (KiB) 1445336 [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=244232/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1497476 CPUtime=881.11 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 373902 0 0 0 87859 252 0 0 25 0 1 0 119495341 1533415424 373849 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 374369 373849 103 215 0 374151 0 Current children cumulated CPU time (s) 881.11 Current children cumulated vsize (KiB) 1497476 [startup+942.302 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=192520/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1545840 CPUtime=941.09 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 385962 0 0 0 93848 261 0 0 25 0 1 0 119495341 1582940160 385909 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 386460 385909 103 215 0 386242 0 Current children cumulated CPU time (s) 941.09 Current children cumulated vsize (KiB) 1545840 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=132616/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1599768 CPUtime=1001.07 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 399451 0 0 0 99835 272 0 0 25 0 1 0 119495341 1638162432 399398 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 399942 399398 103 215 0 399724 0 Current children cumulated CPU time (s) 1001.07 Current children cumulated vsize (KiB) 1599768 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=78024/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1650480 CPUtime=1061.04 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 412122 0 0 0 105824 280 0 0 25 0 1 0 119495341 1690091520 412069 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 412620 412069 103 215 0 412402 0 Current children cumulated CPU time (s) 1061.04 Current children cumulated vsize (KiB) 1650480 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=20232/2055920 swapFree=4184568/4192956 [pid=14192] ppid=14190 vsize=1704968 CPUtime=1121.03 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 425731 0 0 0 111813 290 0 0 25 0 1 0 119495341 1745887232 425678 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 426242 425678 103 215 0 426024 0 Current children cumulated CPU time (s) 1121.03 Current children cumulated vsize (KiB) 1704968 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=15944/2055920 swapFree=4184528/4192956 [pid=14192] ppid=14190 vsize=1760432 CPUtime=1181 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 439511 0 0 0 117801 299 0 0 25 0 1 0 119495341 1802682368 439458 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 440108 439458 103 215 0 439890 0 Current children cumulated CPU time (s) 1181 Current children cumulated vsize (KiB) 1760432 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.99 2/78 14392 /proc/meminfo: memFree=15688/2055920 swapFree=4184528/4192956 [pid=14192] ppid=14190 vsize=1816688 CPUtime=1240.98 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 453418 0 0 0 123789 309 0 0 25 0 1 0 119495341 1860288512 453365 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 454172 453365 103 215 0 453954 0 Current children cumulated CPU time (s) 1240.98 Current children cumulated vsize (KiB) 1816688 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1278.5 s] /proc/loadavg: 1.10 1.02 1.00 2/78 14392 /proc/meminfo: memFree=15496/2055920 swapFree=4184528/4192956 [pid=14192] ppid=14190 vsize=1843288 CPUtime=1277.17 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194304 460062 0 0 0 127404 313 0 0 25 0 1 0 119495341 1887526912 460009 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 460822 460009 103 215 0 460604 0 Current children cumulated CPU time (s) 1277.17 Current children cumulated vsize (KiB) 1843288 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1278.61 s] /proc/loadavg: 1.10 1.02 1.00 2/78 14392 /proc/meminfo: memFree=15496/2055920 swapFree=4184528/4192956 [pid=14192] ppid=14190 vsize=0 CPUtime=1277.27 /proc/14192/stat : 14192 (minisat+) R 14190 14192 13164 0 -1 4194308 460063 0 0 0 127404 323 0 0 25 0 1 0 119495341 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 0 0 0 17 1 0 0 /proc/14192/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1277.27 Current children cumulated vsize (KiB) 0 [startup+1278.8 s] /proc/loadavg: 1.10 1.02 1.00 2/78 14392 /proc/meminfo: memFree=15496/2055920 swapFree=4184528/4192956 [pid=14192] ppid=14190 vsize=0 CPUtime=1277.47 /proc/14192/stat : 14192 (minisat+) D 14190 14192 13164 0 -1 4194308 460063 0 0 0 127404 343 0 0 24 0 1 0 119495341 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16386 18446744072100051646 0 0 17 0 0 0 /proc/14192/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1277.47 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1278.8 CPU time (s): 1277.48 CPU user time (s): 1274.05 CPU system time (s): 3.43248 CPU usage (%): 99.8967 Max. virtual memory (cumulated for all children) (KiB): 1843288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1274.05 system time used= 3.43248 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460063 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1080 involuntary context switches= 20224 runsolver used 1.46678 second user time and 3.48547 second system time The end
Begin job on node42 on Mon Apr 16 09:30:35 UTC 2007 IDJOB= 349809 IDBENCH= 2605 IDSOLVER= 156 FILE ID= node42/349809-1176715834 PBS_JOBID= 4560061 Free space on /tmp= 66531 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-81-80.opb COMMAND LINE= /tmp/evaluation/349809-1176715834/minisat+ /tmp/evaluation/349809-1176715834/instance-349809-1176715834.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-349809-1176715834 -o ROOT/results/node42/conversion-349809-1176715834 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349809-1176715834/instance-349809-1176715834.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-349809-1176715834 -o ROOT/results/node42/solver-349809-1176715834 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349809-1176715834/minisat+ /tmp/evaluation/349809-1176715834/instance-349809-1176715834.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 602db8a4b5456d6ce4573c7850dec197 RANDOM SEED= 296365450 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.277 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.277 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: 1812872 kB Buffers: 17260 kB Cached: 148612 kB SwapCached: 2632 kB Active: 44604 kB Inactive: 131800 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1812872 kB SwapTotal: 4192956 kB SwapFree: 4184568 kB Dirty: 8880 kB Writeback: 0 kB Mapped: 16748 kB Slab: 52704 kB Committed_AS: 2753656 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66531 MiB End job on node42 on Mon Apr 16 09:51:55 UTC 2007