Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.11 | 1800.58 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb |
MD5SUM | 0292e4cfc08104641d64d11d001b52e1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 7.78382 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 29401 |
Total number of constraints | 87121 |
Number of constraints which are clauses | 87120 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29040 |
Number of terms in the objective function | 121 |
Biggest coefficient in the objective function | 1329227995784915872903807060280344576 |
Number of bits for the biggest coefficient in the objective function | 121 |
Sum of the numbers in the objective function | 2658455991569831745807614120560689151 |
Number of bits of the sum of numbers in the objective function | 121 |
Biggest number in a constraint | 1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488 |
Number of bits of the biggest number in a constraint | 360 |
Biggest sum of numbers in a constraint | 4697085165547666455778961193578674053759190090835006449104283878090284482579702915208197909390404088540790263 |
Number of bits of the biggest sum of numbers | 361 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 3.99/4.09 c Converting 87122 PB-constraints to clauses... 4.09/4.11 c -- Unit propagations: (none) 39.07/39.17 c -- Detecting intervals from adjacent constraints: # 39.07/39.19 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 39.28/39.35 c ---[ 0]---> Adder-cost: 43072 maxlim: 106119575361295500902516499359177785254067893852678864603999474053312578059 bits: 246/246 109.86/109.99 c ==================================[MINISAT+]================================== 109.86/109.99 c | Conflicts | Original | Learnt | Progress | 109.86/109.99 c | | Clauses Literals | Max Clauses Literals LPC | | 109.86/109.99 c ============================================================================== 109.86/109.99 c | 0 | 372266 1236675 | 124088 0 0 nan | 0.000 % | 109.96/110.01 c | 100 | 372259 1236652 | 136496 99 302 3.1 | 10.827 % | 110.46/110.57 c | 250 | 372251 1236622 | 150146 248 988 4.0 | 10.828 % | 111.26/111.39 c | 477 | 372209 1236478 | 165161 464 15672 33.8 | 10.835 % | 113.26/113.35 c | 816 | 372209 1236478 | 181677 803 30546 38.0 | 10.835 % | 115.16/115.26 c | 1322 | 372209 1236478 | 199844 1309 99896 76.3 | 10.835 % | 118.45/118.55 c | 2081 | 372074 1236013 | 219829 2050 135271 66.0 | 10.868 % | 123.85/123.90 c | 3220 | 372074 1236013 | 241812 3189 181042 56.8 | 10.868 % | 129.95/130.02 c | 4929 | 372074 1236013 | 265993 4898 337395 68.9 | 10.868 % | 139.55/139.60 c | 7491 | 372005 1235770 | 292593 7450 778586 104.5 | 10.885 % | 156.64/156.72 c | 11335 | 372005 1235770 | 321852 11294 1498418 132.7 | 10.885 % | 183.64/183.73 c | 17102 | 372005 1235770 | 354037 17061 1993720 116.9 | 10.885 % | 220.03/220.18 c | 25751 | 371998 1235747 | 389441 25708 2594733 100.9 | 10.886 % | 273.31/273.40 c | 38727 | 371989 1235718 | 428385 38683 3908823 101.0 | 10.889 % | 314.80/314.91 c | 58189 | 371845 1235190 | 471223 58087 6164241 106.1 | 10.922 % | 399.88/400.09 c | 87382 | 371829 1235130 | 518346 87276 9544944 109.4 | 10.924 % | 526.15/526.34 c | 131171 | 371398 1233647 | 570181 130990 20699668 158.0 | 11.017 % | 833.27/833.58 c | 196855 | 371122 1232685 | 627199 196455 31334873 159.5 | 11.083 % | 978.63/978.92 c | 295381 | 371105 1232628 | 689919 294909 46221750 156.7 | 11.085 % | 1502.10/1502.58 c | 443170 | 371054 1232455 | 758910 442692 75311662 170.1 | 11.096 % | 1800.02/1800.50 c 1800.02/1800.50 c *** TERMINATED *** 1800.02/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/366953-1177068181/instance-366953-1177068181.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node34/watcher-366953-1177068181 -o ROOT/results/node34/solver-366953-1177068181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366953-1177068181/minisat+ /tmp/evaluation/366953-1177068181/instance-366953-1177068181.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.00 1.00 3/77 7191 /proc/meminfo: memFree=1832456/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=1048 CPUtime=0 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 116 0 0 0 0 0 0 0 18 0 1 0 154733610 1073152 101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135006187 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 262 101 74 215 0 44 0 [startup+0.00687706 s] /proc/loadavg: 1.02 1.00 1.00 3/77 7191 /proc/meminfo: memFree=1832456/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=1048 CPUtime=0 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 124 0 0 0 0 0 0 0 18 0 1 0 154733610 1073152 109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 262 109 74 215 0 44 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 1048 [startup+0.101885 s] /proc/loadavg: 1.02 1.00 1.00 3/77 7191 /proc/meminfo: memFree=1832456/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=2080 CPUtime=0.09 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 368 0 0 0 9 0 0 0 18 0 1 0 154733610 2129920 353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 520 353 74 215 0 302 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2080 [startup+0.301899 s] /proc/loadavg: 1.02 1.00 1.00 3/77 7191 /proc/meminfo: memFree=1832456/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=4124 CPUtime=0.29 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 877 0 0 0 29 0 0 0 19 0 1 0 154733610 4222976 862 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 1031 862 74 215 0 813 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4124 [startup+0.701931 s] /proc/loadavg: 1.02 1.00 1.00 3/77 7191 /proc/meminfo: memFree=1832456/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=8092 CPUtime=0.69 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 1868 0 0 0 69 0 0 0 23 0 1 0 154733610 8286208 1853 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 2023 1853 74 215 0 1805 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8092 [startup+1.50199 s] /proc/loadavg: 1.02 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1822400/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=15956 CPUtime=1.49 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 3791 0 0 0 148 1 0 0 25 0 1 0 154733610 16338944 3776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 3989 3776 74 215 0 3771 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15956 [startup+3.10112 s] /proc/loadavg: 1.02 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1811584/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=29492 CPUtime=3.09 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 7113 0 0 0 306 3 0 0 25 0 1 0 154733610 30199808 7048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809935 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 7373 7048 74 215 0 7155 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 29492 [startup+6.30137 s] /proc/loadavg: 1.02 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1794752/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=38352 CPUtime=6.29 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 9962 0 0 0 625 4 0 0 25 0 1 0 154733610 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 38352 [startup+12.7019 s] /proc/loadavg: 1.02 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1794816/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=38352 CPUtime=12.69 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 9962 0 0 0 1265 4 0 0 25 0 1 0 154733610 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38352 [startup+25.5019 s] /proc/loadavg: 1.01 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1795072/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=38352 CPUtime=25.48 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 9962 0 0 0 2544 4 0 0 25 0 1 0 154733610 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621814 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38352 [startup+51.1019 s] /proc/loadavg: 1.01 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1665984/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=169824 CPUtime=51.07 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 42836 0 0 0 5078 29 0 0 25 0 1 0 154733610 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134839070 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 169824 [startup+102.306 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1666048/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=169824 CPUtime=102.26 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 42836 0 0 0 10197 29 0 0 25 0 1 0 154733610 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134530456 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 169824 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1660096/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=162.24 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45035 0 0 0 16193 31 0 0 25 0 1 0 154733610 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 174468 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1660096/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=222.23 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45035 0 0 0 22191 32 0 0 25 0 1 0 154733610 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580789 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 174468 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1660096/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=282.21 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45035 0 0 0 28189 32 0 0 25 0 1 0 154733610 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 174468 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1660032/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=342.19 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45045 0 0 0 34187 32 0 0 25 0 1 0 154733610 178655232 43109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43109 123 215 0 43399 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 174468 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1659968/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=402.18 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45045 0 0 0 40185 33 0 0 25 0 1 0 154733610 178655232 43109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43109 123 215 0 43399 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 174468 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1659904/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=462.16 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45045 0 0 0 46183 33 0 0 25 0 1 0 154733610 178655232 43109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43109 123 215 0 43399 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 174468 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1659968/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=522.15 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45045 0 0 0 52181 34 0 0 25 0 1 0 154733610 178655232 43109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43109 123 215 0 43399 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 174468 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1659904/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=582.13 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45045 0 0 0 58179 34 0 0 25 0 1 0 154733610 178655232 43109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43109 123 215 0 43399 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 174468 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1659904/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=174468 CPUtime=642.13 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 45045 0 0 0 64178 35 0 0 25 0 1 0 154733610 178655232 43109 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 43617 43109 123 215 0 43399 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 174468 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7192 /proc/meminfo: memFree=1629952/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=204876 CPUtime=882.05 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 52514 0 0 0 88162 43 0 0 25 0 1 0 154733610 209793024 50578 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 51219 50578 123 215 0 51001 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 204876 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1612608/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=222388 CPUtime=942.04 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 56933 0 0 0 94155 49 0 0 25 0 1 0 154733610 227725312 54997 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 55597 54997 123 215 0 55379 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 222388 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1573568/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=260716 CPUtime=1002.03 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 66571 0 0 0 100145 58 0 0 25 0 1 0 154733610 266973184 64635 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 65179 64635 123 215 0 64961 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 260716 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1562624/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=272416 CPUtime=1062.01 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 69357 0 0 0 106140 61 0 0 25 0 1 0 154733610 278953984 67421 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 68104 67421 123 215 0 67886 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 272416 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1553664/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=281240 CPUtime=1121.99 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 71564 0 0 0 112135 64 0 0 25 0 1 0 154733610 287989760 69628 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581113 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 70310 69628 123 215 0 70092 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 281240 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1542464/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=292504 CPUtime=1181.98 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 74399 0 0 0 118131 67 0 0 25 0 1 0 154733610 299524096 72463 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 73126 72463 123 215 0 72908 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 292504 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1526848/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=307764 CPUtime=1241.97 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 78238 0 0 0 124126 71 0 0 25 0 1 0 154733610 315150336 76302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 76941 76302 123 215 0 76723 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 307764 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1519936/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=314592 CPUtime=1301.95 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 79949 0 0 0 130122 73 0 0 25 0 1 0 154733610 322142208 78013 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 78648 78013 123 215 0 78430 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 314592 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1506112/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=328276 CPUtime=1361.93 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 83390 0 0 0 136116 77 0 0 25 0 1 0 154733610 336154624 81454 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 82069 81454 123 215 0 81851 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 328276 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1486592/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=347668 CPUtime=1421.91 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 88254 0 0 0 142109 82 0 0 25 0 1 0 154733610 356012032 86318 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 86917 86318 123 215 0 86699 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 347668 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1461184/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=373004 CPUtime=1481.9 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 94623 0 0 0 148102 88 0 0 25 0 1 0 154733610 381956096 92687 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 93251 92687 123 215 0 93033 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 373004 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 7194 /proc/meminfo: memFree=1445376/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=388596 CPUtime=1541.89 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 98567 0 0 0 154095 94 0 0 25 0 1 0 154733610 397922304 96631 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 97149 96631 123 215 0 96931 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 388596 [startup+1602.3 s] /proc/loadavg: 1.07 1.02 1.00 2/78 7194 /proc/meminfo: memFree=1424640/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=410288 CPUtime=1601.87 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 103769 0 0 0 160087 100 0 0 25 0 1 0 154733610 420134912 101833 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 102572 101833 123 215 0 102354 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 410288 [startup+1662.3 s] /proc/loadavg: 1.08 1.03 1.00 2/78 7194 /proc/meminfo: memFree=1406016/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=428620 CPUtime=1661.85 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 108348 0 0 0 166081 104 0 0 25 0 1 0 154733610 438906880 106412 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 107155 106412 123 215 0 106937 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 428620 [startup+1722.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 7194 /proc/meminfo: memFree=1385472/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=449372 CPUtime=1721.83 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 113534 0 0 0 172074 109 0 0 25 0 1 0 154733610 460156928 111598 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580950 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 112343 111598 123 215 0 112125 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 449372 [startup+1782.3 s] /proc/loadavg: 1.01 1.02 1.00 2/78 7194 /proc/meminfo: memFree=1364672/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=469812 CPUtime=1781.82 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 118668 0 0 0 178068 114 0 0 25 0 1 0 154733610 481087488 116732 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 117453 116732 123 215 0 117235 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 469812 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.01 1.01 1.00 2/78 7194 /proc/meminfo: memFree=1357952/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=476388 CPUtime=1800.02 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 120301 0 0 0 179887 115 0 0 25 0 1 0 154733610 487821312 118365 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 119097 118365 123 215 0 118879 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 476388 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.01 1.01 1.00 2/78 7194 /proc/meminfo: memFree=1357952/2055920 swapFree=4159644/4192956 [pid=7191] ppid=7189 vsize=476388 CPUtime=1800.02 /proc/7191/stat : 7191 (minisat+) R 7189 7191 5982 0 -1 4194304 120301 0 0 0 179887 115 0 0 25 0 1 0 154733610 487821312 118365 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/7191/statm: 119097 118365 123 215 0 118879 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 476388 Child status: 0 Real time (s): 1800.58 CPU time (s): 1800.11 CPU user time (s): 1798.87 CPU system time (s): 1.23381 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 476388 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.87 system time used= 1.23381 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 120302 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 138 involuntary context switches= 3496 runsolver used 2.09868 second user time and 4.5973 second system time The end
Begin job on node34 on Fri Apr 20 11:23:02 UTC 2007 IDJOB= 366953 IDBENCH= 2967 IDSOLVER= 156 FILE ID= node34/366953-1177068181 PBS_JOBID= 4640223 Free space on /tmp= 66407 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb COMMAND LINE= /tmp/evaluation/366953-1177068181/minisat+ /tmp/evaluation/366953-1177068181/instance-366953-1177068181.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node34/convwatcher-366953-1177068181 -o ROOT/results/node34/conversion-366953-1177068181 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/366953-1177068181/instance-366953-1177068181.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-366953-1177068181 -o ROOT/results/node34/solver-366953-1177068181 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/366953-1177068181/minisat+ /tmp/evaluation/366953-1177068181/instance-366953-1177068181.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 0292e4cfc08104641d64d11d001b52e1 RANDOM SEED= 166344678 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node34.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.236 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.236 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: 1832864 kB Buffers: 36672 kB Cached: 95928 kB SwapCached: 2788 kB Active: 95908 kB Inactive: 63920 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832864 kB SwapTotal: 4192956 kB SwapFree: 4159644 kB Dirty: 6596 kB Writeback: 0 kB Mapped: 34288 kB Slab: 48468 kB Committed_AS: 1519208 kB PageTables: 1984 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66407 MiB End job on node34 on Fri Apr 20 11:53:04 UTC 2007