Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.69 | 1801.21 |
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 | 56.4524 |
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 c Parsing PB file... 3.98 c Converting 87122 PB-constraints to clauses... 4.00 c -- Unit propagations: (none) 38.01 c -- Detecting intervals from adjacent constraints: # 38.04 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 38.21 c ---[ 0]---> Adder-cost: 43312 maxlim: 212847209383558716637177843799960157485324605511796896740974396430028339860 bits: 247/247 109.46 c ==================================[MINISAT+]================================== 109.46 c | Conflicts | Original | Learnt | Progress | 109.46 c | | Clauses Literals | Max Clauses Literals LPC | | 109.46 c ============================================================================== 109.46 c | 0 | 373824 1242543 | 124608 0 0 nan | 0.000 % | 109.55 c | 100 | 373791 1242424 | 137068 95 303 3.2 | 10.636 % | 109.71 c | 250 | 373422 1241119 | 150775 194 608 3.1 | 10.722 % | 111.12 c | 475 | 373422 1241119 | 165853 419 3571 8.5 | 10.722 % | 112.72 c | 814 | 373422 1241119 | 182438 758 35582 46.9 | 10.722 % | 114.20 c | 1320 | 373422 1241119 | 200682 1264 272581 215.6 | 10.722 % | 116.30 c | 2079 | 373422 1241119 | 220750 2023 283681 140.2 | 10.722 % | 117.48 c | 3220 | 373422 1241119 | 242825 3164 335942 106.2 | 10.722 % | 121.86 c | 4930 | 373422 1241119 | 267108 4874 426437 87.5 | 10.722 % | 123.35 c | 7492 | 373422 1241119 | 293819 7436 549783 73.9 | 10.722 % | 125.40 c | 11338 | 373422 1241119 | 323201 11282 903666 80.1 | 10.722 % | 141.33 c | 17105 | 373301 1240692 | 355521 17029 1710411 100.4 | 10.751 % | 150.80 c | 25755 | 373162 1240211 | 391073 25605 2510812 98.1 | 10.780 % | 171.36 c | 38729 | 373151 1240168 | 430180 38578 3453921 89.5 | 10.783 % | 227.41 c | 58190 | 373047 1239814 | 473198 57999 5792769 99.9 | 10.805 % | 243.16 c | 87382 | 373036 1239771 | 520518 87190 8913427 102.2 | 10.807 % | 340.87 c | 131172 | 372909 1239342 | 572570 130939 14415368 110.1 | 10.838 % | 453.79 c | 196856 | 372877 1239234 | 629827 196616 20651865 105.0 | 10.844 % | 798.93 c | 295383 | 372695 1238626 | 692810 294780 37043523 125.7 | 10.883 % | 1484.28 c | 443172 | 372409 1237656 | 762091 419373 66073976 157.6 | 10.946 % | 1801.14 c 1801.14 c *** TERMINATED *** 1801.14 s UNKNOWN
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node43/watcher-49859-1154123607 -o ROOT/results/node43/solver-49859-1154123607 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49859-1154123607/instance-49859-1154123607.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=1075768/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=1048 CPUtime=0 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 159231745 1073152 95 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 262 95 74 215 0 44 0 [startup+10.0019 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=1038592/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=38352 CPUtime=9.99 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9963 0 0 0 994 5 0 0 25 0 1 0 159231745 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805925 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 38352 [startup+20.0088 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=1038856/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=38352 CPUtime=19.99 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9963 0 0 0 1994 5 0 0 25 0 1 0 159231745 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012197 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 38352 [startup+30.0146 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=1038920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=38352 CPUtime=29.99 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9963 0 0 0 2994 5 0 0 25 0 1 0 159231745 39272448 9347 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134805829 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 9588 9347 83 215 0 9370 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 38352 [startup+40.0205 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=1038920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=38352 CPUtime=39.99 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 9968 0 0 0 3986 13 0 0 25 0 1 0 159231745 39272448 9352 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012143 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 9588 9352 88 215 0 9370 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 38352 [startup+50.0264 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=171172 CPUtime=49.99 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 4970 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012146 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 171172 [startup+60.0322 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=171172 CPUtime=59.99 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 5970 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 171172 [startup+70.0381 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=171172 CPUtime=70 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 6971 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005310 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 171172 [startup+80.0449 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=171172 CPUtime=80 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 7971 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134680482 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 171172 [startup+90.0498 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=171172 CPUtime=90 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 8971 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135012073 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 171172 [startup+100.056 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=908360/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=171172 CPUtime=100.01 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 43160 0 0 0 9972 29 0 0 25 0 1 0 159231745 175280128 41884 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 42793 41884 92 215 0 42575 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 171172 [startup+110.061 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902984/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=110.01 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45344 0 0 0 10971 30 0 0 25 0 1 0 159231745 179572736 43294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43294 123 215 0 43623 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 175364 [startup+120.067 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=120.02 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45362 0 0 0 11972 30 0 0 25 0 1 0 159231745 179572736 43312 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43312 123 215 0 43623 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 175364 [startup+130.073 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=130.02 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 12972 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43313 123 215 0 43623 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 175364 [startup+140.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=140.02 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 13972 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43313 123 215 0 43623 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 175364 [startup+150.086 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=150.03 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 14973 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43313 123 215 0 43623 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 175364 [startup+160.092 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=160.03 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 15973 30 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43313 123 215 0 43623 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 175364 [startup+170.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=170.04 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 16973 31 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579841 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43313 123 215 0 43623 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 175364 [startup+180.103 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902984/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=180.05 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45363 0 0 0 17974 31 0 0 25 0 1 0 159231745 179572736 43313 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43313 123 215 0 43623 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 175364 [startup+190.109 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=190.05 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45365 0 0 0 18974 31 0 0 25 0 1 0 159231745 179572736 43315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588770 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43315 123 215 0 43623 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 175364 [startup+200.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 /proc/meminfo: memFree=902920/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=175364 CPUtime=200.05 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 45365 0 0 0 19974 31 0 0 25 0 1 0 159231745 179572736 43315 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 43841 43315 123 215 0 43623 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 175364 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 4862 ################ # More data... # ################ /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106010 0 0 0 178063 89 0 0 25 0 1 0 159231745 429002752 103960 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104737 103960 123 215 0 104519 0 Current children cumulated CPU time (s) 1781.52 Current children cumulated vsize (Kb) 418948 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5060 /proc/meminfo: memFree=659464/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419076 CPUtime=1782.53 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106056 0 0 0 178164 89 0 0 25 0 1 0 159231745 429133824 104006 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104769 104006 123 215 0 104551 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 419076 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5060 /proc/meminfo: memFree=659336/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419208 CPUtime=1783.53 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106091 0 0 0 178264 89 0 0 25 0 1 0 159231745 429268992 104041 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104802 104041 123 215 0 104584 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 419208 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5060 /proc/meminfo: memFree=659272/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419208 CPUtime=1784.54 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106101 0 0 0 178365 89 0 0 25 0 1 0 159231745 429268992 104051 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104802 104051 123 215 0 104584 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 419208 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5060 /proc/meminfo: memFree=659272/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419208 CPUtime=1785.54 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106108 0 0 0 178465 89 0 0 25 0 1 0 159231745 429268992 104058 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104802 104058 123 215 0 104584 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 419208 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 1.00 2/64 5060 /proc/meminfo: memFree=659272/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419340 CPUtime=1786.55 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106114 0 0 0 178566 89 0 0 25 0 1 0 159231745 429404160 104064 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104835 104064 123 215 0 104617 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 419340 [startup+1788.07 s] /proc/loadavg: 1.08 1.02 1.01 2/64 5060 /proc/meminfo: memFree=659208/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419340 CPUtime=1787.55 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106126 0 0 0 178666 89 0 0 25 0 1 0 159231745 429404160 104076 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104835 104076 123 215 0 104617 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 419340 [startup+1789.08 s] /proc/loadavg: 1.08 1.02 1.01 2/64 5060 /proc/meminfo: memFree=659208/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419340 CPUtime=1788.56 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106131 0 0 0 178767 89 0 0 25 0 1 0 159231745 429404160 104081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104835 104081 123 215 0 104617 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 419340 [startup+1790.08 s] /proc/loadavg: 1.08 1.02 1.01 2/64 5060 /proc/meminfo: memFree=659208/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419472 CPUtime=1789.56 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106144 0 0 0 178867 89 0 0 25 0 1 0 159231745 429539328 104094 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104868 104094 123 215 0 104650 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 419472 [startup+1791.09 s] /proc/loadavg: 1.08 1.02 1.01 2/64 5060 /proc/meminfo: memFree=658952/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=419604 CPUtime=1790.56 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106207 0 0 0 178967 89 0 0 25 0 1 0 159231745 429674496 104157 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 104901 104157 123 215 0 104683 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 419604 [startup+1792.09 s] /proc/loadavg: 1.08 1.02 1.01 2/64 5060 /proc/meminfo: memFree=658568/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=420000 CPUtime=1791.57 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106295 0 0 0 179068 89 0 0 25 0 1 0 159231745 430080000 104245 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105000 104245 123 215 0 104782 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 420000 [startup+1793.09 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=658248/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=420264 CPUtime=1792.57 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106370 0 0 0 179168 89 0 0 25 0 1 0 159231745 430350336 104320 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105066 104320 123 215 0 104848 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 420264 [startup+1794.1 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=658248/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=420396 CPUtime=1793.57 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106375 0 0 0 179268 89 0 0 25 0 1 0 159231745 430485504 104325 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576145 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105099 104325 123 215 0 104881 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 420396 [startup+1795.1 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=657992/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=420528 CPUtime=1794.58 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106438 0 0 0 179369 89 0 0 25 0 1 0 159231745 430620672 104388 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105132 104388 123 215 0 104914 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 420528 [startup+1796.11 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=657544/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=421056 CPUtime=1795.58 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106556 0 0 0 179469 89 0 0 25 0 1 0 159231745 431161344 104506 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105264 104506 123 215 0 105046 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 421056 [startup+1797.11 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=656776/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=421848 CPUtime=1796.59 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106741 0 0 0 179570 89 0 0 25 0 1 0 159231745 431972352 104691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007864 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105462 104691 123 215 0 105244 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 421848 [startup+1798.12 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=656200/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=422372 CPUtime=1797.6 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 106882 0 0 0 179670 90 0 0 25 0 1 0 159231745 432508928 104832 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105593 104832 123 215 0 105375 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 422372 [startup+1799.12 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=655432/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=423168 CPUtime=1798.6 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107082 0 0 0 179770 90 0 0 25 0 1 0 159231745 433324032 105032 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105792 105032 123 215 0 105574 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 423168 [startup+1800.13 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=655304/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=423296 CPUtime=1799.61 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107111 0 0 0 179871 90 0 0 25 0 1 0 159231745 433455104 105061 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105824 105061 123 215 0 105606 0 Current children cumulated CPU time (s) 1799.61 Current children cumulated vsize (Kb) 423296 [startup+1801.13 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=655240/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=423296 CPUtime=1800.61 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107130 0 0 0 179971 90 0 0 25 0 1 0 159231745 433455104 105080 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105824 105080 123 215 0 105606 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 423296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 1.07 1.02 1.00 2/64 5060 /proc/meminfo: memFree=655240/2055920 swapFree=4182980/4192956 [pid=4862] ppid=4860 vsize=423296 CPUtime=1800.62 /proc/4862/stat : 4862 (minisat+) R 4860 4862 4813 0 -1 4194304 107131 0 0 0 179972 90 0 0 25 0 1 0 159231745 433455104 105081 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581159 0 0 4096 16386 0 0 0 17 1 0 0 /proc/4862/statm: 105824 105081 123 215 0 105606 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 423296 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.21 CPU time (s): 1800.69 CPU user time (s): 1799.72 CPU system time (s): 0.970852 CPU usage (%): 99.9712 Max. virtual memory (cumulated for all children) (Kb): 423296 The end
Begin job on node43 on Fri Jul 28 21:53:27 UTC 2006 FILE ID= 49859-1154123607 PBS_JOBID= 887101 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= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49859-1154123607/instance-49859-1154123607.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-49859-1154123607 -o ROOT/results/node43/solver-49859-1154123607 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node43/49859-1154123607/instance-49859-1154123607.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= 4309132132f3075979f27880d2e9bd87 RANDOM SEED= 44974565 TIMEOUT= 1800 seconds /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.221 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.221 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: 1075984 kB Buffers: 36368 kB Cached: 877784 kB SwapCached: 4256 kB Active: 132968 kB Inactive: 790320 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1075984 kB SwapTotal: 4192956 kB SwapFree: 4182980 kB Dirty: 152 kB Writeback: 0 kB Mapped: 14476 kB Slab: 42700 kB Committed_AS: 661520 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jul 28 22:23:29 UTC 2006