Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.14 | 1800.78 |
Name | normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/ normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb |
MD5SUM | 4309132132f3075979f27880d2e9bd87 |
Bench Category | OPT-BIGINT (optimisation, big integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 7.65983 |
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 | 4697085165547666455778961193578674053925803487664042654232438232254482458885767017065112738772656890028524910 |
Number of bits of the biggest sum of numbers | 361 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 3.98/4.09 c Converting 87122 PB-constraints to clauses... 4.08/4.11 c -- Unit propagations: (none) 38.48/38.55 c -- Detecting intervals from adjacent constraints: # 38.48/38.57 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 38.68/38.74 c ---[ 0]---> Adder-cost: 43312 maxlim: 212847209383558716637177843799960157485324605511796896740974396430028339860 bits: 247/247 109.86/109.98 c ==================================[MINISAT+]================================== 109.86/109.98 c | Conflicts | Original | Learnt | Progress | 109.86/109.98 c | | Clauses Literals | Max Clauses Literals LPC | | 109.86/109.98 c ============================================================================== 109.86/109.98 c | 0 | 373824 1242543 | 124608 0 0 nan | 0.000 % | 109.96/110.07 c | 100 | 373791 1242424 | 137068 95 303 3.2 | 10.636 % | 110.15/110.23 c | 250 | 373422 1241119 | 150775 194 608 3.1 | 10.722 % | 111.55/111.63 c | 475 | 373422 1241119 | 165853 419 3571 8.5 | 10.722 % | 113.15/113.22 c | 814 | 373422 1241119 | 182438 758 35582 46.9 | 10.722 % | 114.65/114.71 c | 1320 | 373422 1241119 | 200682 1264 272581 215.6 | 10.722 % | 116.75/116.84 c | 2079 | 373422 1241119 | 220750 2023 283681 140.2 | 10.722 % | 117.95/118.02 c | 3220 | 373422 1241119 | 242825 3164 335942 106.2 | 10.722 % | 122.35/122.47 c | 4930 | 373422 1241119 | 267108 4874 426437 87.5 | 10.722 % | 123.85/123.99 c | 7492 | 373422 1241119 | 293819 7436 549783 73.9 | 10.722 % | 125.94/126.04 c | 11338 | 373422 1241119 | 323201 11282 903666 80.1 | 10.722 % | 141.94/142.02 c | 17105 | 373301 1240692 | 355521 17029 1710411 100.4 | 10.751 % | 151.34/151.48 c | 25755 | 373162 1240211 | 391073 25605 2510812 98.1 | 10.780 % | 172.03/172.10 c | 38729 | 373151 1240168 | 430180 38578 3453921 89.5 | 10.783 % | 228.32/228.43 c | 58190 | 373047 1239814 | 473198 57999 5792769 99.9 | 10.805 % | 244.22/244.39 c | 87382 | 373036 1239771 | 520518 87190 8913427 102.2 | 10.807 % | 342.39/342.58 c | 131172 | 372909 1239342 | 572570 130939 14415368 110.1 | 10.838 % | 455.85/456.02 c | 196856 | 372877 1239234 | 629827 196616 20651865 105.0 | 10.844 % | 802.85/803.20 c | 295383 | 372695 1238626 | 692810 294780 37043523 125.7 | 10.883 % | 1491.61/1492.16 c | 443172 | 372409 1237656 | 762091 419373 66073976 157.6 | 10.946 % | 1800.07/1800.71 c 1800.07/1800.71 c *** TERMINATED *** 1800.07/1800.71 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/367181-1177068981/instance-367181-1177068981.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-367181-1177068981 -o ROOT/results/node62/solver-367181-1177068981 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367181-1177068981/minisat+ /tmp/evaluation/367181-1177068981/instance-367181-1177068981.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.02 1.01 0.98 3/64 2387 /proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=1048 CPUtime=0 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 115 0 0 0 0 0 0 0 18 0 1 0 25474147 1073152 100 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 262 101 74 215 0 44 0 [startup+0.0527959 s] /proc/loadavg: 1.02 1.01 0.98 3/64 2387 /proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=1640 CPUtime=0.05 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 245 0 0 0 5 0 0 0 18 0 1 0 25474147 1679360 230 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 410 230 74 215 0 192 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1640 [startup+0.101801 s] /proc/loadavg: 1.02 1.01 0.98 3/64 2387 /proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=2080 CPUtime=0.09 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 368 0 0 0 9 0 0 0 18 0 1 0 25474147 2129920 353 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 520 353 74 215 0 302 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2080 [startup+0.301824 s] /proc/loadavg: 1.02 1.01 0.98 3/64 2387 /proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=4124 CPUtime=0.29 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 876 0 0 0 29 0 0 0 19 0 1 0 25474147 4222976 861 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 1031 862 74 215 0 813 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4124 [startup+0.701871 s] /proc/loadavg: 1.02 1.01 0.98 3/64 2387 /proc/meminfo: memFree=1714656/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=8092 CPUtime=0.69 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 1866 0 0 0 69 0 0 0 22 0 1 0 25474147 8286208 1851 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 2023 1851 74 215 0 1805 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8092 [startup+1.50197 s] /proc/loadavg: 1.02 1.01 0.98 2/65 2388 /proc/meminfo: memFree=1704600/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=15956 CPUtime=1.48 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 3791 0 0 0 147 1 0 0 25 0 1 0 25474147 16338944 3776 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 3989 3776 74 215 0 3771 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 15956 [startup+3.10115 s] /proc/loadavg: 1.02 1.01 0.98 2/65 2388 /proc/meminfo: memFree=1693720/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=29492 CPUtime=3.08 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 7127 0 0 0 305 3 0 0 25 0 1 0 25474147 30199808 7062 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 7373 7063 74 215 0 7155 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 29492 [startup+6.30153 s] /proc/loadavg: 1.02 1.01 0.98 2/65 2388 /proc/meminfo: memFree=1676952/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=38352 CPUtime=6.28 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 9962 0 0 0 623 5 0 0 25 0 1 0 25474147 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808992 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38352 [startup+12.7023 s] /proc/loadavg: 1.02 1.01 0.98 2/65 2388 /proc/meminfo: memFree=1677152/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=38352 CPUtime=12.68 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 9962 0 0 0 1263 5 0 0 25 0 1 0 25474147 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 38352 [startup+25.5018 s] /proc/loadavg: 1.01 1.01 0.98 2/65 2388 /proc/meminfo: memFree=1677280/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=38352 CPUtime=25.48 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 9962 0 0 0 2543 5 0 0 25 0 1 0 25474147 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 38352 [startup+51.1018 s] /proc/loadavg: 1.08 1.02 0.99 2/65 2388 /proc/meminfo: memFree=1546976/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=171172 CPUtime=51.07 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 43159 0 0 0 5079 28 0 0 25 0 1 0 25474147 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808967 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 171172 [startup+102.306 s] /proc/loadavg: 1.03 1.02 0.99 2/65 2388 /proc/meminfo: memFree=1546976/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=171172 CPUtime=102.26 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 43159 0 0 0 10198 28 0 0 25 0 1 0 25474147 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003881 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 171172 [startup+162.302 s] /proc/loadavg: 1.01 1.01 0.99 2/65 2388 /proc/meminfo: memFree=1541472/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=175364 CPUtime=162.23 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45362 0 0 0 16194 29 0 0 25 0 1 0 25474147 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 43841 43313 123 215 0 43623 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 175364 [startup+222.302 s] /proc/loadavg: 1.00 1.01 0.99 2/65 2388 /proc/meminfo: memFree=1541472/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=175364 CPUtime=222.23 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45364 0 0 0 22193 30 0 0 25 0 1 0 25474147 179572736 43315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 43841 43315 123 215 0 43623 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 175364 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1541344/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=175364 CPUtime=282.21 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 28191 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 43841 43331 123 215 0 43623 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 175364 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1541344/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=175364 CPUtime=342.19 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 34189 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 43841 43331 123 215 0 43623 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 175364 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1541280/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=175364 CPUtime=402.16 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 40186 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 43841 43331 123 215 0 43623 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 175364 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1541344/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=175364 CPUtime=462.15 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45380 0 0 0 46185 30 0 0 25 0 1 0 25474147 179572736 43331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 43841 43331 123 215 0 43623 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 175364 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1541280/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=175364 CPUtime=522.13 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 45382 0 0 0 52183 30 0 0 25 0 1 0 25474147 179572736 43333 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 43841 43333 123 215 0 43623 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 175364 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1538336/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=178516 CPUtime=582.11 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 46146 0 0 0 58180 31 0 0 25 0 1 0 25474147 182800384 44097 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581017 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 44629 44097 123 215 0 44411 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 178516 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1531744/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=184948 CPUtime=642.1 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 47777 0 0 0 64176 34 0 0 25 0 1 0 25474147 189386752 45728 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 46237 45728 123 215 0 46019 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 184948 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1473952/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=243172 CPUtime=882.02 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 62177 0 0 0 88153 49 0 0 25 0 1 0 25474147 249008128 60128 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 60793 60128 123 215 0 60575 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 243172 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2388 /proc/meminfo: memFree=1449504/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=267800 CPUtime=942.01 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 68338 0 0 0 94147 54 0 0 25 0 1 0 25474147 274227200 66289 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581186 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 66950 66289 123 215 0 66732 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 267800 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1443040/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=274064 CPUtime=1001.99 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 69933 0 0 0 100143 56 0 0 25 0 1 0 25474147 280641536 67884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 68516 67884 123 215 0 68298 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 274064 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1441056/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=276060 CPUtime=1061.98 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 70407 0 0 0 106141 57 0 0 25 0 1 0 25474147 282685440 68358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 69015 68358 123 215 0 68797 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 276060 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1441120/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=276060 CPUtime=1121.96 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 70407 0 0 0 112139 57 0 0 25 0 1 0 25474147 282685440 68358 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 69015 68358 123 215 0 68797 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 276060 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1441056/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=276060 CPUtime=1181.94 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 70412 0 0 0 118137 57 0 0 25 0 1 0 25474147 282685440 68363 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 69015 68363 123 215 0 68797 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 276060 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1433120/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=283836 CPUtime=1241.92 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 72379 0 0 0 124133 59 0 0 25 0 1 0 25474147 290648064 70330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 70959 70330 123 215 0 70741 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 283836 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1425952/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=290976 CPUtime=1301.9 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 74162 0 0 0 130130 60 0 0 25 0 1 0 25474147 297959424 72113 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 72744 72113 123 215 0 72526 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 290976 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1419872/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=297020 CPUtime=1361.88 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 75689 0 0 0 136126 62 0 0 25 0 1 0 25474147 304148480 73640 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 74255 73640 123 215 0 74037 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 297020 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2390 /proc/meminfo: memFree=1410464/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=306620 CPUtime=1421.88 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 78101 0 0 0 142123 65 0 0 25 0 1 0 25474147 313978880 76052 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 76655 76052 123 215 0 76437 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 306620 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/71 2416 /proc/meminfo: memFree=1372520/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=343036 CPUtime=1481.84 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 87230 0 0 0 148114 70 0 0 25 0 1 0 25474147 351268864 85181 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 0 0 0 /proc/2387/statm: 85759 85181 123 215 0 85541 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 343036 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2588 /proc/meminfo: memFree=1365920/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=350452 CPUtime=1541.74 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 89093 0 0 0 154099 75 0 0 25 0 1 0 25474147 358862848 87044 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572684 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 87613 87044 123 215 0 87395 0 Current children cumulated CPU time (s) 1541.74 Current children cumulated vsize (KiB) 350452 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2588 /proc/meminfo: memFree=1361056/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=355428 CPUtime=1601.72 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 90345 0 0 0 160095 77 0 0 25 0 1 0 25474147 363958272 88296 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 88857 88296 123 215 0 88639 0 Current children cumulated CPU time (s) 1601.72 Current children cumulated vsize (KiB) 355428 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2588 /proc/meminfo: memFree=1355424/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=360852 CPUtime=1661.7 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 91707 0 0 0 166092 78 0 0 25 0 1 0 25474147 369512448 89658 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 90213 89658 123 215 0 89995 0 Current children cumulated CPU time (s) 1661.7 Current children cumulated vsize (KiB) 360852 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2588 /proc/meminfo: memFree=1346592/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=369916 CPUtime=1721.68 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 93965 0 0 0 172087 81 0 0 25 0 1 0 25474147 378793984 91916 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 92479 91916 123 215 0 92261 0 Current children cumulated CPU time (s) 1721.68 Current children cumulated vsize (KiB) 369916 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2588 /proc/meminfo: memFree=1299232/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=417736 CPUtime=1781.67 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 105724 0 0 0 178079 88 0 0 25 0 1 0 25474147 427761664 103675 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 104434 103675 123 215 0 104216 0 Current children cumulated CPU time (s) 1781.67 Current children cumulated vsize (KiB) 417736 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2588 /proc/meminfo: memFree=1297248/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=419708 CPUtime=1800.07 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 106212 0 0 0 179918 89 0 0 25 0 1 0 25474147 429780992 104163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 104927 104163 123 215 0 104709 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 419708 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.99 2/65 2588 /proc/meminfo: memFree=1297248/2055920 swapFree=4184556/4192956 [pid=2387] ppid=2385 vsize=419708 CPUtime=1800.07 /proc/2387/stat : 2387 (minisat+) R 2385 2387 1648 0 -1 4194304 106212 0 0 0 179918 89 0 0 25 0 1 0 25474147 429780992 104163 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/2387/statm: 104927 104163 123 215 0 104709 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 419708 Child status: 0 Real time (s): 1800.78 CPU time (s): 1800.14 CPU user time (s): 1799.18 CPU system time (s): 0.959854 CPU usage (%): 99.9649 Max. virtual memory (cumulated for all children) (KiB): 419708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.18 system time used= 0.959854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106213 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 358 involuntary context switches= 2835 runsolver used 1.24681 second user time and 3.89341 second system time The end
Begin job on node62 on Fri Apr 20 11:36:21 UTC 2007 IDJOB= 367181 IDBENCH= 3042 IDSOLVER= 156 FILE ID= node62/367181-1177068981 PBS_JOBID= 4640252 Free space on /tmp= 66492 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=240-sizeP=121-sizeQ=240-817963885.opb COMMAND LINE= /tmp/evaluation/367181-1177068981/minisat+ /tmp/evaluation/367181-1177068981/instance-367181-1177068981.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-367181-1177068981 -o ROOT/results/node62/conversion-367181-1177068981 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/367181-1177068981/instance-367181-1177068981.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-367181-1177068981 -o ROOT/results/node62/solver-367181-1177068981 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/367181-1177068981/minisat+ /tmp/evaluation/367181-1177068981/instance-367181-1177068981.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 4309132132f3075979f27880d2e9bd87 RANDOM SEED= 637635421 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 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.216 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: 1715128 kB Buffers: 29888 kB Cached: 232892 kB SwapCached: 2148 kB Active: 157332 kB Inactive: 122032 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1715128 kB SwapTotal: 4192956 kB SwapFree: 4184556 kB Dirty: 6504 kB Writeback: 0 kB Mapped: 22980 kB Slab: 47444 kB Committed_AS: 1061352 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66492 MiB End job on node62 on Fri Apr 20 12:06:24 UTC 2007