Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.7 | 1801.32 |
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 c Parsing PB file... 2.02 c Converting 74305 PB-constraints to clauses... 2.03 c -- Unit propagations: (none) 2.03 c -- Detecting intervals from adjacent constraints: (none) 2.05 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................. 2.22 c ==================================[MINISAT+]================================== 2.22 c | Conflicts | Original | Learnt | Progress | 2.22 c | | Clauses Literals | Max Clauses Literals LPC | | 2.22 c ============================================================================== 2.22 c | 0 | 74305 151250 | 24768 0 0 nan | 0.000 % | 2.23 c | 100 | 74305 151250 | 27244 100 22251 222.5 | 0.000 % | 2.26 c | 254 | 74305 151250 | 29969 254 65869 259.3 | 0.000 % | 2.30 c | 480 | 74305 151250 | 32966 480 158681 330.6 | 0.000 % | 2.36 c | 817 | 74305 151250 | 36262 817 273842 335.2 | 0.000 % | 2.45 c | 1323 | 74305 151250 | 39889 1323 415255 313.9 | 0.000 % | 2.58 c | 2083 | 74305 151250 | 43878 2083 617308 296.4 | 0.000 % | 2.79 c | 3223 | 74305 151250 | 48265 3223 958116 297.3 | 0.000 % | 3.33 c | 4932 | 74305 151250 | 53092 4932 1771727 359.2 | 0.000 % | 4.08 c | 7497 | 74305 151250 | 58401 7497 2828590 377.3 | 0.000 % | 5.15 c | 11341 | 74305 151250 | 64241 11341 4012207 353.8 | 0.000 % | 7.54 c | 17107 | 74305 151250 | 70665 17107 6036072 352.8 | 0.000 % | 14.45 c | 25756 | 74305 151250 | 77732 25756 10975736 426.1 | 0.000 % | 23.30 c | 38731 | 74305 151250 | 85505 38731 17912233 462.5 | 0.000 % | 48.04 c | 58192 | 74305 151250 | 94056 58192 29182540 501.5 | 0.000 % | 95.47 c | 87384 | 74305 151250 | 103462 87384 42556608 487.0 | 0.000 % | 140.88 c | 131185 | 74305 151250 | 113808 39092 24665456 631.0 | 0.000 % | 242.87 c | 196875 | 74305 151250 | 125189 104782 72139622 688.5 | 0.000 % | 470.18 c | 295403 | 74305 151250 | 137708 89610 68993170 769.9 | 0.000 % | 792.97 c | 443196 | 74305 151250 | 151478 112798 96306236 853.8 | 0.000 % | 1347.39 c | 664883 | 74305 151250 | 166626 61314 45824346 747.4 | 0.000 % | 1801.23 c 1801.23 c *** TERMINATED *** 1801.23 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node58/watcher-46112-1154061674 -o ROOT/results/node58/solver-46112-1154061674 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node58/46112-1154061674/instance-46112-1154061674.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1243040/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=1048 CPUtime=0 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 118 0 0 0 0 0 0 0 19 0 1 0 153037283 1073152 102 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 262 102 74 215 0 44 0 [startup+10.0025 s] /proc/loadavg: 0.93 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1195752/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=48232 CPUtime=9.99 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 11898 0 0 0 987 12 0 0 25 0 1 0 153037283 49389568 11882 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 12058 11882 103 215 0 11840 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 48232 [startup+20.0096 s] /proc/loadavg: 0.94 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1166056/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=78100 CPUtime=19.99 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 19355 0 0 0 1984 15 0 0 25 0 1 0 153037283 79974400 19339 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 19525 19339 103 215 0 19307 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 78100 [startup+30.0167 s] /proc/loadavg: 0.95 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1139304/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=105020 CPUtime=29.99 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 26055 0 0 0 2980 19 0 0 25 0 1 0 153037283 107540480 26039 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 26255 26039 103 215 0 26037 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 105020 [startup+40.0227 s] /proc/loadavg: 0.96 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1122280/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=121928 CPUtime=40.01 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 30301 0 0 0 3979 22 0 0 25 0 1 0 153037283 124854272 30285 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 30482 30285 103 215 0 30264 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 121928 [startup+50.0288 s] /proc/loadavg: 0.96 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1107624/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=136600 CPUtime=50.01 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 33959 0 0 0 4976 25 0 0 25 0 1 0 153037283 139878400 33943 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 34150 33943 103 215 0 33932 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 136600 [startup+60.0349 s] /proc/loadavg: 0.97 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1091560/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=152720 CPUtime=60.01 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 37987 0 0 0 5973 28 0 0 25 0 1 0 153037283 156385280 37971 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 38180 37971 103 215 0 37962 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 152720 [startup+70.041 s] /proc/loadavg: 0.97 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1080616/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=163640 CPUtime=70.01 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 40703 0 0 0 6971 30 0 0 25 0 1 0 153037283 167567360 40687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 40910 40687 103 215 0 40692 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 163640 [startup+80.048 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1070632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=173572 CPUtime=80.02 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 43192 0 0 0 7969 33 0 0 25 0 1 0 153037283 177737728 43176 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 43393 43176 103 215 0 43175 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 173572 [startup+90.0541 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1062440/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=181884 CPUtime=90.01 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 45244 0 0 0 8967 34 0 0 25 0 1 0 153037283 186249216 45228 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 45471 45228 103 215 0 45253 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 181884 [startup+100.06 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1043880/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=200568 CPUtime=100.02 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 49867 0 0 0 9964 38 0 0 25 0 1 0 153037283 205381632 49851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578836 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 50142 49851 103 215 0 49924 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 200568 [startup+110.066 s] /proc/loadavg: 0.98 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1015720/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=228588 CPUtime=110.03 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 56902 0 0 0 10960 43 0 0 25 0 1 0 153037283 234074112 56886 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 57147 56886 103 215 0 56929 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 228588 [startup+120.072 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1009832/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=234416 CPUtime=120.03 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58359 0 0 0 11959 44 0 0 25 0 1 0 153037283 240041984 58343 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58604 58343 103 215 0 58386 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 234416 [startup+130.078 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1009832/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=234416 CPUtime=130.04 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58360 0 0 0 12960 44 0 0 25 0 1 0 153037283 240041984 58344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58604 58344 103 215 0 58386 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 234416 [startup+140.084 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1009832/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=234416 CPUtime=140.04 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58360 0 0 0 13960 44 0 0 25 0 1 0 153037283 240041984 58344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58604 58344 103 215 0 58386 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 234416 [startup+150.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1009896/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=234416 CPUtime=150.04 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58360 0 0 0 14960 44 0 0 25 0 1 0 153037283 240041984 58344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58604 58344 103 215 0 58386 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 234416 [startup+160.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1009896/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=234416 CPUtime=160.05 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58360 0 0 0 15961 44 0 0 25 0 1 0 153037283 240041984 58344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58604 58344 103 215 0 58386 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 234416 [startup+170.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1009896/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=234416 CPUtime=170.05 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58360 0 0 0 16961 44 0 0 25 0 1 0 153037283 240041984 58344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58604 58344 103 215 0 58386 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 234416 [startup+180.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1009896/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=234416 CPUtime=180.05 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58360 0 0 0 17961 44 0 0 25 0 1 0 153037283 240041984 58344 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58604 58344 103 215 0 58386 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 234416 [startup+190.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=1008680/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=235604 CPUtime=190.05 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 58658 0 0 0 18961 44 0 0 25 0 1 0 153037283 241258496 58642 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 58901 58642 103 215 0 58683 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 235604 [startup+200.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 /proc/meminfo: memFree=996072/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=248228 CPUtime=200.06 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 61803 0 0 0 19959 47 0 0 25 0 1 0 153037283 254185472 61787 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 62057 61787 103 215 0 61839 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 248228 [startup+210.128 s] /proc/loadavg: 0.99 0.98 0.99 2/64 19923 ################ # More data... # ################ /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178049 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 533296 [startup+1783.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1782.52 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178150 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 533296 [startup+1784.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1783.52 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178250 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006488 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 533296 [startup+1785.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1784.53 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178351 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1784.53 Current children cumulated vsize (Kb) 533296 [startup+1786.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1785.53 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178451 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 533296 [startup+1787.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1786.54 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178552 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580932 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 533296 [startup+1788.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1787.54 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178652 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 533296 [startup+1789.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1788.55 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178753 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 533296 [startup+1790.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1789.55 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178853 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134577360 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 533296 [startup+1791.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1790.55 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 178953 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580968 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1790.55 Current children cumulated vsize (Kb) 533296 [startup+1792.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1791.56 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179054 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 533296 [startup+1793.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1792.56 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179154 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1792.56 Current children cumulated vsize (Kb) 533296 [startup+1794.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1793.57 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179255 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580730 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 533296 [startup+1795.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1794.57 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179355 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 533296 [startup+1796.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1795.58 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179456 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 533296 [startup+1797.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1796.58 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179556 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 533296 [startup+1798.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1797.59 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179657 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 533296 [startup+1799.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1798.59 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179757 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 533296 [startup+1800.22 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1799.6 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179858 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 533296 [startup+1801.23 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1800.6 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179958 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134583956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1800.6 Current children cumulated vsize (Kb) 533296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 0.99 0.98 0.99 2/64 20121 /proc/meminfo: memFree=710632/2055920 swapFree=4182944/4192956 [pid=19923] ppid=19921 vsize=533296 CPUtime=1800.61 /proc/19923/stat : 19923 (minisat+) R 19921 19923 19874 0 -1 4194304 132987 0 0 0 179959 102 0 0 25 0 1 0 153037283 546095104 132956 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580953 0 0 4096 16386 0 0 0 17 1 0 0 /proc/19923/statm: 133324 132956 103 215 0 133106 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 533296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.32 CPU time (s): 1800.7 CPU user time (s): 1799.59 CPU system time (s): 1.11283 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (Kb): 533396 The end
Begin job on node58 on Fri Jul 28 04:41:14 UTC 2006 FILE ID= 46112-1154061674 PBS_JOBID= 882259 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/roussel/normalized-pigeon-clauses-55-50.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node58/46112-1154061674/instance-46112-1154061674.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-46112-1154061674 -o ROOT/results/node58/solver-46112-1154061674 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node58/46112-1154061674/instance-46112-1154061674.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 63e69821c215670f44649de0f2905f57 RANDOM SEED= 959547617 TIMEOUT= 1800 seconds /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.234 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.234 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: 1243184 kB Buffers: 34272 kB Cached: 708664 kB SwapCached: 3840 kB Active: 224144 kB Inactive: 527440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1243184 kB SwapTotal: 4192956 kB SwapFree: 4182944 kB Dirty: 128 kB Writeback: 0 kB Mapped: 14732 kB Slab: 47140 kB Committed_AS: 1024396 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Fri Jul 28 05:11:15 UTC 2006