Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.73 | 1801.26 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb |
MD5SUM | 7371465ba0e0d5bc10bb1d033f8bcd56 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
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 c Parsing PB file... 3.99 c Converting 87122 PB-constraints to clauses... 4.01 c -- Unit propagations: (none) 38.56 c -- Detecting intervals from adjacent constraints: # 38.58 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 38.74 c ---[ 0]---> Adder-cost: 43072 maxlim: 106119575361295500902516499359177785254067893852678864603999474053312578059 bits: 246/246 109.38 c ==================================[MINISAT+]================================== 109.38 c | Conflicts | Original | Learnt | Progress | 109.38 c | | Clauses Literals | Max Clauses Literals LPC | | 109.38 c ============================================================================== 109.38 c | 0 | 372266 1236675 | 124088 0 0 nan | 0.000 % | 109.41 c | 100 | 372259 1236652 | 136496 99 302 3.1 | 10.827 % | 109.53 c | 251 | 372259 1236652 | 150146 250 3630 14.5 | 10.827 % | 110.28 c | 477 | 372183 1236386 | 165161 466 16812 36.1 | 10.845 % | 111.06 c | 814 | 372183 1236386 | 181677 803 24538 30.6 | 10.845 % | 113.04 c | 1320 | 372183 1236386 | 199844 1309 32117 24.5 | 10.845 % | 115.27 c | 2079 | 372183 1236386 | 219829 2068 38339 18.5 | 10.845 % | 117.28 c | 3218 | 372183 1236386 | 241812 3207 132507 41.3 | 10.845 % | 122.85 c | 4926 | 372183 1236386 | 265993 4915 287905 58.6 | 10.845 % | 126.68 c | 7488 | 372174 1236355 | 292593 7474 476007 63.7 | 10.846 % | 129.70 c | 11333 | 372174 1236355 | 321852 11319 691414 61.1 | 10.846 % | 134.08 c | 17099 | 372174 1236355 | 354037 17085 987098 57.8 | 10.846 % | 143.70 c | 25749 | 372158 1236303 | 389441 25733 1747054 67.9 | 10.849 % | 154.42 c | 38724 | 372158 1236303 | 428385 38708 2660083 68.7 | 10.849 % | 183.34 c | 58188 | 372150 1236277 | 471223 58171 4259667 73.2 | 10.850 % | 229.87 c | 87380 | 372150 1236277 | 518346 87363 6451762 73.9 | 10.850 % | 254.30 c | 131169 | 372142 1236251 | 570181 131151 10235158 78.0 | 10.852 % | 371.06 c | 196855 | 372142 1236251 | 627199 196837 16344446 83.0 | 10.852 % | 529.47 c | 295385 | 372006 1235783 | 689919 295346 27176356 92.0 | 10.880 % | 892.93 c | 443174 | 371990 1235731 | 758910 443133 44170701 99.7 | 10.883 % | 1323.59 c | 664857 | 371649 1234524 | 834802 664756 74015685 111.3 | 10.960 % | 1801.18 c 1801.18 c *** TERMINATED *** 1801.18 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node21/watcher-49790-1154118599 -o ROOT/results/node21/solver-49790-1154118599 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/49790-1154118599/instance-49790-1154118599.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1445712/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=1048 CPUtime=0 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 101 0 0 0 0 0 0 0 19 0 1 0 158720734 1073152 85 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 262 85 67 215 0 44 0 [startup+10.0021 s] /proc/loadavg: 0.93 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1408528/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=38352 CPUtime=9.99 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 9964 0 0 0 994 5 0 0 25 0 1 0 158720734 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805931 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38352 [startup+20.0091 s] /proc/loadavg: 0.94 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1408784/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=38352 CPUtime=19.99 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 9964 0 0 0 1994 5 0 0 25 0 1 0 158720734 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621712 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 38352 [startup+30.0162 s] /proc/loadavg: 0.95 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1408912/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=38352 CPUtime=30 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 9964 0 0 0 2995 5 0 0 25 0 1 0 158720734 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621528 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 38352 [startup+40.0224 s] /proc/loadavg: 0.96 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1408848/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=38352 CPUtime=39.99 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 9969 0 0 0 3987 12 0 0 25 0 1 0 158720734 39272448 9352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 9588 9352 88 215 0 9370 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38352 [startup+50.0285 s] /proc/loadavg: 0.96 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1279568/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=169824 CPUtime=49.99 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 42837 0 0 0 4972 27 0 0 25 0 1 0 158720734 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003889 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 169824 [startup+60.0346 s] /proc/loadavg: 0.97 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1279632/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=169824 CPUtime=60 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 42837 0 0 0 5973 27 0 0 25 0 1 0 158720734 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005838 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 169824 [startup+70.0407 s] /proc/loadavg: 0.97 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1279632/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=169824 CPUtime=70 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 42837 0 0 0 6973 27 0 0 25 0 1 0 158720734 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838065 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 169824 [startup+80.0468 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1279632/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=169824 CPUtime=80 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 42837 0 0 0 7973 27 0 0 25 0 1 0 158720734 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010100 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 169824 [startup+90.0529 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1279632/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=169824 CPUtime=90.01 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 42837 0 0 0 8974 27 0 0 25 0 1 0 158720734 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003235 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 169824 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1279632/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=169824 CPUtime=100.01 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 42837 0 0 0 9974 27 0 0 25 0 1 0 158720734 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134834136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 169824 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273808/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=110.01 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45031 0 0 0 10972 29 0 0 25 0 1 0 158720734 178655232 43094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43094 123 215 0 43399 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 174468 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273808/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=120.02 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45033 0 0 0 11973 29 0 0 25 0 1 0 158720734 178655232 43096 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43096 123 215 0 43399 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 174468 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=130.02 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45036 0 0 0 12973 29 0 0 25 0 1 0 158720734 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 174468 [startup+140.083 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=140.02 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45041 0 0 0 13973 29 0 0 25 0 1 0 158720734 178655232 43104 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581210 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43104 123 215 0 43399 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 174468 [startup+150.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=150.03 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45041 0 0 0 14974 29 0 0 25 0 1 0 158720734 178655232 43104 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43104 123 215 0 43399 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 174468 [startup+160.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=160.03 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45041 0 0 0 15974 29 0 0 25 0 1 0 158720734 178655232 43104 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43104 123 215 0 43399 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 174468 [startup+170.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=170.03 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45041 0 0 0 16974 29 0 0 25 0 1 0 158720734 178655232 43104 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43104 123 215 0 43399 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 174468 [startup+180.109 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=180.03 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45042 0 0 0 17974 29 0 0 25 0 1 0 158720734 178655232 43105 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574378 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43105 123 215 0 43399 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 174468 [startup+190.115 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=190.04 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45044 0 0 0 18975 29 0 0 25 0 1 0 158720734 178655232 43107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43107 123 215 0 43399 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 174468 [startup+200.121 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 /proc/meminfo: memFree=1273744/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=174468 CPUtime=200.04 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 45044 0 0 0 19975 29 0 0 25 0 1 0 158720734 178655232 43107 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 43617 43107 123 215 0 43399 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 174468 [startup+210.127 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24563 ################ # More data... # ################ /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 115774 0 0 0 178045 110 0 0 25 0 1 0 158720734 469700608 113837 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574245 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114673 113837 123 215 0 114455 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 458692 [startup+1783.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=989840/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=458952 CPUtime=1782.56 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 115820 0 0 0 178146 110 0 0 25 0 1 0 158720734 469966848 113883 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114738 113883 123 215 0 114520 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 458952 [startup+1784.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=989712/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459076 CPUtime=1783.56 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 115855 0 0 0 178246 110 0 0 25 0 1 0 158720734 470093824 113918 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580848 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114769 113918 123 215 0 114551 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 459076 [startup+1785.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=989584/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459208 CPUtime=1784.57 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 115894 0 0 0 178347 110 0 0 25 0 1 0 158720734 470228992 113957 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114802 113957 123 215 0 114584 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 459208 [startup+1786.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=989456/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459340 CPUtime=1785.57 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 115928 0 0 0 178447 110 0 0 25 0 1 0 158720734 470364160 113991 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581469 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114835 113991 123 215 0 114617 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 459340 [startup+1787.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=989264/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459472 CPUtime=1786.57 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 115964 0 0 0 178547 110 0 0 25 0 1 0 158720734 470499328 114027 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114868 114027 123 215 0 114650 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 459472 [startup+1788.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=989136/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459604 CPUtime=1787.58 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 115998 0 0 0 178648 110 0 0 25 0 1 0 158720734 470634496 114061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580886 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114901 114061 123 215 0 114683 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 459604 [startup+1789.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=989008/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459732 CPUtime=1788.58 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116038 0 0 0 178748 110 0 0 25 0 1 0 158720734 470765568 114101 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114933 114101 123 215 0 114715 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 459732 [startup+1790.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=988816/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459864 CPUtime=1789.59 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116073 0 0 0 178849 110 0 0 25 0 1 0 158720734 470900736 114136 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580842 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114966 114136 123 215 0 114748 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 459864 [startup+1791.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=988752/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=459996 CPUtime=1790.59 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116103 0 0 0 178949 110 0 0 25 0 1 0 158720734 471035904 114166 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574451 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 114999 114166 123 215 0 114781 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 459996 [startup+1792.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=988560/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=460260 CPUtime=1791.6 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116144 0 0 0 179050 110 0 0 25 0 1 0 158720734 471306240 114207 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115065 114207 123 215 0 114847 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 460260 [startup+1793.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=988432/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=460392 CPUtime=1792.6 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116182 0 0 0 179150 110 0 0 25 0 1 0 158720734 471441408 114245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115098 114245 123 215 0 114880 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 460392 [startup+1794.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=988304/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=460524 CPUtime=1793.61 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116209 0 0 0 179251 110 0 0 25 0 1 0 158720734 471576576 114272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115131 114272 123 215 0 114913 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 460524 [startup+1795.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=988112/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=460656 CPUtime=1794.62 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116249 0 0 0 179351 111 0 0 25 0 1 0 158720734 471711744 114312 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115164 114312 123 215 0 114946 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 460656 [startup+1796.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=988048/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=460788 CPUtime=1795.62 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116279 0 0 0 179451 111 0 0 25 0 1 0 158720734 471846912 114342 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115197 114342 123 215 0 114979 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 460788 [startup+1797.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=987856/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=460920 CPUtime=1796.63 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116321 0 0 0 179552 111 0 0 25 0 1 0 158720734 471982080 114384 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115230 114384 123 215 0 115012 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 460920 [startup+1798.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=987664/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=461052 CPUtime=1797.63 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116362 0 0 0 179652 111 0 0 25 0 1 0 158720734 472117248 114425 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115263 114425 123 215 0 115045 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 461052 [startup+1799.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=987472/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=461316 CPUtime=1798.64 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116410 0 0 0 179753 111 0 0 25 0 1 0 158720734 472387584 114473 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115329 114473 123 215 0 115111 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 461316 [startup+1800.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=987344/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=461448 CPUtime=1799.64 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116448 0 0 0 179853 111 0 0 25 0 1 0 158720734 472522752 114511 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115362 114511 123 215 0 115144 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 461448 [startup+1801.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=987152/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=461580 CPUtime=1800.65 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116495 0 0 0 179954 111 0 0 25 0 1 0 158720734 472657920 114558 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115395 114558 123 215 0 115177 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 461580 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 24565 /proc/meminfo: memFree=987152/2055920 swapFree=4182912/4192956 [pid=24563] ppid=24561 vsize=461580 CPUtime=1800.65 /proc/24563/stat : 24563 (minisat+) R 24561 24563 24514 0 -1 4194304 116495 0 0 0 179954 111 0 0 25 0 1 0 158720734 472657920 114558 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581173 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24563/statm: 115395 114558 123 215 0 115177 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 461580 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.26 CPU time (s): 1800.73 CPU user time (s): 1799.54 CPU system time (s): 1.18582 CPU usage (%): 99.9704 Max. virtual memory (cumulated for all children) (Kb): 461580 The end
Begin job on node21 on Fri Jul 28 20:29:59 UTC 2006 FILE ID= 49790-1154118599 PBS_JOBID= 886825 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238-max.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/49790-1154118599/instance-49790-1154118599.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-49790-1154118599 -o ROOT/results/node21/solver-49790-1154118599 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node21/49790-1154118599/instance-49790-1154118599.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 7371465ba0e0d5bc10bb1d033f8bcd56 RANDOM SEED= 442458194 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 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.231 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: 1445920 kB Buffers: 25572 kB Cached: 534048 kB SwapCached: 3692 kB Active: 38092 kB Inactive: 530064 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1445920 kB SwapTotal: 4192956 kB SwapFree: 4182912 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14464 kB Slab: 27868 kB Committed_AS: 711280 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node21 on Fri Jul 28 21:00:01 UTC 2006