Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.11 | 1800.59 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ roussel/normalized-pigeon-clauses-55-50.opb |
MD5SUM | 63e69821c215670f44649de0f2905f57 |
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 | 2750 |
Total number of constraints | 74305 |
Number of constraints which are clauses | 74305 |
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 | 50 |
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 | 51 |
Number of bits of the biggest sum of numbers | 6 |
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... 1.99/2.03 c Converting 74305 PB-constraints to clauses... 1.99/2.04 c -- Unit propagations: (none) 1.99/2.04 c -- Detecting intervals from adjacent constraints: (none) 1.99/2.07 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.20/2.23 c ==================================[MINISAT+]================================== 2.20/2.23 c | Conflicts | Original | Learnt | Progress | 2.20/2.23 c | | Clauses Literals | Max Clauses Literals LPC | | 2.20/2.23 c ============================================================================== 2.20/2.23 c | 0 | 74305 151250 | 24768 0 0 nan | 0.000 % | 2.20/2.25 c | 100 | 74305 151250 | 27244 100 22251 222.5 | 0.000 % | 2.20/2.27 c | 254 | 74305 151250 | 29969 254 65869 259.3 | 0.000 % | 2.29/2.32 c | 480 | 74305 151250 | 32966 480 158681 330.6 | 0.000 % | 2.29/2.38 c | 817 | 74305 151250 | 36262 817 273842 335.2 | 0.000 % | 2.39/2.46 c | 1323 | 74305 151250 | 39889 1323 415255 313.9 | 0.000 % | 2.49/2.59 c | 2083 | 74305 151250 | 43878 2083 617308 296.4 | 0.000 % | 2.79/2.81 c | 3223 | 74305 151250 | 48265 3223 958116 297.3 | 0.000 % | 3.30/3.35 c | 4932 | 74305 151250 | 53092 4932 1771727 359.2 | 0.000 % | 4.09/4.10 c | 7497 | 74305 151250 | 58401 7497 2828590 377.3 | 0.000 % | 5.09/5.16 c | 11341 | 74305 151250 | 64241 11341 4012207 353.8 | 0.000 % | 7.49/7.56 c | 17107 | 74305 151250 | 70665 17107 6036072 352.8 | 0.000 % | 14.49/14.52 c | 25756 | 74305 151250 | 77732 25756 10975736 426.1 | 0.000 % | 23.28/23.36 c | 38731 | 74305 151250 | 85505 38731 17912233 462.5 | 0.000 % | 48.07/48.11 c | 58192 | 74305 151250 | 94056 58192 29182540 501.5 | 0.000 % | 95.56/95.69 c | 87384 | 74305 151250 | 103462 87384 42556608 487.0 | 0.000 % | 141.05/141.12 c | 131185 | 74305 151250 | 113808 39092 24665456 631.0 | 0.000 % | 242.72/242.87 c | 196875 | 74305 151250 | 125189 104782 72139622 688.5 | 0.000 % | 469.86/470.08 c | 295403 | 74305 151250 | 137708 89610 68993170 769.9 | 0.000 % | 792.88/793.19 c | 443196 | 74305 151250 | 151478 112798 96306236 853.8 | 0.000 % | 1346.43/1346.81 c | 664883 | 74305 151250 | 166626 61314 45824346 747.4 | 0.000 % | 1800.01/1800.50 c 1800.01/1800.50 c *** TERMINATED *** 1800.01/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/349757-1176714540/instance-349757-1176714540.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node19/watcher-349757-1176714540 -o ROOT/results/node19/solver-349757-1176714540 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349757-1176714540/minisat+ /tmp/evaluation/349757-1176714540/instance-349757-1176714540.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.77 0.92 0.97 3/77 31536 /proc/meminfo: memFree=1739208/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=1048 CPUtime=0 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 126 0 0 0 0 0 0 0 18 0 1 0 119371443 1073152 111 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 262 111 74 215 0 44 0 [startup+0.0208441 s] /proc/loadavg: 0.77 0.92 0.97 3/77 31536 /proc/meminfo: memFree=1739208/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=1504 CPUtime=0.01 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 207 0 0 0 1 0 0 0 18 0 1 0 119371443 1540096 192 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 376 192 74 215 0 158 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 1504 [startup+0.101853 s] /proc/loadavg: 0.77 0.92 0.97 3/77 31536 /proc/meminfo: memFree=1739208/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=2200 CPUtime=0.09 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 393 0 0 0 9 0 0 0 18 0 1 0 119371443 2252800 378 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 550 378 74 215 0 332 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2200 [startup+0.301875 s] /proc/loadavg: 0.77 0.92 0.97 3/77 31536 /proc/meminfo: memFree=1739208/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=3864 CPUtime=0.29 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 813 0 0 0 29 0 0 0 19 0 1 0 119371443 3956736 798 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 966 799 74 215 0 748 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3864 [startup+0.701918 s] /proc/loadavg: 0.77 0.92 0.97 3/77 31536 /proc/meminfo: memFree=1739208/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=7272 CPUtime=0.69 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 1645 0 0 0 69 0 0 0 22 0 1 0 119371443 7446528 1630 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 1818 1630 74 215 0 1600 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7272 [startup+1.502 s] /proc/loadavg: 0.79 0.92 0.97 2/78 31537 /proc/meminfo: memFree=1730432/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=13836 CPUtime=1.49 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 3289 0 0 0 148 1 0 0 25 0 1 0 119371443 14168064 3274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 3459 3274 74 215 0 3241 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13836 [startup+3.10118 s] /proc/loadavg: 0.79 0.92 0.97 3/78 31537 /proc/meminfo: memFree=1721152/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=21684 CPUtime=3.09 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 5237 0 0 0 299 10 0 0 24 0 1 0 119371443 22204416 5222 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134584053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 5421 5222 103 215 0 5203 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 21684 [startup+6.30153 s] /proc/loadavg: 0.79 0.92 0.97 2/78 31537 /proc/meminfo: memFree=1709320/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=34240 CPUtime=6.29 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 8400 0 0 0 618 11 0 0 25 0 1 0 119371443 35061760 8385 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 8560 8385 103 215 0 8342 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34240 [startup+12.7012 s] /proc/loadavg: 0.82 0.93 0.97 2/78 31537 /proc/meminfo: memFree=1686600/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=54572 CPUtime=12.69 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 13467 0 0 0 1256 13 0 0 25 0 1 0 119371443 55881728 13452 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574472 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 13643 13452 103 215 0 13425 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 54572 [startup+25.5016 s] /proc/loadavg: 0.85 0.93 0.97 2/78 31537 /proc/meminfo: memFree=1646152/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=94332 CPUtime=25.49 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 23391 0 0 0 2530 19 0 0 25 0 1 0 119371443 96595968 23376 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 23583 23376 103 215 0 23365 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 94332 [startup+51.1014 s] /proc/loadavg: 0.90 0.93 0.97 2/78 31537 /proc/meminfo: memFree=1602568/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=138300 CPUtime=51.07 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 34360 0 0 0 5079 28 0 0 25 0 1 0 119371443 141619200 34345 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 34575 34345 103 215 0 34357 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 138300 [startup+102.306 s] /proc/loadavg: 0.96 0.94 0.97 2/78 31537 /proc/meminfo: memFree=1532872/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=207444 CPUtime=102.26 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 51611 0 0 0 10185 41 0 0 25 0 1 0 119371443 212422656 51596 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 51861 51596 103 215 0 51643 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 207444 [startup+162.301 s] /proc/loadavg: 0.98 0.95 0.97 2/78 31537 /proc/meminfo: memFree=1505480/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=234428 CPUtime=162.25 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 58359 0 0 0 16179 46 0 0 25 0 1 0 119371443 240054272 58344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 58607 58344 103 215 0 58389 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 234428 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.97 2/78 31537 /proc/meminfo: memFree=1465352/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=274776 CPUtime=222.23 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 68409 0 0 0 22171 52 0 0 25 0 1 0 119371443 281370624 68394 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 68694 68394 103 215 0 68476 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 274776 [startup+282.302 s] /proc/loadavg: 0.99 0.96 0.97 2/78 31537 /proc/meminfo: memFree=1377800/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=363368 CPUtime=282.21 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 90510 0 0 0 28152 69 0 0 25 0 1 0 119371443 372088832 90495 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 90842 90495 103 215 0 90624 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 363368 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31537 /proc/meminfo: memFree=1363144/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=376724 CPUtime=342.2 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 93859 0 0 0 34148 72 0 0 25 0 1 0 119371443 385765376 93844 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 94181 93844 103 215 0 93963 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 376724 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31537 /proc/meminfo: memFree=1363208/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=376724 CPUtime=402.18 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 93862 0 0 0 40145 73 0 0 25 0 1 0 119371443 385765376 93847 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 94181 93847 103 215 0 93963 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 376724 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31537 /proc/meminfo: memFree=1363080/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=376724 CPUtime=462.16 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 93874 0 0 0 46143 73 0 0 25 0 1 0 119371443 385765376 93859 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 94181 93859 103 215 0 93963 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 376724 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31537 /proc/meminfo: memFree=1309384/2055920 swapFree=4159396/4192956 [pid=31536] ppid=31534 vsize=432496 CPUtime=522.15 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 107775 0 0 0 52132 83 0 0 25 0 1 0 119371443 442875904 107760 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 108124 107760 103 215 0 107906 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 432496 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31558 /proc/meminfo: memFree=1285632/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=453268 CPUtime=582.13 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 112903 0 0 0 58125 88 0 0 25 0 1 0 119371443 464146432 112888 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 113317 112888 103 215 0 113099 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 453268 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 31558 /proc/meminfo: memFree=1285632/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=453268 CPUtime=642.11 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 112908 0 0 0 64123 88 0 0 25 0 1 0 119371443 464146432 112893 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 113317 112893 103 215 0 113099 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 453268 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.01 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205320/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533508 CPUtime=882.05 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132983 0 0 0 88100 105 0 0 25 0 1 0 119371443 546312192 132968 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573701 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133377 132968 103 215 0 133159 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 533508 [startup+942.301 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205256/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533508 CPUtime=942.04 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132985 0 0 0 94099 105 0 0 25 0 1 0 119371443 546312192 132970 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576849 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133377 132970 103 215 0 133159 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 533508 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205256/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533508 CPUtime=1002.02 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132989 0 0 0 100097 105 0 0 25 0 1 0 119371443 546312192 132974 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133377 132974 103 215 0 133159 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 533508 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205192/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533508 CPUtime=1062 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132992 0 0 0 106095 105 0 0 25 0 1 0 119371443 546312192 132977 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133377 132977 103 215 0 133159 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 533508 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205192/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533508 CPUtime=1121.99 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132992 0 0 0 112094 105 0 0 25 0 1 0 119371443 546312192 132977 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133377 132977 103 215 0 133159 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 533508 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205192/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533508 CPUtime=1181.97 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132993 0 0 0 118092 105 0 0 25 0 1 0 119371443 546312192 132978 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133377 132978 103 215 0 133159 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 533508 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205256/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533508 CPUtime=1241.96 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132993 0 0 0 124090 106 0 0 25 0 1 0 119371443 546312192 132978 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133377 132978 103 215 0 133159 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 533508 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205384/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533104 CPUtime=1301.95 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132995 0 0 0 130089 106 0 0 25 0 1 0 119371443 545898496 132892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133276 132892 103 215 0 133058 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 533104 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205384/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533104 CPUtime=1361.93 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132995 0 0 0 136087 106 0 0 25 0 1 0 119371443 545898496 132892 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133276 132892 103 215 0 133058 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 533104 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205448/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533104 CPUtime=1421.91 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132997 0 0 0 142085 106 0 0 25 0 1 0 119371443 545898496 132894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133276 132894 103 215 0 133058 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 533104 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205512/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533104 CPUtime=1481.89 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132997 0 0 0 148083 106 0 0 25 0 1 0 119371443 545898496 132894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580938 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133276 132894 103 215 0 133058 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 533104 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205576/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533104 CPUtime=1541.87 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 132997 0 0 0 154081 106 0 0 25 0 1 0 119371443 545898496 132894 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133276 132894 103 215 0 133058 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 533104 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205512/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533104 CPUtime=1601.87 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 133005 0 0 0 160080 107 0 0 25 0 1 0 119371443 545898496 132902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133276 132902 103 215 0 133058 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 533104 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31558 /proc/meminfo: memFree=1205512/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533076 CPUtime=1661.85 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 133012 0 0 0 166078 107 0 0 25 0 1 0 119371443 545869824 132902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133269 132902 103 215 0 133051 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 533076 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31560 /proc/meminfo: memFree=1205448/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533076 CPUtime=1721.83 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 133012 0 0 0 172076 107 0 0 25 0 1 0 119371443 545869824 132902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133269 132902 103 215 0 133051 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 533076 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31560 /proc/meminfo: memFree=1205512/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533076 CPUtime=1781.81 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 133012 0 0 0 178074 107 0 0 25 0 1 0 119371443 545869824 132902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581062 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133269 132902 103 215 0 133051 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 533076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31560 /proc/meminfo: memFree=1205512/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533076 CPUtime=1800.01 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 133012 0 0 0 179894 107 0 0 25 0 1 0 119371443 545869824 132902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003991 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133269 132902 103 215 0 133051 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 533076 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.98 2/78 31560 /proc/meminfo: memFree=1205512/2055920 swapFree=4159444/4192956 [pid=31536] ppid=31534 vsize=533076 CPUtime=1800.01 /proc/31536/stat : 31536 (minisat+) R 31534 31536 31474 0 -1 4194304 133012 0 0 0 179894 107 0 0 25 0 1 0 119371443 545869824 132902 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003991 0 0 4096 16386 0 0 0 17 1 0 0 /proc/31536/statm: 133269 132902 103 215 0 133051 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 533076 Child status: 0 Real time (s): 1800.59 CPU time (s): 1800.11 CPU user time (s): 1798.95 CPU system time (s): 1.15782 CPU usage (%): 99.9732 Max. virtual memory (cumulated for all children) (KiB): 533508 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.95 system time used= 1.15782 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 133013 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= 324 involuntary context switches= 37239 runsolver used 2.22966 second user time and 4.32734 second system time The end
Begin job on node19 on Mon Apr 16 09:09:01 UTC 2007 IDJOB= 349757 IDBENCH= 2591 IDSOLVER= 156 FILE ID= node19/349757-1176714540 PBS_JOBID= 4559447 Free space on /tmp= 66504 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb COMMAND LINE= /tmp/evaluation/349757-1176714540/minisat+ /tmp/evaluation/349757-1176714540/instance-349757-1176714540.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node19/convwatcher-349757-1176714540 -o ROOT/results/node19/conversion-349757-1176714540 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/349757-1176714540/instance-349757-1176714540.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-349757-1176714540 -o ROOT/results/node19/solver-349757-1176714540 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/349757-1176714540/minisat+ /tmp/evaluation/349757-1176714540/instance-349757-1176714540.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 63e69821c215670f44649de0f2905f57 RANDOM SEED= 684056370 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node19.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.213 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.213 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: 1739680 kB Buffers: 32836 kB Cached: 210336 kB SwapCached: 2308 kB Active: 76120 kB Inactive: 189616 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1739680 kB SwapTotal: 4192956 kB SwapFree: 4159396 kB Dirty: 4396 kB Writeback: 0 kB Mapped: 30384 kB Slab: 36072 kB Committed_AS: 2932760 kB PageTables: 1784 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= 66504 MiB End job on node19 on Mon Apr 16 09:39:03 UTC 2007