Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
minisat+ 1.14 | SAT (TO) | -46 | 1800.54 | 1801.2 |
Name | normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/ ~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb |
MD5SUM | dc857dc123c51e1f53f981679774fda8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -49 |
Best CPU time to get the best result obtained on this benchmark | 1800.55 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -49 |
Optimality of the best value was proved | NO |
Number of variables | 1150 |
Total number of constraints | 80072 |
Number of constraints which are clauses | 80072 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2 |
Number of terms in the objective function | 1150 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1150 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1150 |
Number of bits of the biggest sum of numbers | 11 |
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... 2.16 c Converting 80072 PB-constraints to clauses... 2.17 c -- Unit propagations: (none) 2.17 c -- Detecting intervals from adjacent constraints: (none) 2.17 c -- Clauses(.)/Splits(s): ........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................ 2.35 c ==================================[MINISAT+]================================== 2.35 c | Conflicts | Original | Learnt | Progress | 2.35 c | | Clauses Literals | Max Clauses Literals LPC | | 2.35 c ============================================================================== 2.35 c | 0 | 80072 160144 | 26690 0 0 nan | 0.000 % | 2.35 c ============================================================================== 2.35 c [1mFound solution: -37[0m 2.35 o -37 2.36 c ---[ 0]---> Sorter-cost:63046 Base: 2.50 c ==================================[MINISAT+]================================== 2.50 c | Conflicts | Original | Learnt | Progress | 2.50 c | | Clauses Literals | Max Clauses Literals LPC | | 2.50 c ============================================================================== 2.50 c | 0 | 147988 319466 | 49329 0 0 nan | 0.000 % | 2.78 c | 100 | 147362 318162 | 54261 77 551 7.2 | 0.736 % | 3.02 c | 250 | 146841 317054 | 59688 209 2448 11.7 | 1.369 % | 3.35 c | 475 | 145811 314812 | 65656 398 4382 11.0 | 2.680 % | 3.90 c | 812 | 144010 310871 | 72222 677 8303 12.3 | 4.995 % | 4.70 c | 1318 | 141157 304558 | 79444 1060 12573 11.9 | 8.737 % | 5.79 c | 2077 | 136776 294746 | 87389 1627 19630 12.1 | 14.610 % | 7.40 c | 3216 | 131215 282210 | 96128 2497 29631 11.9 | 22.142 % | 9.61 c | 4924 | 123727 265107 | 105741 3779 49504 13.1 | 32.476 % | 11.52 c ============================================================================== 11.52 c [1mFound solution: -39[0m 11.52 o -39 11.54 c ---[ 0]---> Sorter-cost: 0 Base: 11.61 c ==================================[MINISAT+]================================== 11.61 c | Conflicts | Original | Learnt | Progress | 11.61 c | | Clauses Literals | Max Clauses Literals LPC | | 11.61 c ============================================================================== 11.61 c | 6427 | 116683 248991 | 38894 4766 61496 12.9 | 32.476 % | 11.76 c | 6527 | 116204 247870 | 42783 4831 62291 12.9 | 43.100 % | 11.92 c | 6677 | 115663 246594 | 47061 4934 63665 12.9 | 43.849 % | 12.15 c | 6902 | 114831 244655 | 51767 5110 65775 12.9 | 44.973 % | 12.51 c | 7239 | 113564 241690 | 56944 5351 69474 13.0 | 46.827 % | 13.09 c | 7746 | 111539 236942 | 62639 5688 74185 13.0 | 49.645 % | 13.90 c | 8505 | 108258 229196 | 68903 6014 79861 13.3 | 54.380 % | 14.66 c | 9645 | 106402 224792 | 75793 6813 92319 13.6 | 57.095 % | 15.93 c | 11355 | 103049 216804 | 83372 7947 113001 14.2 | 62.021 % | 17.67 c | 13917 | 98383 205681 | 91710 9480 147925 15.6 | 68.784 % | 19.72 c | 17761 | 94811 197102 | 100881 12081 211420 17.5 | 74.113 % | 22.24 c | 23527 | 91940 190193 | 110969 16325 396509 24.3 | 78.405 % | 23.39 c ============================================================================== 23.39 c [1mFound solution: -40[0m 23.39 o -40 23.41 c ---[ 0]---> Sorter-cost: 0 Base: 23.49 c ==================================[MINISAT+]================================== 23.49 c | Conflicts | Original | Learnt | Progress | 23.49 c | | Clauses Literals | Max Clauses Literals LPC | | 23.49 c ============================================================================== 23.49 c | 26517 | 91505 189103 | 30501 18993 511336 26.9 | 78.405 % | 23.54 c | 26617 | 91453 188977 | 33551 19046 513223 26.9 | 79.155 % | 23.59 c | 26767 | 91403 188856 | 36906 19147 514654 26.9 | 79.230 % | 23.66 c | 26993 | 91347 188722 | 40596 19332 517806 26.8 | 79.308 % | 23.76 c | 27330 | 91347 188722 | 44656 19669 531077 27.0 | 79.308 % | 23.92 c | 27836 | 91347 188722 | 49122 20175 549790 27.3 | 79.308 % | 24.18 c | 28595 | 91336 188697 | 54034 20920 586573 28.0 | 79.323 % | 24.68 c | 29734 | 91040 187971 | 59437 21902 671987 30.7 | 79.772 % | 25.34 c | 31442 | 91021 187926 | 65381 23576 759400 32.2 | 79.800 % | 26.31 c | 34004 | 90924 187692 | 71919 26012 920916 35.4 | 79.947 % | 27.89 c ============================================================================== 27.89 c [1mFound solution: -42[0m 27.89 o -42 27.91 c ---[ 0]---> Sorter-cost: 0 Base: 28.00 c ==================================[MINISAT+]================================== 28.00 c | Conflicts | Original | Learnt | Progress | 28.00 c | | Clauses Literals | Max Clauses Literals LPC | | 28.00 c ============================================================================== 28.00 c | 37368 | 90426 186513 | 30142 28875 1073664 37.2 | 79.947 % | 28.11 c | 37468 | 90272 186133 | 33156 28788 1071210 37.2 | 80.912 % | 28.20 c | 37618 | 90272 186133 | 36471 28938 1078094 37.3 | 80.912 % | 28.38 c | 37845 | 90055 185604 | 40119 28990 1084507 37.4 | 81.229 % | 28.69 c | 38182 | 89765 184919 | 44130 29091 1093267 37.6 | 81.654 % | 28.98 c | 38690 | 89677 184699 | 48543 29419 1114490 37.9 | 81.794 % | 29.32 c | 39449 | 89637 184597 | 53398 30143 1175417 39.0 | 81.859 % | 29.84 c | 40590 | 89554 184394 | 58738 31209 1251534 40.1 | 81.988 % | 30.72 c | 42298 | 89419 184073 | 64612 32883 1358367 41.3 | 82.189 % | 32.10 c | 44861 | 89408 184048 | 71073 35430 1659938 46.9 | 82.204 % | 34.23 c | 48706 | 89194 183528 | 78180 38940 1937517 49.8 | 82.527 % | 37.82 c | 54473 | 89111 183331 | 85998 44007 2548488 57.9 | 82.650 % | 43.75 c | 63122 | 88944 182914 | 94598 52476 3364323 64.1 | 82.920 % | 55.29 c | 76097 | 88814 182580 | 104058 65300 4943713 75.7 | 83.140 % | 57.09 c ============================================================================== 57.09 c [1mFound solution: -43[0m 57.09 o -43 57.11 c ---[ 0]---> Sorter-cost: 0 Base: 57.26 c ==================================[MINISAT+]================================== 57.26 c | Conflicts | Original | Learnt | Progress | 57.26 c | | Clauses Literals | Max Clauses Literals LPC | | 57.26 c ============================================================================== 57.26 c | 77862 | 88826 182643 | 29608 67005 5167051 77.1 | 83.140 % | 57.51 c | 77964 | 88784 182545 | 32568 67090 5171321 77.1 | 83.214 % | 57.65 c | 78114 | 88784 182545 | 35825 67240 5180522 77.0 | 83.214 % | 57.93 c | 78339 | 88743 182450 | 39408 67391 5196716 77.1 | 83.270 % | 58.32 c | 78678 | 88708 182365 | 43349 67686 5220332 77.1 | 83.324 % | 58.90 c | 79184 | 88704 182355 | 47683 68174 5263297 77.2 | 83.330 % | 59.96 c | 79943 | 88664 182255 | 52452 68714 5301058 77.1 | 83.395 % | 61.20 c | 81082 | 88585 182068 | 57697 69580 5394262 77.5 | 83.511 % | 62.96 c | 82790 | 88519 181910 | 63467 71223 5554743 78.0 | 83.610 % | 65.51 c | 85352 | 88517 181906 | 69814 73749 5848295 79.3 | 83.612 % | 70.11 c | 89198 | 88366 181535 | 76795 77183 6388766 82.8 | 83.847 % | 77.61 c | 94964 | 88258 181285 | 84475 82844 7485378 90.4 | 83.993 % | 81.36 c ============================================================================== 81.36 c [1mFound solution: -44[0m 81.36 o -44 81.38 c ---[ 0]---> Sorter-cost: 0 Base: 81.56 c ==================================[MINISAT+]================================== 81.56 c | Conflicts | Original | Learnt | Progress | 81.56 c | | Clauses Literals | Max Clauses Literals LPC | | 81.56 c ============================================================================== 81.56 c | 98263 | 88158 181016 | 29386 85817 7763842 90.5 | 83.993 % | 81.81 c | 98364 | 88158 181016 | 32324 22455 2013545 89.7 | 84.158 % | 81.89 c | 98514 | 88158 181016 | 35557 22605 2027056 89.7 | 84.158 % | 81.97 c | 98740 | 88158 181016 | 39112 22831 2038443 89.3 | 84.158 % | 82.17 c | 99077 | 88158 181016 | 43024 23168 2078602 89.7 | 84.158 % | 82.44 c | 99583 | 88158 181016 | 47326 23674 2126008 89.8 | 84.158 % | 82.85 c | 100342 | 88158 181016 | 52059 24433 2186274 89.5 | 84.158 % | 83.50 c | 101484 | 88150 180996 | 57265 25550 2295749 89.9 | 84.170 % | 84.60 c | 103195 | 88096 180868 | 62991 27218 2436552 89.5 | 84.250 % | 86.18 c | 105757 | 88096 180868 | 69290 29780 2702781 90.8 | 84.250 % | 88.49 c | 109601 | 88046 180746 | 76219 33602 3048134 90.7 | 84.328 % | 92.98 c | 115367 | 88046 180746 | 83841 39368 3668323 93.2 | 84.328 % | 99.71 c | 124016 | 88046 180746 | 92225 48017 4913028 102.3 | 84.328 % | 112.94 c | 136990 | 87949 180511 | 101448 60968 6988775 114.6 | 84.476 % | 135.77 c | 156451 | 87902 180392 | 111593 80363 9395711 116.9 | 84.553 % | 149.65 c ============================================================================== 149.65 c [1mFound solution: -45[0m 149.65 o -45 149.67 c ---[ 0]---> Sorter-cost: 0 Base: 149.88 c ==================================[MINISAT+]================================== 149.88 c | Conflicts | Original | Learnt | Progress | 149.88 c | | Clauses Literals | Max Clauses Literals LPC | | 149.88 c ============================================================================== 149.88 c | 166657 | 87834 180240 | 29278 90507 10717436 118.4 | 84.553 % | 150.15 c | 166757 | 87834 180240 | 32205 23788 1691897 71.1 | 84.668 % | 150.26 c | 166907 | 87789 180133 | 35426 23933 1702187 71.1 | 84.735 % | 150.38 c | 167132 | 87789 180133 | 38969 24158 1720163 71.2 | 84.735 % | 150.61 c | 167470 | 87789 180133 | 42865 24496 1758488 71.8 | 84.735 % | 151.07 c | 167976 | 87628 179729 | 47152 24984 1795588 71.9 | 84.980 % | 151.61 c | 168736 | 87561 179560 | 51867 25707 1847965 71.9 | 85.083 % | 152.34 c | 169875 | 87561 179560 | 57054 26846 1997820 74.4 | 85.083 % | 153.31 c | 171583 | 87555 179546 | 62759 28551 2143274 75.1 | 85.092 % | 154.69 c | 174145 | 87543 179518 | 69035 31109 2357991 75.8 | 85.109 % | 157.52 c | 177989 | 87543 179518 | 75939 34953 2874390 82.2 | 85.109 % | 162.01 c | 183757 | 87535 179500 | 83533 40698 3596006 88.4 | 85.120 % | 170.71 c | 192406 | 87535 179500 | 91886 49347 4807829 97.4 | 85.120 % | 183.58 c | 205380 | 87464 179337 | 101075 62280 6436341 103.3 | 85.217 % | 207.96 c | 224841 | 87464 179337 | 111183 81741 9073077 111.0 | 85.217 % | 257.13 c | 254033 | 87464 179337 | 122301 110933 13542456 122.1 | 85.217 % | 349.23 c | 297822 | 87384 179141 | 134531 154625 20442372 132.2 | 85.339 % | 440.82 c | 363506 | 87216 178745 | 147984 67514 7609443 112.7 | 85.584 % | 505.70 c ============================================================================== 505.70 c [1mFound solution: -46[0m 505.70 o -46 505.71 c ---[ 0]---> Sorter-cost: 0 Base: 505.96 c ==================================[MINISAT+]================================== 505.96 c | Conflicts | Original | Learnt | Progress | 505.96 c | | Clauses Literals | Max Clauses Literals LPC | | 505.96 c ============================================================================== 505.96 c | 411751 | 87018 178221 | 29006 115674 13737610 118.8 | 85.584 % | 506.52 c | 411851 | 87018 178221 | 31906 21029 1773539 84.3 | 85.899 % | 506.58 c | 412001 | 87018 178221 | 35097 21179 1780724 84.1 | 85.899 % | 506.70 c | 412226 | 87018 178221 | 38606 21404 1796727 83.9 | 85.899 % | 506.86 c | 412563 | 87018 178221 | 42467 21741 1823239 83.9 | 85.899 % | 507.11 c | 413069 | 87018 178221 | 46714 22247 1857821 83.5 | 85.899 % | 507.58 c | 413829 | 86958 178068 | 51385 22992 1915092 83.3 | 85.996 % | 508.12 c | 414968 | 86958 178068 | 56524 24131 1997649 82.8 | 85.996 % | 509.04 c | 416677 | 86958 178068 | 62176 25840 2205825 85.4 | 85.996 % | 510.36 c | 419239 | 86958 178068 | 68394 28402 2468274 86.9 | 85.996 % | 512.68 c | 423084 | 86894 177916 | 75234 32224 2878031 89.3 | 86.088 % | 515.40 c | 428850 | 86849 177808 | 82757 37983 3312211 87.2 | 86.155 % | 521.52 c | 437499 | 86843 177792 | 91033 46629 4208316 90.3 | 86.166 % | 533.52 c | 450473 | 86832 177765 | 100136 59597 5749774 96.5 | 86.183 % | 554.58 c | 469936 | 86832 177765 | 110150 79060 8000314 101.2 | 86.183 % | 595.52 c | 499128 | 86828 177757 | 121165 108248 11033862 101.9 | 86.187 % | 671.52 c | 542917 | 86779 177640 | 133281 151704 16519856 108.9 | 86.260 % | 759.53 c | 608602 | 86727 177520 | 146609 67402 7115433 105.6 | 86.333 % | 913.76 c | 707130 | 86677 177394 | 161270 165918 18275033 110.1 | 86.415 % | 1142.61 c | 854921 | 86607 177225 | 177398 137161 14829842 108.1 | 86.520 % | 1558.16 c | 1076605 | 86592 177190 | 195137 163699 11940908 72.9 | 86.542 % | 1801.17 c 1801.17 c *** TERMINATED *** 1801.17 s SATISFIABLE 1801.17 v -x1150 -x1149 x1148 -x1147 -x1146 -x1145 -x1144 -x1143 -x1142 -x1141 -x1140 -x1139 -x1138 -x1137 -x1136 -x1135 -x1134 1801.17 v -x1133 -x1132 -x1131 -x1130 -x1129 -x1128 -x1127 -x1126 -x1125 -x1124 -x1123 -x1122 -x1121 -x1120 -x1119 -x1118 -x1117 1801.17 v -x1116 -x1115 -x1114 -x1113 -x1112 x1111 -x1110 -x1109 -x1108 -x1107 -x1106 -x1105 -x1104 -x1103 -x1102 -x1101 -x1100 1801.17 v -x1099 -x1098 -x1097 -x1096 -x1095 -x1094 -x1093 -x1092 x1091 -x1090 -x1089 -x1088 -x1087 -x1086 -x1085 -x1084 -x1083 1801.17 v -x1082 -x1081 -x1080 -x1079 -x1078 -x1077 -x1076 -x1075 -x1074 -x1073 -x1072 -x1071 -x1070 -x1069 -x1068 -x1067 -x1066 1801.17 v -x1065 -x1064 -x1063 -x1062 -x1061 -x1060 x1059 -x1058 x1057 -x1056 -x1055 -x1054 -x1053 -x1052 -x1051 -x1050 -x1049 -x1048 1801.17 v -x1047 -x1046 -x1045 -x1044 -x1043 -x1042 -x1041 -x1040 -x1039 -x1038 -x1037 -x1036 -x1035 -x1034 -x1033 -x1032 -x1031 1801.17 v -x1030 -x1029 -x1028 -x1027 -x1026 -x1025 -x1024 -x1023 -x1022 -x1021 -x1020 -x1019 -x1018 -x1017 -x1016 -x1015 -x1014 1801.17 v x1013 -x1012 -x1011 -x1010 -x1009 -x1008 -x1007 -x1006 -x1005 -x1004 -x1003 -x1002 -x1001 -x1000 -x999 x998 -x997 -x996 1801.17 v -x995 -x994 -x993 -x992 -x991 -x990 -x989 -x988 -x987 -x986 -x985 -x984 -x983 -x982 -x981 x980 -x979 -x978 -x977 -x976 -x975 1801.17 v -x974 -x973 -x972 -x971 -x970 -x969 -x968 -x967 -x966 -x965 -x964 -x963 -x962 -x961 -x960 -x959 -x958 -x957 -x956 x955 -x954 1801.17 v -x953 -x952 -x951 -x950 -x949 -x948 -x947 -x946 -x945 -x944 -x943 -x942 -x941 -x940 -x939 -x938 -x937 -x936 -x935 -x934 -x933 1801.17 v -x932 -x931 -x930 -x929 -x928 -x927 -x926 -x925 -x924 x923 -x922 -x921 -x920 -x919 -x918 -x917 -x916 -x915 -x914 -x913 -x912 1801.17 v x911 -x910 -x909 -x908 -x907 -x906 -x905 -x904 -x903 -x902 -x901 -x900 -x899 -x898 -x897 -x896 -x895 -x894 -x893 -x892 -x891 1801.17 v -x890 -x889 -x888 -x887 -x886 -x885 -x884 -x883 -x882 -x881 x880 -x879 -x878 -x877 -x876 -x875 -x874 -x873 -x872 -x871 x870 1801.17 v -x869 -x868 -x867 -x866 -x865 -x864 -x863 -x862 -x861 -x860 -x859 -x858 -x857 -x856 -x855 -x854 -x853 -x852 -x851 -x850 -x849 1801.17 v -x848 -x847 -x846 -x845 -x844 -x843 -x842 -x841 -x840 -x839 -x838 -x837 -x836 -x835 -x834 -x833 -x832 -x831 -x830 -x829 -x828 1801.17 v -x827 -x826 -x825 -x824 -x823 -x822 -x821 -x820 -x819 -x818 -x817 -x816 x815 -x814 -x813 -x812 -x811 -x810 -x809 -x808 -x807 1801.17 v -x806 -x805 x804 -x803 -x802 -x801 -x800 -x799 -x798 -x797 -x796 -x795 -x794 -x793 -x792 -x791 -x790 -x789 -x788 -x787 -x786 1801.17 v -x785 -x784 -x783 -x782 -x781 -x780 -x779 -x778 -x777 -x776 -x775 -x774 -x773 -x772 -x771 -x770 -x769 x768 -x767 -x766 -x765 1801.17 v -x764 -x763 -x762 -x761 -x760 -x759 -x758 -x757 -x756 -x755 -x754 -x753 x752 -x751 -x750 -x749 -x748 -x747 -x746 -x745 -x744 1801.17 v -x743 -x742 -x741 -x740 -x739 -x738 -x737 -x736 -x735 -x734 -x733 -x732 -x731 -x730 -x729 -x728 -x727 x726 -x725 -x724 -x723 1801.17 v -x722 -x721 -x720 -x719 -x718 -x717 -x716 -x715 -x714 -x713 -x712 -x711 -x710 -x709 -x708 -x707 -x706 x705 -x704 -x703 -x702 1801.17 v -x701 -x700 -x699 -x698 -x697 -x696 -x695 -x694 -x693 -x692 -x691 -x690 -x689 -x688 -x687 -x686 -x685 -x684 -x683 -x682 -x681 1801.17 v -x680 -x679 -x678 -x677 -x676 -x675 -x674 -x673 -x672 -x671 -x670 -x669 -x668 x667 -x666 -x665 -x664 -x663 -x662 -x661 -x660 1801.17 v -x659 -x658 -x657 -x656 -x655 -x654 -x653 -x652 -x651 -x650 -x649 -x648 -x647 -x646 -x645 -x644 -x643 -x642 -x641 -x640 -x639 1801.17 v -x638 -x637 -x636 -x635 -x634 x633 -x632 -x631 -x630 -x629 -x628 -x627 -x626 -x625 -x624 -x623 -x622 -x621 -x620 -x619 -x618 1801.17 v -x617 -x616 -x615 -x614 -x613 -x612 -x611 -x610 -x609 -x608 -x607 -x606 -x605 x604 -x603 -x602 -x601 -x600 -x599 -x598 -x597 1801.17 v -x596 -x595 -x594 -x593 -x592 -x591 -x590 -x589 -x588 -x587 -x586 -x585 -x584 -x583 -x582 -x581 -x580 x579 -x578 -x577 -x576 1801.17 v -x575 x574 -x573 -x572 -x571 -x570 -x569 -x568 -x567 -x566 -x565 -x564 -x563 -x562 -x561 -x560 -x559 -x558 -x557 -x556 -x555 1801.17 v -x554 -x553 -x552 -x551 -x550 -x549 -x548 -x547 -x546 -x545 -x544 -x543 -x542 -x541 -x540 -x539 -x538 -x537 -x536 -x535 -x534 1801.17 v -x533 -x532 -x531 x530 -x529 -x528 -x527 -x526 -x525 -x524 -x523 -x522 -x521 -x520 -x519 -x518 -x517 -x516 -x515 -x514 -x513 1801.17 v x512 -x511 -x510 -x509 -x508 -x507 -x506 -x505 -x504 -x503 -x502 -x501 -x500 -x499 -x498 -x497 -x496 -x495 -x494 -x493 -x492 1801.17 v -x491 -x490 -x489 -x488 x487 -x486 -x485 -x484 -x483 -x482 -x481 -x480 -x479 -x478 -x477 -x476 -x475 -x474 -x473 -x472 -x471 1801.17 v -x470 -x469 -x468 -x467 -x466 -x465 -x464 -x463 -x462 -x461 -x460 -x459 -x458 -x457 -x456 -x455 -x454 -x453 -x452 -x451 -x450 1801.17 v -x449 -x448 x447 -x446 -x445 -x444 -x443 -x442 -x441 -x440 -x439 -x438 -x437 -x436 -x435 -x434 -x433 -x432 -x431 -x430 x429 1801.17 v -x428 -x427 -x426 -x425 -x424 -x423 -x422 -x421 -x420 -x419 -x418 -x417 -x416 -x415 -x414 -x413 -x412 -x411 -x410 -x409 -x408 1801.17 v -x407 -x406 -x405 -x404 -x403 -x402 x401 -x400 -x399 -x398 -x397 -x396 -x395 -x394 -x393 -x392 -x391 -x390 -x389 x388 -x387 1801.17 v -x386 -x385 -x384 -x383 -x382 -x381 -x380 -x379 -x378 -x377 -x376 -x375 -x374 -x373 -x372 -x371 -x370 -x369 -x368 -x367 -x366 1801.17 v -x365 -x364 -x363 -x362 -x361 -x360 -x359 -x358 -x357 -x356 -x355 x354 -x353 -x352 -x351 -x350 -x349 -x348 -x347 -x346 -x345 1801.17 v -x344 -x343 -x342 -x341 -x340 -x339 -x338 -x337 -x336 -x335 -x334 -x333 -x332 -x331 -x330 -x329 -x328 -x327 x326 -x325 -x324 1801.17 v -x323 -x322 -x321 -x320 -x319 -x318 -x317 -x316 -x315 -x314 -x313 -x312 -x311 -x310 -x309 -x308 -x307 -x306 -x305 -x304 -x303 1801.17 v -x302 -x301 x300 -x299 -x298 -x297 -x296 -x295 -x294 -x293 -x292 -x291 -x290 -x289 -x288 x287 -x286 -x285 -x284 -x283 -x282 1801.17 v -x281 -x280 -x279 -x278 -x277 -x276 -x275 -x274 -x273 -x272 -x271 -x270 -x269 -x268 -x267 -x266 -x265 -x264 -x263 -x262 -x261 1801.17 v -x260 -x259 -x258 -x257 -x256 x255 -x254 -x253 -x252 -x251 -x250 -x249 -x248 -x247 -x246 -x245 -x244 -x243 -x242 -x241 -x240 1801.17 v x239 -x238 -x237 -x236 -x235 -x234 -x233 -x232 -x231 -x230 -x229 -x228 -x227 -x226 -x225 -x224 -x223 x222 -x221 -x220 -x219 1801.17 v -x218 -x217 -x216 -x215 -x214 -x213 -x212 -x211 -x210 -x209 -x208 -x207 -x206 -x205 -x204 -x203 -x202 -x201 -x200 x199 -x198 1801.17 v -x197 -x196 -x195 -x194 -x193 -x192 -x191 -x190 -x189 -x188 -x187 -x186 -x185 -x184 -x183 -x182 -x181 -x180 -x179 -x178 -x177 1801.17 v -x176 -x175 -x174 -x173 -x172 -x171 x170 -x169 -x168 -x167 -x166 -x165 -x164 -x163 -x162 x161 -x160 -x159 -x158 -x157 -x156 1801.17 v -x155 -x154 -x153 -x152 -x151 -x150 -x149 -x148 -x147 -x146 -x145 -x144 -x143 -x142 -x141 -x140 -x139 -x138 -x137 -x136 -x135 1801.17 v -x134 -x133 -x132 -x131 -x130 -x129 -x128 -x127 -x126 -x125 -x124 -x123 -x122 -x121 -x120 -x119 x118 -x117 -x116 -x115 -x114 1801.17 v -x113 -x112 -x111 -x110 -x109 -x108 -x107 -x106 -x105 -x104 -x103 -x102 -x101 x100 -x99 -x98 -x97 -x96 -x95 -x94 -x93 -x92 1801.17 v -x91 -x90 x89 -x88 -x87 -x86 -x85 -x84 -x83 -x82 -x81 -x80 -x79 -x78 -x77 -x76 -x75 -x74 -x73 -x72 -x71 -x70 -x69 -x68 -x67 -x66 1801.17 v -x65 -x64 -x63 -x62 -x61 -x60 -x59 -x58 -x57 -x56 -x55 -x54 -x53 -x52 -x51 -x50 -x49 -x48 -x47 -x46 -x45 -x44 x43 -x42 -x41 -x40 1801.17 v -x39 -x38 -x37 -x36 -x35 -x34 -x33 -x32 -x31 -x30 -x29 -x28 -x27 -x26 -x25 -x24 -x23 -x22 -x21 -x20 -x19 -x18 -x17 -x16 -x15 -x14 1801.17 v -x13 x12 -x11 -x10 -x9 -x8 -x7 -x6 -x5 -x4 -x3 -x2 -x1
OK -46
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node44/watcher-35628-1149298270 -o ROOT/results/node44/solver-35628-1149298270 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node44/35628-1149298270/instance-35628-1149298270.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1569368/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=1180 CPUtime=0 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 138 0 0 0 0 0 0 0 18 0 1 0 195493869 1208320 123 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 295 123 67 215 0 77 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1541656/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=30036 CPUtime=9.98 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 7182 0 0 0 987 11 0 0 25 0 1 0 195493869 30756864 6986 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 7509 6986 110 215 0 7291 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 30036 [startup+20.0081 s] /proc/loadavg: 0.94 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1541656/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=30416 CPUtime=19.98 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 7243 0 0 0 1987 11 0 0 25 0 1 0 195493869 31145984 7047 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569777 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 7604 7047 110 215 0 7386 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 30416 [startup+30.0139 s] /proc/loadavg: 0.95 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1541592/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=30580 CPUtime=29.98 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 7274 0 0 0 2987 11 0 0 25 0 1 0 195493869 31313920 7078 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580973 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 7645 7078 110 215 0 7427 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 30580 [startup+40.0198 s] /proc/loadavg: 0.96 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1535320/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=36848 CPUtime=39.99 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 8839 0 0 0 3986 13 0 0 25 0 1 0 195493869 37732352 8643 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579855 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 9212 8643 110 215 0 8994 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 36848 [startup+50.0256 s] /proc/loadavg: 0.96 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1529368/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=42868 CPUtime=49.99 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 10329 0 0 0 4984 15 0 0 25 0 1 0 195493869 43896832 10133 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 10717 10133 110 215 0 10499 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 42868 [startup+60.0315 s] /proc/loadavg: 0.97 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1524504/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=47832 CPUtime=59.99 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 11551 0 0 0 5983 16 0 0 25 0 1 0 195493869 48979968 11355 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134569793 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 11958 11355 110 215 0 11740 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 47832 [startup+70.0373 s] /proc/loadavg: 0.97 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1519896/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=52436 CPUtime=69.99 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 12709 0 0 0 6982 17 0 0 25 0 1 0 195493869 53694464 12513 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573865 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 13109 12513 110 215 0 12891 0 Current children cumulated CPU time (s) 69.99 Current children cumulated vsize (Kb) 52436 [startup+80.0432 s] /proc/loadavg: 0.98 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1514456/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=57812 CPUtime=79.99 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14057 0 0 0 7982 17 0 0 25 0 1 0 195493869 59199488 13861 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 14453 13861 110 215 0 14235 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 57812 [startup+90.05 s] /proc/loadavg: 0.98 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1513816/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=58340 CPUtime=90 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14220 0 0 0 8982 18 0 0 25 0 1 0 195493869 59740160 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576571 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 14585 14024 110 215 0 14367 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 58340 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1513816/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=58340 CPUtime=100 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14220 0 0 0 9982 18 0 0 25 0 1 0 195493869 59740160 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 14585 14024 110 215 0 14367 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 58340 [startup+110.063 s] /proc/loadavg: 0.98 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1513752/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=58340 CPUtime=110.01 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14220 0 0 0 10983 18 0 0 25 0 1 0 195493869 59740160 14024 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 14585 14024 110 215 0 14367 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 58340 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1513432/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=58856 CPUtime=120.01 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 14325 0 0 0 11983 18 0 0 25 0 1 0 195493869 60268544 14129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 14714 14129 110 215 0 14496 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 58856 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1509080/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=63156 CPUtime=130.01 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 15405 0 0 0 12982 19 0 0 25 0 1 0 195493869 64671744 15209 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 15789 15209 110 215 0 15571 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 63156 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1505368/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=66824 CPUtime=140.02 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 16325 0 0 0 13982 20 0 0 25 0 1 0 195493869 68427776 16129 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 16706 16129 110 215 0 16488 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 66824 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1501336/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=70816 CPUtime=150.02 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 14981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576464 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 17704 17144 110 215 0 17486 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 70816 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1501272/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=70816 CPUtime=160.02 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 15981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573706 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 17704 17144 110 215 0 17486 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 70816 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1501272/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=70816 CPUtime=170.02 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 16981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 17704 17144 110 215 0 17486 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 70816 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17712 /proc/meminfo: memFree=1501272/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=70816 CPUtime=180.02 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 17981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 17704 17144 110 215 0 17486 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 70816 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17714 /proc/meminfo: memFree=1501072/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=70816 CPUtime=190.02 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 18981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 17704 17144 110 215 0 17486 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 70816 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17714 /proc/meminfo: memFree=1501144/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=70816 CPUtime=200.02 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 17340 0 0 0 19981 21 0 0 25 0 1 0 195493869 72515584 17144 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 17704 17144 110 215 0 17486 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 70816 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.96 2/64 17714 /proc/meminfo: memFree=1501144/2055920 swapFree=4181400/4192956 ################ # More data... # ################ [pid=17712] ppid=17710 vsize=130964 CPUtime=1781.44 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178103 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581074 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 130964 [startup+1783.07 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1782.45 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178204 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 130964 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1783.45 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178304 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581150 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 130964 [startup+1785.08 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1784.46 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178405 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579871 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 130964 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1785.46 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178505 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 130964 [startup+1787.09 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1786.47 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178606 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 130964 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1787.47 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178706 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 130964 [startup+1789.1 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1788.48 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178807 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 130964 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.96 2/64 17714 /proc/meminfo: memFree=1441184/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1789.48 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 178907 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 130964 [startup+1791.11 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17737 /proc/meminfo: memFree=1439984/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1790.48 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179007 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 130964 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17737 /proc/meminfo: memFree=1439984/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1791.48 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179107 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1791.48 Current children cumulated vsize (Kb) 130964 [startup+1793.12 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17737 /proc/meminfo: memFree=1439984/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1792.48 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179207 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581505 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1792.48 Current children cumulated vsize (Kb) 130964 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17769 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1793.48 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179307 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574480 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1793.48 Current children cumulated vsize (Kb) 130964 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17769 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1794.48 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179407 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576837 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1794.48 Current children cumulated vsize (Kb) 130964 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17769 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1795.49 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179508 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1795.49 Current children cumulated vsize (Kb) 130964 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17777 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1796.49 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179608 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580418 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1796.49 Current children cumulated vsize (Kb) 130964 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17777 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1797.49 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179708 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575446 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1797.49 Current children cumulated vsize (Kb) 130964 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17777 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1798.5 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179809 41 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134573962 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1798.5 Current children cumulated vsize (Kb) 130964 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17785 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1799.5 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 179908 42 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1799.5 Current children cumulated vsize (Kb) 130964 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17785 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1800.5 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 180008 42 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581062 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 130964 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.96 2/70 17785 /proc/meminfo: memFree=1439976/2055920 swapFree=4181400/4192956 [pid=17712] ppid=17710 vsize=130964 CPUtime=1800.51 /proc/17712/stat : 17712 (minisat+) R 17710 17712 17666 0 -1 4194304 32284 0 0 0 180009 42 0 0 25 0 1 0 195493869 134107136 32088 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580916 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17712/statm: 32741 32088 110 215 0 32523 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 130964 Sending SIGTERM to -17712 Sleeping 2 seconds Child status: 10 Real time (s): 1801.2 CPU time (s): 1800.54 CPU user time (s): 1800.09 CPU system time (s): 0.444932 CPU usage (%): 99.9633 Max. virtual memory (cumulated for all children) (Kb): 130988
Begin job on node44 on Sat Jun 3 01:31:10 UTC 2006 FILE ID= 35628-1149298270 PBS_JOBID= 307210 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node44/35628-1149298270/instance-35628-1149298270.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node44/watcher-35628-1149298270 -o ROOT/results/node44/solver-35628-1149298270 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user7/minisat+ ROOT/tmp/node44/35628-1149298270/instance-35628-1149298270.opb MD5SUM SOLVER= 490d1d4b9bbf010afe7f0af63a5a62db MD5SUM BENCH= dc857dc123c51e1f53f981679774fda8 RANDOM SEED= 501262295 /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.261 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.261 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: 1569576 kB Buffers: 26548 kB Cached: 387948 kB SwapCached: 3364 kB Active: 31252 kB Inactive: 392152 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1569576 kB SwapTotal: 4192956 kB SwapFree: 4181400 kB Dirty: 220 kB Writeback: 0 kB Mapped: 14948 kB Slab: 48876 kB Committed_AS: 275016 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node44 on Sat Jun 3 02:01:12 UTC 2006