Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 410.228 | 410.382 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-15.opb |
MD5SUM | 8491f78357d22ad662b240e990e7b543 |
Bench Category | PURE-SAT (instances containing only clauses) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 410.228 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 21104 |
Total number of constraints | 74257 |
Number of constraints which are clauses | 74257 |
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 | 1 |
Maximum length of a constraint | 171 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 169 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 340 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 2.29/2.30 c Converting 73465 PB-constraints to clauses... 2.29/2.31 c -- Unit propagations: (none) 2.29/2.32 c -- Detecting intervals from adjacent constraints: ######################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################## 2.29/2.34 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 2.49/2.52 c ---[73457]---> BDD-cost: 1 2.49/2.52 c ---[73455]---> BDD-cost: 1 2.49/2.52 c ---[73453]---> BDD-cost: 1 2.49/2.52 c ---[73451]---> BDD-cost: 1 2.49/2.52 c ---[73444]---> BDD-cost: 1 2.49/2.52 c ---[73326]---> BDD-cost: 1 2.49/2.52 c ---[73274]---> BDD-cost: 1 2.49/2.52 c ---[73229]---> BDD-cost: 1 2.49/2.52 c ---[73224]---> BDD-cost: 1 2.49/2.52 c ---[73212]---> BDD-cost: 1 2.49/2.52 c ---[73203]---> BDD-cost: 1 2.49/2.52 c ---[73188]---> BDD-cost: 1 2.49/2.52 c ---[73186]---> BDD-cost: 1 2.49/2.52 c ---[73184]---> BDD-cost: 1 2.49/2.52 c ---[73182]---> BDD-cost: 1 2.49/2.52 c ---[73175]---> BDD-cost: 1 2.49/2.52 c ---[73057]---> BDD-cost: 1 2.49/2.52 c ---[73005]---> BDD-cost: 1 2.49/2.52 c ---[72960]---> BDD-cost: 1 2.49/2.52 c ---[72955]---> BDD-cost: 1 2.49/2.52 c ---[72943]---> BDD-cost: 1 2.49/2.52 c ---[72934]---> BDD-cost: 1 2.49/2.52 c ---[72919]---> BDD-cost: 1 2.49/2.52 c ---[72917]---> BDD-cost: 1 2.49/2.52 c ---[72915]---> BDD-cost: 1 2.49/2.52 c ---[72913]---> BDD-cost: 1 2.49/2.52 c ---[72906]---> BDD-cost: 1 2.49/2.52 c ---[72788]---> BDD-cost: 1 2.49/2.52 c ---[72736]---> BDD-cost: 1 2.49/2.52 c ---[72691]---> BDD-cost: 1 2.49/2.52 c ---[72686]---> BDD-cost: 1 2.49/2.52 c ---[72674]---> BDD-cost: 1 2.49/2.52 c ---[72665]---> BDD-cost: 1 2.49/2.52 c ---[72656]---> BDD-cost: 1 2.49/2.52 c ---[71188]---> BDD-cost: 1 2.49/2.52 c ---[71132]---> BDD-cost: 1 2.49/2.52 c ---[71085]---> BDD-cost: 1 2.49/2.52 c ---[71074]---> BDD-cost: 1 2.49/2.52 c ---[71060]---> BDD-cost: 1 2.49/2.52 c ---[71049]---> BDD-cost: 1 2.49/2.52 c ---[71038]---> BDD-cost: 1 2.49/2.52 c ---[71028]---> BDD-cost: 1 2.49/2.52 c ---[71018]---> BDD-cost: 1 2.49/2.52 c ---[71008]---> BDD-cost: 1 2.49/2.52 c ---[70998]---> BDD-cost: 1 2.49/2.52 c ---[70988]---> BDD-cost: 1 2.49/2.52 c ---[70978]---> BDD-cost: 1 2.49/2.52 c ---[70968]---> BDD-cost: 1 2.49/2.52 c ---[70948]---> BDD-cost: 1 2.49/2.52 c ---[70946]---> BDD-cost: 1 2.49/2.52 c ---[70944]---> BDD-cost: 1 2.49/2.52 c ---[70942]---> BDD-cost: 1 2.49/2.52 c ---[70935]---> BDD-cost: 1 2.49/2.52 c ---[70298]---> BDD-cost: 1 2.49/2.52 c ---[70242]---> BDD-cost: 1 2.49/2.52 c ---[70195]---> BDD-cost: 1 2.49/2.52 c ---[70186]---> BDD-cost: 1 2.49/2.52 c ---[70173]---> BDD-cost: 1 2.49/2.52 c ---[70163]---> BDD-cost: 1 2.49/2.52 c ---[70153]---> BDD-cost: 1 2.49/2.52 c ---[70143]---> BDD-cost: 1 2.49/2.52 c ---[70133]---> BDD-cost: 1 2.49/2.52 c ---[70123]---> BDD-cost: 1 2.49/2.52 c ---[70109]---> BDD-cost: 1 2.49/2.52 c ---[69716]---> BDD-cost: 1 2.49/2.52 c ---[69660]---> BDD-cost: 1 2.49/2.52 c ---[69613]---> BDD-cost: 1 2.49/2.52 c ---[69604]---> BDD-cost: 1 2.49/2.52 c ---[69591]---> BDD-cost: 1 2.49/2.52 c ---[69581]---> BDD-cost: 1 2.49/2.52 c ---[69571]---> BDD-cost: 1 2.49/2.52 c ---[69561]---> BDD-cost: 1 2.49/2.52 c ---[69551]---> BDD-cost: 1 2.49/2.52 c ---[69541]---> BDD-cost: 1 2.49/2.52 c ---[69521]---> BDD-cost: 1 2.49/2.52 c ---[69519]---> BDD-cost: 1 2.49/2.52 c ---[69517]---> BDD-cost: 1 2.49/2.52 c ---[69515]---> BDD-cost: 1 2.49/2.52 c ---[69508]---> BDD-cost: 1 2.49/2.52 c ---[68871]---> BDD-cost: 1 2.49/2.52 c ---[68815]---> BDD-cost: 1 2.49/2.52 c ---[68768]---> BDD-cost: 1 2.49/2.52 c ---[68759]---> BDD-cost: 1 2.49/2.52 c ---[68746]---> BDD-cost: 1 2.49/2.52 c ---[68736]---> BDD-cost: 1 2.49/2.52 c ---[68726]---> BDD-cost: 1 2.49/2.52 c ---[68716]---> BDD-cost: 1 2.49/2.52 c ---[68706]---> BDD-cost: 1 2.49/2.52 c ---[68696]---> BDD-cost: 1 2.49/2.52 c ---[68676]---> BDD-cost: 1 2.49/2.52 c ---[68674]---> BDD-cost: 1 2.49/2.52 c ---[68672]---> BDD-cost: 1 2.49/2.52 c ---[68670]---> BDD-cost: 1 2.49/2.52 c ---[68663]---> BDD-cost: 1 2.49/2.52 c ---[68545]---> BDD-cost: 1 2.49/2.52 c ---[68493]---> BDD-cost: 1 2.49/2.52 c ---[68448]---> BDD-cost: 1 2.49/2.52 c ---[68443]---> BDD-cost: 1 2.49/2.52 c ---[68431]---> BDD-cost: 1 2.49/2.52 c ---[68422]---> BDD-cost: 1 2.49/2.52 c ---[68413]---> BDD-cost: 1 2.49/2.52 c ---[68295]---> BDD-cost: 1 2.49/2.52 c ---[68243]---> BDD-cost: 1 2.49/2.52 c ---[68198]---> BDD-cost: 1 2.49/2.52 c ---[68193]---> BDD-cost: 1 2.49/2.52 c ---[68181]---> BDD-cost: 1 2.49/2.52 c ---[68172]---> BDD-cost: 1 2.49/2.52 c ---[68157]---> BDD-cost: 1 2.49/2.52 c ---[68155]---> BDD-cost: 1 2.49/2.52 c ---[68153]---> BDD-cost: 1 2.49/2.52 c ---[68151]---> BDD-cost: 1 2.49/2.52 c ---[68144]---> BDD-cost: 1 2.49/2.52 c ---[67507]---> BDD-cost: 1 2.49/2.52 c ---[67451]---> BDD-cost: 1 2.49/2.52 c ---[67404]---> BDD-cost: 1 2.49/2.52 c ---[67395]---> BDD-cost: 1 2.49/2.52 c ---[67382]---> BDD-cost: 1 2.49/2.52 c ---[67372]---> BDD-cost: 1 2.49/2.52 c ---[67362]---> BDD-cost: 1 2.49/2.52 c ---[67352]---> BDD-cost: 1 2.49/2.52 c ---[67342]---> BDD-cost: 1 2.49/2.52 c ---[67332]---> BDD-cost: 1 2.49/2.52 c ---[67318]---> BDD-cost: 1 2.49/2.53 c ---[65517]---> BDD-cost: 1 2.49/2.53 c ---[65461]---> BDD-cost: 1 2.49/2.53 c ---[65414]---> BDD-cost: 1 2.49/2.53 c ---[65401]---> BDD-cost: 1 2.49/2.53 c ---[65386]---> BDD-cost: 1 2.49/2.53 c ---[65374]---> BDD-cost: 1 2.49/2.53 c ---[65362]---> BDD-cost: 1 2.49/2.53 c ---[65352]---> BDD-cost: 1 2.49/2.53 c ---[65342]---> BDD-cost: 1 2.49/2.53 c ---[65332]---> BDD-cost: 1 2.49/2.53 c ---[65322]---> BDD-cost: 1 2.49/2.53 c ---[65312]---> BDD-cost: 1 2.49/2.53 c ---[65302]---> BDD-cost: 1 2.49/2.53 c ---[65292]---> BDD-cost: 1 2.49/2.53 c ---[65282]---> BDD-cost: 1 2.49/2.53 c ---[65272]---> BDD-cost: 1 2.49/2.53 c ---[65262]---> BDD-cost: 1 2.49/2.53 c ---[65252]---> BDD-cost: 1 2.49/2.53 c ---[65227]---> BDD-cost: 1 2.49/2.53 c ---[65020]---> BDD-cost: 1 2.49/2.53 c ---[64934]---> BDD-cost: 1 2.49/2.53 c ---[64847]---> BDD-cost: 1 2.49/2.53 c ---[64757]---> BDD-cost: 1 2.49/2.53 c ---[64673]---> BDD-cost: 1 2.49/2.53 c ---[64600]---> BDD-cost: 1 2.49/2.53 c ---[64545]---> BDD-cost: 1 2.49/2.53 c ---[64509]---> BDD-cost: 1 2.49/2.53 c ---[64486]---> BDD-cost: 1 2.49/2.53 c ---[64463]---> BDD-cost: 1 2.49/2.53 c ---[64445]---> BDD-cost: 1 2.49/2.53 c ---[64411]---> BDD-cost: 1 2.49/2.53 c ---[64218]---> BDD-cost: 1 2.49/2.53 c ---[64153]---> BDD-cost: 1 2.49/2.53 c ---[64104]---> BDD-cost: 1 2.49/2.53 c ---[64072]---> BDD-cost: 1 2.49/2.53 c ---[64049]---> BDD-cost: 1 2.49/2.53 c ---[64026]---> BDD-cost: 1 2.49/2.53 c ---[64008]---> BDD-cost: 1 2.49/2.53 c ---[63971]---> BDD-cost: 1 2.49/2.53 c ---[63757]---> BDD-cost: 1 2.49/2.53 c ---[63671]---> BDD-cost: 1 2.49/2.53 c ---[63584]---> BDD-cost: 1 2.49/2.53 c ---[63496]---> BDD-cost: 1 2.49/2.53 c ---[63407]---> BDD-cost: 1 2.49/2.53 c ---[63317]---> BDD-cost: 1 2.49/2.53 c ---[63226]---> BDD-cost: 1 2.49/2.53 c ---[63132]---> BDD-cost: 1 2.49/2.53 c ---[63044]---> BDD-cost: 1 2.49/2.53 c ---[62967]---> BDD-cost: 1 2.49/2.53 c ---[62908]---> BDD-cost: 1 2.49/2.53 c ---[62868]---> BDD-cost: 1 2.49/2.53 c ---[62845]---> BDD-cost: 1 2.49/2.53 c ---[62822]---> BDD-cost: 1 2.49/2.53 c ---[62804]---> BDD-cost: 1 2.49/2.53 c ---[62761]---> BDD-cost: 1 2.49/2.53 c ---[62554]---> BDD-cost: 1 2.49/2.53 c ---[62468]---> BDD-cost: 1 2.49/2.53 c ---[62381]---> BDD-cost: 1 2.49/2.53 c ---[62291]---> BDD-cost: 1 2.49/2.53 c ---[62207]---> BDD-cost: 1 2.49/2.53 c ---[62134]---> BDD-cost: 1 2.49/2.53 c ---[62079]---> BDD-cost: 1 2.49/2.53 c ---[62043]---> BDD-cost: 1 2.49/2.53 c ---[62020]---> BDD-cost: 1 2.49/2.53 c ---[61997]---> BDD-cost: 1 2.49/2.53 c ---[61979]---> BDD-cost: 1 2.49/2.53 c ---[61941]---> BDD-cost: 1 2.49/2.53 c ---[61665]---> BDD-cost: 1 2.49/2.53 c ---[61534]---> BDD-cost: 1 2.49/2.53 c ---[61420]---> BDD-cost: 1 2.49/2.53 c ---[61332]---> BDD-cost: 1 2.49/2.53 c ---[61260]---> BDD-cost: 1 2.49/2.53 c ---[61200]---> BDD-cost: 1 2.49/2.53 c ---[61159]---> BDD-cost: 1 2.49/2.53 c ---[61138]---> BDD-cost: 1 2.49/2.53 c ---[61115]---> BDD-cost: 1 2.49/2.53 c ---[61092]---> BDD-cost: 1 2.49/2.53 c ---[61071]---> BDD-cost: 1 2.49/2.53 c ---[61041]---> BDD-cost: 1 2.49/2.53 c ---[60848]---> BDD-cost: 1 2.49/2.53 c ---[60783]---> BDD-cost: 1 2.49/2.53 c ---[60734]---> BDD-cost: 1 2.49/2.53 c ---[60702]---> BDD-cost: 1 2.49/2.53 c ---[60679]---> BDD-cost: 1 2.49/2.53 c ---[60656]---> BDD-cost: 1 2.49/2.53 c ---[60638]---> BDD-cost: 1 2.49/2.53 c ---[60537]---> BDD-cost: 1 2.49/2.53 c ---[60330]---> BDD-cost: 1 2.49/2.53 c ---[60244]---> BDD-cost: 1 2.49/2.53 c ---[60157]---> BDD-cost: 1 2.49/2.53 c ---[60067]---> BDD-cost: 1 2.49/2.53 c ---[59983]---> BDD-cost: 1 2.49/2.53 c ---[59910]---> BDD-cost: 1 2.49/2.53 c ---[59855]---> BDD-cost: 1 2.49/2.53 c ---[59819]---> BDD-cost: 1 2.49/2.53 c ---[59796]---> BDD-cost: 1 2.49/2.53 c ---[59773]---> BDD-cost: 1 2.49/2.53 c ---[59755]---> BDD-cost: 1 2.49/2.53 c ---[59717]---> BDD-cost: 1 2.49/2.53 c ---[59510]---> BDD-cost: 1 2.49/2.53 c ---[59424]---> BDD-cost: 1 2.49/2.53 c ---[59337]---> BDD-cost: 1 2.49/2.53 c ---[59247]---> BDD-cost: 1 2.49/2.53 c ---[59163]---> BDD-cost: 1 2.49/2.53 c ---[59090]---> BDD-cost: 1 2.49/2.53 c ---[59035]---> BDD-cost: 1 2.49/2.53 c ---[58999]---> BDD-cost: 1 2.49/2.53 c ---[58976]---> BDD-cost: 1 2.49/2.53 c ---[58953]---> BDD-cost: 1 2.49/2.53 c ---[58935]---> BDD-cost: 1 2.49/2.53 c ---[58897]---> BDD-cost: 1 2.49/2.53 c ---[58690]---> BDD-cost: 1 2.49/2.53 c ---[58604]---> BDD-cost: 1 2.49/2.53 c ---[58517]---> BDD-cost: 1 2.49/2.53 c ---[58427]---> BDD-cost: 1 2.49/2.53 c ---[58343]---> BDD-cost: 1 2.49/2.53 c ---[58270]---> BDD-cost: 1 2.49/2.53 c ---[58215]---> BDD-cost: 1 2.49/2.53 c ---[58179]---> BDD-cost: 1 2.49/2.53 c ---[58156]---> BDD-cost: 1 2.49/2.53 c ---[58133]---> BDD-cost: 1 2.49/2.53 c ---[58115]---> BDD-cost: 1 2.49/2.53 c ---[55835]---> BDD-cost: 1 2.49/2.53 c ---[55612]---> BDD-cost: 1 2.49/2.53 c ---[55581]---> BDD-cost: 1 2.49/2.53 c ---[55550]---> BDD-cost: 1 2.49/2.53 c ---[55519]---> BDD-cost: 1 2.49/2.53 c ---[55489]---> BDD-cost: 1 2.49/2.53 c ---[55459]---> BDD-cost: 1 2.49/2.53 c ---[55431]---> BDD-cost: 1 2.49/2.53 c ---[55412]---> BDD-cost: 1 2.49/2.53 c ---[55410]---> BDD-cost: 1 2.49/2.53 c ---[55408]---> BDD-cost: 1 2.49/2.53 c ---[55406]---> BDD-cost: 1 2.49/2.53 c ---[55404]---> BDD-cost: 1 2.49/2.53 c ---[54637]---> BDD-cost: 1 2.49/2.53 c ---[54610]---> BDD-cost: 1 2.49/2.53 c ---[54587]---> BDD-cost: 1 2.49/2.53 c ---[54564]---> BDD-cost: 1 2.49/2.53 c ---[54541]---> BDD-cost: 1 2.49/2.53 c ---[54518]---> BDD-cost: 1 2.49/2.53 c ---[54492]---> BDD-cost: 1 2.49/2.53 c ---[54480]---> BDD-cost: 1 2.49/2.53 c ---[54462]---> BDD-cost: 1 2.49/2.53 c ---[54460]---> BDD-cost: 1 2.49/2.53 c ---[54458]---> BDD-cost: 1 2.49/2.53 c ---[54456]---> BDD-cost: 1 2.49/2.53 c ---[53685]---> BDD-cost: 1 2.49/2.53 c ---[53658]---> BDD-cost: 1 2.49/2.53 c ---[53635]---> BDD-cost: 1 2.49/2.53 c ---[53612]---> BDD-cost: 1 2.49/2.53 c ---[53589]---> BDD-cost: 1 2.49/2.53 c ---[53566]---> BDD-cost: 1 2.49/2.53 c ---[53540]---> BDD-cost: 1 2.49/2.53 c ---[53528]---> BDD-cost: 1 2.49/2.53 c ---[53510]---> BDD-cost: 1 2.49/2.53 c ---[53508]---> BDD-cost: 1 2.49/2.53 c ---[53506]---> BDD-cost: 1 2.49/2.53 c ---[53504]---> BDD-cost: 1 2.49/2.53 c ---[53198]---> BDD-cost: 1 2.49/2.53 c ---[53196]---> BDD-cost: 1 2.49/2.53 c ---[53194]---> BDD-cost: 1 2.49/2.53 c ---[53192]---> BDD-cost: 1 2.49/2.53 c ---[50930]---> BDD-cost: 1 2.49/2.53 c ---[50903]---> BDD-cost: 1 2.49/2.53 c ---[50880]---> BDD-cost: 1 2.49/2.53 c ---[50857]---> BDD-cost: 1 2.49/2.53 c ---[50834]---> BDD-cost: 1 2.49/2.53 c ---[50811]---> BDD-cost: 1 2.49/2.53 c ---[50788]---> BDD-cost: 1 2.49/2.53 c ---[50770]---> BDD-cost: 1 2.49/2.53 c ---[50751]---> BDD-cost: 1 2.49/2.53 c ---[50749]---> BDD-cost: 1 2.49/2.53 c ---[50747]---> BDD-cost: 1 2.49/2.53 c ---[50745]---> BDD-cost: 1 2.49/2.53 c ---[50743]---> BDD-cost: 1 2.49/2.53 c ---[50220]---> BDD-cost: 1 2.49/2.53 c ---[50193]---> BDD-cost: 1 2.49/2.53 c ---[50170]---> BDD-cost: 1 2.49/2.53 c ---[50147]---> BDD-cost: 1 2.49/2.53 c ---[50124]---> BDD-cost: 1 2.49/2.53 c ---[50101]---> BDD-cost: 1 2.49/2.53 c ---[50075]---> BDD-cost: 1 2.49/2.53 c ---[50063]---> BDD-cost: 1 2.49/2.53 c ---[50045]---> BDD-cost: 1 2.49/2.53 c ---[50043]---> BDD-cost: 1 2.49/2.53 c ---[50041]---> BDD-cost: 1 2.49/2.53 c ---[50039]---> BDD-cost: 1 2.49/2.53 c ---[49512]---> BDD-cost: 1 2.49/2.53 c ---[49485]---> BDD-cost: 1 2.49/2.53 c ---[49462]---> BDD-cost: 1 2.49/2.53 c ---[49439]---> BDD-cost: 1 2.49/2.53 c ---[49416]---> BDD-cost: 1 2.49/2.53 c ---[49393]---> BDD-cost: 1 2.49/2.53 c ---[49367]---> BDD-cost: 1 2.49/2.53 c ---[49355]---> BDD-cost: 1 2.49/2.53 c ---[49337]---> BDD-cost: 1 2.49/2.53 c ---[49335]---> BDD-cost: 1 2.49/2.53 c ---[49333]---> BDD-cost: 1 2.49/2.53 c ---[49331]---> BDD-cost: 1 2.49/2.53 c ---[48123]---> BDD-cost: 1 2.49/2.53 c ---[47900]---> BDD-cost: 1 2.49/2.53 c ---[47869]---> BDD-cost: 1 2.49/2.53 c ---[47838]---> BDD-cost: 1 2.49/2.53 c ---[47807]---> BDD-cost: 1 2.49/2.53 c ---[47777]---> BDD-cost: 1 2.49/2.53 c ---[47747]---> BDD-cost: 1 2.49/2.53 c ---[47716]---> BDD-cost: 1 2.49/2.53 c ---[47698]---> BDD-cost: 1 2.49/2.53 c ---[47696]---> BDD-cost: 1 2.49/2.53 c ---[47694]---> BDD-cost: 1 2.49/2.53 c ---[47692]---> BDD-cost: 1 2.49/2.53 c ---[46825]---> BDD-cost: 1 2.49/2.53 c ---[46823]---> BDD-cost: 1 2.49/2.53 c ---[46821]---> BDD-cost: 1 2.49/2.53 c ---[46819]---> BDD-cost: 1 2.49/2.53 c ---[45615]---> BDD-cost: 1 2.49/2.53 c ---[45392]---> BDD-cost: 1 2.49/2.53 c ---[45361]---> BDD-cost: 1 2.49/2.53 c ---[45330]---> BDD-cost: 1 2.49/2.53 c ---[45299]---> BDD-cost: 1 2.49/2.53 c ---[45269]---> BDD-cost: 1 2.49/2.53 c ---[45239]---> BDD-cost: 1 2.49/2.53 c ---[45208]---> BDD-cost: 1 2.49/2.53 c ---[45190]---> BDD-cost: 1 2.49/2.53 c ---[45188]---> BDD-cost: 1 2.49/2.53 c ---[45186]---> BDD-cost: 1 2.49/2.53 c ---[45184]---> BDD-cost: 1 2.49/2.53 c ---[44015]---> BDD-cost: 1 2.49/2.53 c ---[43319]---> BDD-cost: 1 2.49/2.53 c ---[43285]---> BDD-cost: 1 2.49/2.53 c ---[43253]---> BDD-cost: 1 2.49/2.53 c ---[43222]---> BDD-cost: 1 2.49/2.53 c ---[43191]---> BDD-cost: 1 2.49/2.53 c ---[43160]---> BDD-cost: 1 2.49/2.53 c ---[43129]---> BDD-cost: 1 2.49/2.53 c ---[43098]---> BDD-cost: 1 2.49/2.53 c ---[43067]---> BDD-cost: 1 2.49/2.53 c ---[43036]---> BDD-cost: 1 2.49/2.53 c ---[43007]---> BDD-cost: 1 2.49/2.53 c ---[42216]---> BDD-cost: 1 2.49/2.53 c ---[42189]---> BDD-cost: 1 2.49/2.53 c ---[42166]---> BDD-cost: 1 2.49/2.53 c ---[42143]---> BDD-cost: 1 2.49/2.53 c ---[42120]---> BDD-cost: 1 2.49/2.53 c ---[42097]---> BDD-cost: 1 2.49/2.53 c ---[42071]---> BDD-cost: 1 2.49/2.53 c ---[42059]---> BDD-cost: 1 2.49/2.53 c ---[42041]---> BDD-cost: 1 2.49/2.53 c ---[42039]---> BDD-cost: 1 2.49/2.53 c ---[42037]---> BDD-cost: 1 2.49/2.53 c ---[42035]---> BDD-cost: 1 2.49/2.53 c ---[42018]---> BDD-cost: 1 2.49/2.53 c ---[41621]---> BDD-cost: 1 2.49/2.53 c ---[41561]---> BDD-cost: 1 2.49/2.53 c ---[41520]---> BDD-cost: 1 2.49/2.53 c ---[41497]---> BDD-cost: 1 2.49/2.53 c ---[41474]---> BDD-cost: 1 2.49/2.53 c ---[41451]---> BDD-cost: 1 2.49/2.53 c ---[41428]---> BDD-cost: 1 2.49/2.53 c ---[41405]---> BDD-cost: 1 2.49/2.53 c ---[41382]---> BDD-cost: 1 2.49/2.53 c ---[41359]---> BDD-cost: 1 2.49/2.53 c ---[41337]---> BDD-cost: 1 2.49/2.53 c ---[40608]---> BDD-cost: 1 2.49/2.53 c ---[40385]---> BDD-cost: 1 2.49/2.53 c ---[40354]---> BDD-cost: 1 2.49/2.53 c ---[40323]---> BDD-cost: 1 2.49/2.53 c ---[40292]---> BDD-cost: 1 2.49/2.53 c ---[40262]---> BDD-cost: 1 2.49/2.53 c ---[40232]---> BDD-cost: 1 2.49/2.53 c ---[40204]---> BDD-cost: 1 2.49/2.53 c ---[40186]---> BDD-cost: 1 2.49/2.53 c ---[40184]---> BDD-cost: 1 2.49/2.53 c ---[40182]---> BDD-cost: 1 2.49/2.53 c ---[40180]---> BDD-cost: 1 2.49/2.53 c ---[38976]---> BDD-cost: 1 2.49/2.53 c ---[38949]---> BDD-cost: 1 2.49/2.53 c ---[38926]---> BDD-cost: 1 2.49/2.53 c ---[38903]---> BDD-cost: 1 2.49/2.53 c ---[38880]---> BDD-cost: 1 2.49/2.53 c ---[38857]---> BDD-cost: 1 2.49/2.53 c ---[38834]---> BDD-cost: 1 2.49/2.53 c ---[38813]---> BDD-cost: 1 2.49/2.53 c ---[38795]---> BDD-cost: 1 2.49/2.53 c ---[38793]---> BDD-cost: 1 2.49/2.53 c ---[38791]---> BDD-cost: 1 2.49/2.54 c ---[38789]---> BDD-cost: 1 2.49/2.54 c ---[38025]---> BDD-cost: 1 2.49/2.54 c ---[37802]---> BDD-cost: 1 2.49/2.54 c ---[37771]---> BDD-cost: 1 2.49/2.54 c ---[37740]---> BDD-cost: 1 2.49/2.54 c ---[37709]---> BDD-cost: 1 2.49/2.54 c ---[37679]---> BDD-cost: 1 2.49/2.54 c ---[37649]---> BDD-cost: 1 2.49/2.54 c ---[37621]---> BDD-cost: 1 2.49/2.54 c ---[37603]---> BDD-cost: 1 2.49/2.54 c ---[37601]---> BDD-cost: 1 2.49/2.54 c ---[37599]---> BDD-cost: 1 2.49/2.54 c ---[37597]---> BDD-cost: 1 2.49/2.54 c ---[36920]---> BDD-cost: 1 2.49/2.54 c ---[35980]---> BDD-cost: 1 2.49/2.54 c ---[35946]---> BDD-cost: 1 2.49/2.54 c ---[35914]---> BDD-cost: 1 2.49/2.54 c ---[35883]---> BDD-cost: 1 2.49/2.54 c ---[35852]---> BDD-cost: 1 2.49/2.54 c ---[35821]---> BDD-cost: 1 2.49/2.54 c ---[35790]---> BDD-cost: 1 2.49/2.54 c ---[35759]---> BDD-cost: 1 2.49/2.54 c ---[35728]---> BDD-cost: 1 2.49/2.54 c ---[35697]---> BDD-cost: 1 2.49/2.54 c ---[35671]---> BDD-cost: 1 2.49/2.54 c ---[35158]---> BDD-cost: 1 2.49/2.54 c ---[34650]---> BDD-cost: 1 2.49/2.54 c ---[34619]---> BDD-cost: 1 2.49/2.54 c ---[34588]---> BDD-cost: 1 2.49/2.54 c ---[34557]---> BDD-cost: 1 2.49/2.54 c ---[34526]---> BDD-cost: 1 2.49/2.54 c ---[34495]---> BDD-cost: 1 2.49/2.54 c ---[34464]---> BDD-cost: 1 2.49/2.54 c ---[34433]---> BDD-cost: 1 2.49/2.54 c ---[34402]---> BDD-cost: 1 2.49/2.54 c ---[34368]---> BDD-cost: 1 2.49/2.54 c ---[34345]---> BDD-cost: 1 2.49/2.54 c ---[32553]---> BDD-cost: 1 2.49/2.54 c ---[32330]---> BDD-cost: 1 2.49/2.54 c ---[32299]---> BDD-cost: 1 2.49/2.54 c ---[32268]---> BDD-cost: 1 2.49/2.54 c ---[32237]---> BDD-cost: 1 2.49/2.54 c ---[32207]---> BDD-cost: 1 2.49/2.54 c ---[32177]---> BDD-cost: 1 2.49/2.54 c ---[32149]---> BDD-cost: 1 2.49/2.54 c ---[32130]---> BDD-cost: 1 2.49/2.54 c ---[32128]---> BDD-cost: 1 2.49/2.54 c ---[32126]---> BDD-cost: 1 2.49/2.54 c ---[32124]---> BDD-cost: 1 2.49/2.54 c ---[32122]---> BDD-cost: 1 2.49/2.54 c ---[31148]---> BDD-cost: 1 2.49/2.54 c ---[30210]---> BDD-cost: 1 2.49/2.54 c ---[30177]---> BDD-cost: 1 2.49/2.54 c ---[30145]---> BDD-cost: 1 2.49/2.54 c ---[30114]---> BDD-cost: 1 2.49/2.54 c ---[30083]---> BDD-cost: 1 2.49/2.54 c ---[30052]---> BDD-cost: 1 2.49/2.54 c ---[30021]---> BDD-cost: 1 2.49/2.54 c ---[29990]---> BDD-cost: 1 2.49/2.54 c ---[29959]---> BDD-cost: 1 2.49/2.54 c ---[29928]---> BDD-cost: 1 2.49/2.54 c ---[29902]---> BDD-cost: 1 2.49/2.54 c ---[29875]---> BDD-cost: 1 2.49/2.54 c ---[29386]---> BDD-cost: 1 2.49/2.54 c ---[28878]---> BDD-cost: 1 2.49/2.54 c ---[28847]---> BDD-cost: 1 2.49/2.54 c ---[28816]---> BDD-cost: 1 2.49/2.54 c ---[28785]---> BDD-cost: 1 2.49/2.54 c ---[28754]---> BDD-cost: 1 2.49/2.54 c ---[28723]---> BDD-cost: 1 2.49/2.54 c ---[28692]---> BDD-cost: 1 2.49/2.54 c ---[28661]---> BDD-cost: 1 2.49/2.54 c ---[28630]---> BDD-cost: 1 2.49/2.54 c ---[28596]---> BDD-cost: 1 2.49/2.54 c ---[28573]---> BDD-cost: 1 2.49/2.54 c ---[28029]---> BDD-cost: 1 2.49/2.54 c ---[27806]---> BDD-cost: 1 2.49/2.54 c ---[27775]---> BDD-cost: 1 2.49/2.54 c ---[27744]---> BDD-cost: 1 2.49/2.54 c ---[27713]---> BDD-cost: 1 2.49/2.54 c ---[27683]---> BDD-cost: 1 2.49/2.54 c ---[27650]---> BDD-cost: 1 2.49/2.54 c ---[27628]---> BDD-cost: 1 2.49/2.54 c ---[27610]---> BDD-cost: 1 2.49/2.54 c ---[27608]---> BDD-cost: 1 2.49/2.54 c ---[27606]---> BDD-cost: 1 2.49/2.54 c ---[27604]---> BDD-cost: 1 2.49/2.54 c ---[27583]---> BDD-cost: 1 2.49/2.54 c ---[27150]---> BDD-cost: 1 2.49/2.54 c ---[26989]---> BDD-cost: 1 2.49/2.54 c ---[26844]---> BDD-cost: 1 2.49/2.54 c ---[26720]---> BDD-cost: 1 2.49/2.54 c ---[26631]---> BDD-cost: 1 2.49/2.54 c ---[26562]---> BDD-cost: 1 2.49/2.54 c ---[26511]---> BDD-cost: 1 2.49/2.54 c ---[26479]---> BDD-cost: 1 2.49/2.54 c ---[26456]---> BDD-cost: 1 2.49/2.54 c ---[26433]---> BDD-cost: 1 2.49/2.54 c ---[26415]---> BDD-cost: 1 2.49/2.54 c ---[26368]---> BDD-cost: 1 2.49/2.54 c ---[21949]---> BDD-cost: 1 2.49/2.54 c ---[21346]---> BDD-cost: 1 2.49/2.54 c ---[20761]---> BDD-cost: 1 2.49/2.54 c ---[20199]---> BDD-cost: 1 2.49/2.54 c ---[19672]---> BDD-cost: 1 2.49/2.54 c ---[19165]---> BDD-cost: 1 2.49/2.54 c ---[18676]---> BDD-cost: 1 2.49/2.54 c ---[18206]---> BDD-cost: 1 2.49/2.54 c ---[17785]---> BDD-cost: 1 2.49/2.54 c ---[17408]---> BDD-cost: 1 2.49/2.54 c ---[17087]---> BDD-cost: 1 2.49/2.54 c ---[16847]---> BDD-cost: 1 2.49/2.54 c ---[16667]---> BDD-cost: 1 2.49/2.54 c ---[16519]---> BDD-cost: 1 2.49/2.54 c ---[16408]---> BDD-cost: 1 2.49/2.54 c ---[16348]---> BDD-cost: 1 2.49/2.54 c ---[16029]---> BDD-cost: 1 2.49/2.54 c ---[15996]---> BDD-cost: 1 2.49/2.54 c ---[15964]---> BDD-cost: 1 2.49/2.54 c ---[15933]---> BDD-cost: 1 2.49/2.54 c ---[15902]---> BDD-cost: 1 2.49/2.54 c ---[15871]---> BDD-cost: 1 2.49/2.54 c ---[15840]---> BDD-cost: 1 2.49/2.54 c ---[15815]---> BDD-cost: 1 2.49/2.54 c ---[15756]---> BDD-cost: 1 2.49/2.54 c ---[11307]---> BDD-cost: 1 2.49/2.54 c ---[10742]---> BDD-cost: 1 2.49/2.54 c ---[10214]---> BDD-cost: 1 2.49/2.54 c ---[9735]---> BDD-cost: 1 2.49/2.54 c ---[9314]---> BDD-cost: 1 2.49/2.54 c ---[8937]---> BDD-cost: 1 2.49/2.54 c ---[8616]---> BDD-cost: 1 2.49/2.54 c ---[8376]---> BDD-cost: 1 2.49/2.54 c ---[8196]---> BDD-cost: 1 2.49/2.54 c ---[8048]---> BDD-cost: 1 2.49/2.54 c ---[7937]---> BDD-cost: 1 2.49/2.54 c ---[7877]---> BDD-cost: 1 2.49/2.54 c ---[7558]---> BDD-cost: 1 2.49/2.54 c ---[7525]---> BDD-cost: 1 2.49/2.54 c ---[7493]---> BDD-cost: 1 2.49/2.54 c ---[7462]---> BDD-cost: 1 2.49/2.54 c ---[7431]---> BDD-cost: 1 2.49/2.54 c ---[7400]---> BDD-cost: 1 2.49/2.54 c ---[7369]---> BDD-cost: 1 2.49/2.54 c ---[7344]---> BDD-cost: 1 2.49/2.54 c ---[7294]---> BDD-cost: 1 2.49/2.54 c ---[3827]---> BDD-cost: 1 2.49/2.54 c ---[3371]---> BDD-cost: 1 2.49/2.54 c ---[2990]---> BDD-cost: 1 2.49/2.54 c ---[2716]---> BDD-cost: 1 2.49/2.54 c ---[2519]---> BDD-cost: 1 2.49/2.54 c ---[2362]---> BDD-cost: 1 2.49/2.54 c ---[2241]---> BDD-cost: 1 2.49/2.54 c ---[2170]---> BDD-cost: 1 2.49/2.54 c ---[1851]---> BDD-cost: 1 2.49/2.54 c ---[1818]---> BDD-cost: 1 2.49/2.54 c ---[1786]---> BDD-cost: 1 2.49/2.54 c ---[1755]---> BDD-cost: 1 2.49/2.54 c ---[1724]---> BDD-cost: 1 2.49/2.54 c ---[1693]---> BDD-cost: 1 2.49/2.54 c ---[1662]---> BDD-cost: 1 2.49/2.54 c ---[1637]---> BDD-cost: 1 2.49/2.54 c ---[1602]---> BDD-cost: 1 2.49/2.54 c ---[ 690]---> BDD-cost: 1 2.49/2.54 c ---[ 621]---> BDD-cost: 1 2.49/2.54 c ---[ 570]---> BDD-cost: 1 2.49/2.54 c ---[ 240]---> BDD-cost: 1 2.49/2.54 c ---[ 207]---> BDD-cost: 1 2.49/2.54 c ---[ 175]---> BDD-cost: 1 2.49/2.54 c ---[ 144]---> BDD-cost: 1 2.49/2.54 c ---[ 113]---> BDD-cost: 1 2.49/2.54 c ---[ 82]---> BDD-cost: 1 2.49/2.54 c ---[ 51]---> BDD-cost: 1 2.49/2.54 c ---[ 26]---> BDD-cost: 1 2.49/2.55 c ==================================[MINISAT+]================================== 2.49/2.55 c | Conflicts | Original | Learnt | Progress | 2.49/2.55 c | | Clauses Literals | Max Clauses Literals LPC | | 2.49/2.55 c ============================================================================== 2.49/2.55 c | 0 | 73465 191696 | 24488 0 0 nan | 0.000 % | 2.49/2.57 c | 100 | 73465 191696 | 26936 100 1150 11.5 | 3.689 % | 2.59/2.65 c | 250 | 73384 191488 | 29630 236 7667 32.5 | 3.818 % | 2.69/2.75 c | 475 | 73194 190991 | 32593 455 11130 24.5 | 3.988 % | 2.79/2.88 c | 813 | 73170 190927 | 35852 789 22014 27.9 | 4.025 % | 3.19/3.26 c | 1319 | 72940 190321 | 39438 1258 33796 26.9 | 4.362 % | 3.59/3.68 c | 2079 | 71675 187114 | 43381 1977 60648 30.7 | 5.565 % | 4.09/4.11 c | 3218 | 66020 172452 | 47720 3047 105370 34.6 | 12.140 % | 4.98/5.02 c | 4927 | 63791 166657 | 52492 4683 200440 42.8 | 14.709 % | 6.18/6.23 c | 7489 | 62722 163954 | 57741 7240 379682 52.4 | 15.612 % | 7.58/7.64 c | 11341 | 62064 162279 | 63515 11079 602550 54.4 | 16.327 % | 10.48/10.55 c | 17107 | 59846 156536 | 69867 16744 953055 56.9 | 18.964 % | 16.58/16.62 c | 25757 | 59802 156424 | 76853 25387 1537965 60.6 | 19.029 % | 26.17/26.26 c | 38731 | 58837 153904 | 84539 38188 2117594 55.5 | 20.094 % | 44.17/44.22 c | 58192 | 56845 148720 | 92993 57635 4261511 73.9 | 22.635 % | 84.15/84.21 c | 87385 | 56839 148704 | 102292 86827 7451052 85.8 | 22.644 % | 146.42/146.59 c | 131174 | 56330 147389 | 112521 39115 3986978 101.9 | 23.248 % | 247.19/247.39 c | 196859 | 55446 145078 | 123773 104747 10845004 103.5 | 23.981 % | 410.14/410.36 c ============================================================================== 410.14/410.36 c [1mUNSATISFIABLE[0m 410.14/410.36 s UNSATISFIABLE 410.14/410.36 c _______________________________________________________________________________ 410.14/410.36 c 410.14/410.36 c restarts : 18 410.14/410.36 c conflicts : 293584 (716 /sec) 410.14/410.36 c decisions : 492775 (1202 /sec) 410.14/410.36 c propagations : 0 (0 /sec) 410.14/410.36 c inspects : 0 (0 /sec) 410.14/410.36 c CPU time : 409.928 s 410.14/410.36 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/419159-1177404347/instance-419159-1177404347.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node37/watcher-419159-1177404347 -o ROOT/results/node37/solver-419159-1177404347 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419159-1177404347/minisat+ /tmp/evaluation/419159-1177404347/instance-419159-1177404347.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.94 3/78 16762 /proc/meminfo: memFree=1672408/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=1048 CPUtime=0 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 120 0 0 0 0 0 0 0 18 0 1 0 188347171 1073152 106 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134619209 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 262 106 75 215 0 44 0 [startup+0.0568169 s] /proc/loadavg: 0.92 0.98 0.94 3/78 16762 /proc/meminfo: memFree=1672408/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=1524 CPUtime=0.05 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 241 0 0 0 5 0 0 0 18 0 1 0 188347171 1560576 227 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 381 227 75 215 0 163 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 1524 [startup+0.101824 s] /proc/loadavg: 0.92 0.98 0.94 3/78 16762 /proc/meminfo: memFree=1672408/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=1984 CPUtime=0.1 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 345 0 0 0 10 0 0 0 18 0 1 0 188347171 2031616 331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 496 331 75 215 0 278 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 1984 [startup+0.301863 s] /proc/loadavg: 0.92 0.98 0.94 3/78 16762 /proc/meminfo: memFree=1672408/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=3968 CPUtime=0.29 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 821 0 0 0 29 0 0 0 19 0 1 0 188347171 4063232 807 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 992 807 75 215 0 774 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3968 [startup+0.701937 s] /proc/loadavg: 0.92 0.98 0.94 3/78 16762 /proc/meminfo: memFree=1672408/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=7780 CPUtime=0.69 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 1774 0 0 0 69 0 0 0 23 0 1 0 188347171 7966720 1760 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 1945 1760 75 215 0 1727 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7780 [startup+1.50109 s] /proc/loadavg: 0.92 0.98 0.94 2/79 16763 /proc/meminfo: memFree=1662800/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=15528 CPUtime=1.49 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 3643 0 0 0 147 2 0 0 25 0 1 0 188347171 15900672 3629 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 3882 3630 75 215 0 3664 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 15528 [startup+3.10159 s] /proc/loadavg: 0.92 0.98 0.94 2/79 16763 /proc/meminfo: memFree=1652368/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=27068 CPUtime=3.09 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 6663 0 0 0 297 12 0 0 22 0 1 0 188347171 27717632 6483 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134588659 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 6767 6483 106 215 0 6549 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 27068 [startup+6.30199 s] /proc/loadavg: 1.01 1.00 0.94 2/79 16763 /proc/meminfo: memFree=1646488/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=27068 CPUtime=6.28 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 6664 0 0 0 616 12 0 0 25 0 1 0 188347171 27717632 6484 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 6767 6484 106 215 0 6549 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 27068 [startup+12.7012 s] /proc/loadavg: 1.01 1.00 0.94 2/79 16763 /proc/meminfo: memFree=1646360/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=27224 CPUtime=12.68 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 6684 0 0 0 1256 12 0 0 25 0 1 0 188347171 27877376 6504 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134576754 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 6806 6504 106 215 0 6588 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27224 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 0.94 2/79 16763 /proc/meminfo: memFree=1646360/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=27224 CPUtime=25.47 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 6701 0 0 0 2535 12 0 0 25 0 1 0 188347171 27877376 6521 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 6806 6521 106 215 0 6588 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 27224 [startup+51.1014 s] /proc/loadavg: 1.00 1.00 0.94 2/79 16763 /proc/meminfo: memFree=1634648/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=39336 CPUtime=51.06 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 9702 0 0 0 5090 16 0 0 25 0 1 0 188347171 40280064 9522 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 9834 9522 106 215 0 9616 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 39336 [startup+102.305 s] /proc/loadavg: 1.00 1.00 0.94 2/79 16763 /proc/meminfo: memFree=1618392/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=55584 CPUtime=102.24 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 13723 0 0 0 10203 21 0 0 25 0 1 0 188347171 56918016 13543 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 13896 13543 106 215 0 13678 0 Current children cumulated CPU time (s) 102.24 Current children cumulated vsize (KiB) 55584 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.94 2/79 16763 /proc/meminfo: memFree=1609112/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=64772 CPUtime=162.22 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 16030 0 0 0 16198 24 0 0 25 0 1 0 188347171 66326528 15850 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134578856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 16193 15850 106 215 0 15975 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 64772 [startup+222.302 s] /proc/loadavg: 1.00 1.00 0.94 2/79 16763 /proc/meminfo: memFree=1608792/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=65044 CPUtime=222.2 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 16105 0 0 0 22196 24 0 0 25 0 1 0 188347171 66605056 15925 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 16261 15925 106 215 0 16043 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 65044 [startup+282.301 s] /proc/loadavg: 1.07 1.02 0.95 2/79 16763 /proc/meminfo: memFree=1602200/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=71916 CPUtime=282.18 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 17796 0 0 0 28192 26 0 0 25 0 1 0 188347171 73641984 17616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 17979 17616 106 215 0 17761 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 71916 [startup+342.301 s] /proc/loadavg: 1.02 1.01 0.95 2/79 16763 /proc/meminfo: memFree=1595352/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78404 CPUtime=342.16 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19437 0 0 0 34188 28 0 0 25 0 1 0 188347171 80285696 19257 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19601 19257 106 215 0 19383 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 78404 [startup+402.302 s] /proc/loadavg: 1.01 1.00 0.95 2/79 16763 /proc/meminfo: memFree=1595288/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78548 CPUtime=402.14 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19452 0 0 0 40186 28 0 0 25 0 1 0 188347171 80433152 19272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579877 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19637 19272 106 215 0 19419 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 78548 Solver just ended. Dumping a history of the last processes samples [startup+403.102 s] /proc/loadavg: 1.01 1.00 0.95 2/79 16763 /proc/meminfo: memFree=1595288/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78548 CPUtime=402.94 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19452 0 0 0 40266 28 0 0 25 0 1 0 188347171 80433152 19272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134572776 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19637 19272 106 215 0 19419 0 Current children cumulated CPU time (s) 402.94 Current children cumulated vsize (KiB) 78548 [startup+406.301 s] /proc/loadavg: 1.01 1.00 0.95 2/79 16763 /proc/meminfo: memFree=1595288/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78548 CPUtime=406.14 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19452 0 0 0 40586 28 0 0 25 0 1 0 188347171 80433152 19272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134575431 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19637 19272 106 215 0 19419 0 Current children cumulated CPU time (s) 406.14 Current children cumulated vsize (KiB) 78548 [startup+407.902 s] /proc/loadavg: 1.01 1.00 0.95 2/79 16763 /proc/meminfo: memFree=1595288/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78548 CPUtime=407.74 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19452 0 0 0 40746 28 0 0 25 0 1 0 188347171 80433152 19272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19637 19272 106 215 0 19419 0 Current children cumulated CPU time (s) 407.74 Current children cumulated vsize (KiB) 78548 [startup+409.502 s] /proc/loadavg: 1.01 1.00 0.95 2/79 16763 /proc/meminfo: memFree=1595288/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78548 CPUtime=409.34 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19452 0 0 0 40906 28 0 0 25 0 1 0 188347171 80433152 19272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135005966 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19637 19272 106 215 0 19419 0 Current children cumulated CPU time (s) 409.34 Current children cumulated vsize (KiB) 78548 [startup+409.901 s] /proc/loadavg: 1.01 1.00 0.95 2/79 16763 /proc/meminfo: memFree=1595288/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78548 CPUtime=409.74 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19452 0 0 0 40946 28 0 0 25 0 1 0 188347171 80433152 19272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19637 19272 106 215 0 19419 0 Current children cumulated CPU time (s) 409.74 Current children cumulated vsize (KiB) 78548 [startup+410.305 s] /proc/loadavg: 1.01 1.00 0.95 2/79 16763 /proc/meminfo: memFree=1595288/2055920 swapFree=4159036/4192956 [pid=16762] ppid=16760 vsize=78548 CPUtime=410.14 /proc/16762/stat : 16762 (minisat+) R 16760 16762 16140 0 -1 4194304 19452 0 0 0 40986 28 0 0 25 0 1 0 188347171 80433152 19272 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16762/statm: 19637 19272 106 215 0 19419 0 Current children cumulated CPU time (s) 410.14 Current children cumulated vsize (KiB) 78548 Child status: 20 Real time (s): 410.382 CPU time (s): 410.228 CPU user time (s): 409.928 CPU system time (s): 0.299954 CPU usage (%): 99.9623 Max. virtual memory (cumulated for all children) (KiB): 78548 getrusage(RUSAGE_CHILDREN,...) data: user time used= 409.928 system time used= 0.299954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 19455 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 1045 involuntary context switches= 8724 runsolver used 0.433934 second user time and 1.16982 second system time The end
Begin job on node37 on Tue Apr 24 08:45:47 UTC 2007 IDJOB= 419159 IDBENCH= 47754 IDSOLVER= 156 FILE ID= node37/419159-1177404347 PBS_JOBID= 4675619 Free space on /tmp= 66412 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/fuhs/medium/AProVE07-15.opb COMMAND LINE= /tmp/evaluation/419159-1177404347/minisat+ /tmp/evaluation/419159-1177404347/instance-419159-1177404347.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node37/convwatcher-419159-1177404347 -o ROOT/results/node37/conversion-419159-1177404347 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419159-1177404347/instance-419159-1177404347.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node37/watcher-419159-1177404347 -o ROOT/results/node37/solver-419159-1177404347 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419159-1177404347/minisat+ /tmp/evaluation/419159-1177404347/instance-419159-1177404347.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 8491f78357d22ad662b240e990e7b543 RANDOM SEED= 18609092 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node37.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.281 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.281 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: 1672816 kB Buffers: 41524 kB Cached: 232384 kB SwapCached: 2784 kB Active: 78444 kB Inactive: 232204 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1672816 kB SwapTotal: 4192956 kB SwapFree: 4159036 kB Dirty: 4644 kB Writeback: 0 kB Mapped: 44164 kB Slab: 57744 kB Committed_AS: 2068896 kB PageTables: 2028 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66412 MiB End job on node37 on Tue Apr 24 08:52:38 UTC 2007