Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.64 | 1801.3 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb |
MD5SUM | 0292e4cfc08104641d64d11d001b52e1 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 56.2544 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 29401 |
Total number of constraints | 87121 |
Number of constraints which are clauses | 87120 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 29040 |
Number of terms in the objective function | 121 |
Biggest coefficient in the objective function | 1329227995784915872903807060280344576 |
Number of bits for the biggest coefficient in the objective function | 121 |
Sum of the numbers in the objective function | 2658455991569831745807614120560689151 |
Number of bits of the sum of numbers in the objective function | 121 |
Biggest number in a constraint | 1174271291386916613944740298394668513687841274454159935353645485766104512557304221731849499192384351515967488 |
Number of bits of the biggest number in a constraint | 360 |
Biggest sum of numbers in a constraint | 4697085165547666455778961193578674053759190090835006449104283878090284482579702915208197909390404088540790263 |
Number of bits of the biggest sum of numbers | 361 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c Parsing PB file... 4.01 c Converting 87122 PB-constraints to clauses... 4.03 c -- Unit propagations: (none) 38.40 c -- Detecting intervals from adjacent constraints: # 38.42 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 38.60 c ---[ 0]---> Adder-cost: 43072 maxlim: 106119575361295500902516499359177785254067893852678864603999474053312578059 bits: 246/246 109.53 c ==================================[MINISAT+]================================== 109.53 c | Conflicts | Original | Learnt | Progress | 109.53 c | | Clauses Literals | Max Clauses Literals LPC | | 109.53 c ============================================================================== 109.53 c | 0 | 372266 1236675 | 124088 0 0 nan | 0.000 % | 109.56 c | 100 | 372259 1236652 | 136496 99 302 3.1 | 10.827 % | 110.12 c | 250 | 372251 1236622 | 150146 248 988 4.0 | 10.828 % | 110.93 c | 477 | 372209 1236478 | 165161 464 15672 33.8 | 10.835 % | 112.89 c | 816 | 372209 1236478 | 181677 803 30546 38.0 | 10.835 % | 114.80 c | 1322 | 372209 1236478 | 199844 1309 99896 76.3 | 10.835 % | 118.08 c | 2081 | 372074 1236013 | 219829 2050 135271 66.0 | 10.868 % | 123.41 c | 3220 | 372074 1236013 | 241812 3189 181042 56.8 | 10.868 % | 129.53 c | 4929 | 372074 1236013 | 265993 4898 337395 68.9 | 10.868 % | 139.10 c | 7491 | 372005 1235770 | 292593 7450 778586 104.5 | 10.885 % | 156.20 c | 11335 | 372005 1235770 | 321852 11294 1498418 132.7 | 10.885 % | 183.14 c | 17102 | 372005 1235770 | 354037 17061 1993720 116.9 | 10.885 % | 219.49 c | 25751 | 371998 1235747 | 389441 25708 2594733 100.9 | 10.886 % | 272.58 c | 38727 | 371989 1235718 | 428385 38683 3908823 101.0 | 10.889 % | 314.01 c | 58189 | 371845 1235190 | 471223 58087 6164241 106.1 | 10.922 % | 398.99 c | 87382 | 371829 1235130 | 518346 87276 9544944 109.4 | 10.924 % | 524.82 c | 131171 | 371398 1233647 | 570181 130990 20699668 158.0 | 11.017 % | 831.01 c | 196855 | 371122 1232685 | 627199 196455 31334873 159.5 | 11.083 % | 975.73 c | 295381 | 371105 1232628 | 689919 294909 46221750 156.7 | 11.085 % | 1496.75 c | 443170 | 371054 1232455 | 758910 442692 75311662 170.1 | 11.096 % | 1801.22 c 1801.22 c *** TERMINATED *** 1801.22 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/node2/watcher-49784-1154117776 -o ROOT/results/node2/solver-49784-1154117776 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node2/49784-1154117776/instance-49784-1154117776.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 3/64 30570 /proc/meminfo: memFree=1437664/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=1048 CPUtime=0 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 109 0 0 0 0 0 0 0 19 0 1 0 158639184 1073152 93 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619209 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 262 93 74 215 0 44 0 [startup+10.0025 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1400608/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=38352 CPUtime=9.99 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 9963 0 0 0 994 5 0 0 25 0 1 0 158639184 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134812718 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38352 [startup+20.0093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1400800/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=38352 CPUtime=19.99 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 9963 0 0 0 1994 5 0 0 25 0 1 0 158639184 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134621745 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 38352 [startup+30.0151 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1400864/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=38352 CPUtime=29.99 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 9963 0 0 0 2994 5 0 0 25 0 1 0 158639184 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005252 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 38352 [startup+40.021 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1400864/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=38352 CPUtime=39.98 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 9968 0 0 0 3985 13 0 0 25 0 1 0 158639184 39272448 9352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005842 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 9588 9352 88 215 0 9370 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 38352 [startup+50.0268 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1271584/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=169824 CPUtime=49.99 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 42837 0 0 0 4972 27 0 0 25 0 1 0 158639184 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 169824 [startup+60.0327 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1271584/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=169824 CPUtime=59.99 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 42837 0 0 0 5972 27 0 0 25 0 1 0 158639184 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005847 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 169824 [startup+70.0385 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1271584/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=169824 CPUtime=69.99 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 42837 0 0 0 6972 27 0 0 25 0 1 0 158639184 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 169824 [startup+80.0443 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1271584/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=169824 CPUtime=79.99 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 42837 0 0 0 7972 27 0 0 25 0 1 0 158639184 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 169824 [startup+90.0502 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1271584/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=169824 CPUtime=90 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 42837 0 0 0 8973 27 0 0 25 0 1 0 158639184 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005873 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 169824 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1271648/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=169824 CPUtime=100 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 42837 0 0 0 9973 27 0 0 25 0 1 0 158639184 173899776 41561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005317 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 42456 41561 92 215 0 42238 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 169824 [startup+110.062 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265824/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=110 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45021 0 0 0 10971 29 0 0 25 0 1 0 158639184 178655232 43084 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43084 123 215 0 43399 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 174468 [startup+120.068 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265760/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=120.01 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45034 0 0 0 11972 29 0 0 25 0 1 0 158639184 178655232 43097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43097 123 215 0 43399 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 174468 [startup+130.074 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265760/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=130.01 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45035 0 0 0 12972 29 0 0 25 0 1 0 158639184 178655232 43098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43098 123 215 0 43399 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 174468 [startup+140.079 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265760/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=140.01 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45035 0 0 0 13972 29 0 0 25 0 1 0 158639184 178655232 43098 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43098 123 215 0 43399 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 174468 [startup+150.085 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265696/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=150.01 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45036 0 0 0 14972 29 0 0 25 0 1 0 158639184 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 174468 [startup+160.091 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265696/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=160.01 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45036 0 0 0 15972 29 0 0 25 0 1 0 158639184 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 174468 [startup+170.097 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265696/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=170.02 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45036 0 0 0 16973 29 0 0 25 0 1 0 158639184 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 174468 [startup+180.103 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265696/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=180.02 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45036 0 0 0 17973 29 0 0 25 0 1 0 158639184 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581284 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 174468 [startup+190.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265696/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=190.02 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45036 0 0 0 18973 29 0 0 25 0 1 0 158639184 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 174468 [startup+200.115 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 /proc/meminfo: memFree=1265760/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=174468 CPUtime=200.02 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 45036 0 0 0 19973 29 0 0 25 0 1 0 158639184 178655232 43099 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572728 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 43617 43099 123 215 0 43399 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 174468 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30570 ################ # More data... # ################ /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119181 0 0 0 178041 104 0 0 25 0 1 0 158639184 483246080 117244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 117980 117244 123 215 0 117762 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 471920 [startup+1783.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=968104/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=472308 CPUtime=1782.46 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119278 0 0 0 178142 104 0 0 25 0 1 0 158639184 483643392 117341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580783 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118077 117341 123 215 0 117859 0 Current children cumulated CPU time (s) 1782.46 Current children cumulated vsize (Kb) 472308 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=967784/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=472576 CPUtime=1783.47 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119357 0 0 0 178242 105 0 0 25 0 1 0 158639184 483917824 117420 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118144 117420 123 215 0 117926 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 472576 [startup+1785.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=967336/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=473084 CPUtime=1784.48 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119470 0 0 0 178343 105 0 0 25 0 1 0 158639184 484438016 117533 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118271 117533 123 215 0 118053 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 473084 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=966888/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=473488 CPUtime=1785.48 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119583 0 0 0 178443 105 0 0 25 0 1 0 158639184 484851712 117646 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580896 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118372 117646 123 215 0 118154 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 473488 [startup+1787.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=966504/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=473880 CPUtime=1786.48 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119672 0 0 0 178543 105 0 0 25 0 1 0 158639184 485253120 117735 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118470 117735 123 215 0 118252 0 Current children cumulated CPU time (s) 1786.48 Current children cumulated vsize (Kb) 473880 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=966184/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=474148 CPUtime=1787.49 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119758 0 0 0 178644 105 0 0 25 0 1 0 158639184 485527552 117821 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118537 117821 123 215 0 118319 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 474148 [startup+1789.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=965736/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=474544 CPUtime=1788.49 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119856 0 0 0 178744 105 0 0 25 0 1 0 158639184 485933056 117919 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576846 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118636 117919 123 215 0 118418 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 474544 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=965352/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=474940 CPUtime=1789.5 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 119959 0 0 0 178845 105 0 0 25 0 1 0 158639184 486338560 118022 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118735 118022 123 215 0 118517 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 474940 [startup+1791.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=965032/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=475340 CPUtime=1790.5 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120041 0 0 0 178945 105 0 0 25 0 1 0 158639184 486748160 118104 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118835 118104 123 215 0 118617 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 475340 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=964712/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=475604 CPUtime=1791.5 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120121 0 0 0 179045 105 0 0 25 0 1 0 158639184 487018496 118184 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576727 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118901 118184 123 215 0 118683 0 Current children cumulated CPU time (s) 1791.5 Current children cumulated vsize (Kb) 475604 [startup+1793.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=964328/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=475996 CPUtime=1792.51 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120211 0 0 0 179146 105 0 0 25 0 1 0 158639184 487419904 118274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 118999 118274 123 215 0 118781 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 475996 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=964008/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=476392 CPUtime=1793.51 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120297 0 0 0 179246 105 0 0 25 0 1 0 158639184 487825408 118360 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576650 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119098 118360 123 215 0 118880 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 476392 [startup+1795.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=963624/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=476784 CPUtime=1794.52 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120392 0 0 0 179347 105 0 0 25 0 1 0 158639184 488226816 118455 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119196 118455 123 215 0 118978 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 476784 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=963176/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=477184 CPUtime=1795.52 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120498 0 0 0 179447 105 0 0 25 0 1 0 158639184 488636416 118561 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119296 118561 123 215 0 119078 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 477184 [startup+1797.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=962728/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=477584 CPUtime=1796.52 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120603 0 0 0 179547 105 0 0 25 0 1 0 158639184 489046016 118666 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573899 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119396 118666 123 215 0 119178 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 477584 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=962344/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=477984 CPUtime=1797.53 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120701 0 0 0 179648 105 0 0 25 0 1 0 158639184 489455616 118764 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580801 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119496 118764 123 215 0 119278 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 477984 [startup+1799.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=962088/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=478248 CPUtime=1798.53 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120775 0 0 0 179748 105 0 0 25 0 1 0 158639184 489725952 118838 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119562 118838 123 215 0 119344 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 478248 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=961704/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=478644 CPUtime=1799.54 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120860 0 0 0 179849 105 0 0 25 0 1 0 158639184 490131456 118923 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119661 118923 123 215 0 119443 0 Current children cumulated CPU time (s) 1799.54 Current children cumulated vsize (Kb) 478644 [startup+1801.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=961256/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=479040 CPUtime=1800.54 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120985 0 0 0 179949 105 0 0 25 0 1 0 158639184 490536960 119048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119760 119048 123 215 0 119542 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 479040 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.22 s] /proc/loadavg: 1.00 1.00 1.00 2/64 30572 /proc/meminfo: memFree=961256/2055920 swapFree=4182684/4192956 [pid=30570] ppid=30568 vsize=479040 CPUtime=1800.55 /proc/30570/stat : 30570 (minisat+) R 30568 30570 30521 0 -1 4194304 120985 0 0 0 179950 105 0 0 25 0 1 0 158639184 490536960 119048 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/30570/statm: 119760 119048 123 215 0 119542 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 479040 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.3 CPU time (s): 1800.64 CPU user time (s): 1799.5 CPU system time (s): 1.13883 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (Kb): 479040 The end
Begin job on node2 on Fri Jul 28 20:16:16 UTC 2006 FILE ID= 49784-1154117776 PBS_JOBID= 886801 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-330229238.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node2/49784-1154117776/instance-49784-1154117776.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-49784-1154117776 -o ROOT/results/node2/solver-49784-1154117776 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node2/49784-1154117776/instance-49784-1154117776.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 0292e4cfc08104641d64d11d001b52e1 RANDOM SEED= 772945292 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.276 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.276 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: 1437872 kB Buffers: 34452 kB Cached: 524660 kB SwapCached: 3996 kB Active: 84744 kB Inactive: 483372 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1437872 kB SwapTotal: 4192956 kB SwapFree: 4182684 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14528 kB Slab: 35920 kB Committed_AS: 721056 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node2 on Fri Jul 28 20:46:17 UTC 2006