Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | UNSAT | 695.582 | 695.975 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-06.opb |
MD5SUM | 8673328c0d6dcb86b4d9d763a362cfe4 |
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 | 695.582 |
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 | 46335 |
Total number of constraints | 632886 |
Number of constraints which are clauses | 632886 |
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 | 36174 |
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 | 36172 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 72346 |
Number of bits of the biggest sum of numbers | 17 |
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... 12.55/12.63 c Converting 72301 PB-constraints to clauses... 12.55/12.66 c -- Unit propagations: (none) 12.55/12.67 c -- Detecting intervals from adjacent constraints: ############################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################# 12.55/12.68 c -- Clauses(.)/Splits(s): ................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 12.75/12.89 c ---[72298]---> BDD-cost: 1 12.75/12.89 c ---[72296]---> BDD-cost: 1 12.75/12.89 c ---[72294]---> BDD-cost: 1 12.75/12.89 c ---[72291]---> BDD-cost: 1 12.75/12.89 c ---[72289]---> BDD-cost: 1 12.75/12.89 c ---[72287]---> BDD-cost: 1 12.75/12.89 c ---[72284]---> BDD-cost: 1 12.75/12.89 c ---[72280]---> BDD-cost: 1 12.75/12.89 c ---[72274]---> BDD-cost: 1 12.75/12.89 c ---[72264]---> BDD-cost: 1 12.75/12.89 c ---[72262]---> BDD-cost: 1 12.75/12.89 c ---[72260]---> BDD-cost: 1 12.75/12.89 c ---[72257]---> BDD-cost: 1 12.75/12.89 c ---[72255]---> BDD-cost: 1 12.75/12.89 c ---[72253]---> BDD-cost: 1 12.75/12.89 c ---[72250]---> BDD-cost: 1 12.75/12.89 c ---[72246]---> BDD-cost: 1 12.75/12.89 c ---[72240]---> BDD-cost: 1 12.75/12.89 c ---[72230]---> BDD-cost: 1 12.75/12.89 c ---[72228]---> BDD-cost: 1 12.75/12.89 c ---[72226]---> BDD-cost: 1 12.75/12.89 c ---[72223]---> BDD-cost: 1 12.75/12.89 c ---[72221]---> BDD-cost: 1 12.75/12.89 c ---[72219]---> BDD-cost: 1 12.75/12.89 c ---[72216]---> BDD-cost: 1 12.75/12.89 c ---[72214]---> BDD-cost: 1 12.75/12.89 c ---[72212]---> BDD-cost: 1 12.75/12.89 c ---[72210]---> BDD-cost: 1 12.75/12.89 c ---[72208]---> BDD-cost: 1 12.75/12.89 c ---[72205]---> BDD-cost: 1 12.75/12.89 c ---[72199]---> BDD-cost: 1 12.75/12.89 c ---[72165]---> BDD-cost: 1 12.75/12.89 c ---[72163]---> BDD-cost: 1 12.75/12.89 c ---[72161]---> BDD-cost: 1 12.75/12.89 c ---[72158]---> BDD-cost: 1 12.75/12.89 c ---[72156]---> BDD-cost: 1 12.75/12.89 c ---[72154]---> BDD-cost: 1 12.75/12.89 c ---[72151]---> BDD-cost: 1 12.75/12.89 c ---[72147]---> BDD-cost: 1 12.75/12.89 c ---[72141]---> BDD-cost: 1 12.75/12.89 c ---[72131]---> BDD-cost: 1 12.75/12.89 c ---[72129]---> BDD-cost: 1 12.75/12.89 c ---[72127]---> BDD-cost: 1 12.75/12.89 c ---[72125]---> BDD-cost: 1 12.75/12.89 c ---[72123]---> BDD-cost: 1 12.75/12.89 c ---[72121]---> BDD-cost: 1 12.75/12.89 c ---[72119]---> BDD-cost: 1 12.75/12.89 c ---[72116]---> BDD-cost: 1 12.75/12.89 c ---[72112]---> BDD-cost: 1 12.75/12.89 c ---[72106]---> BDD-cost: 1 12.75/12.89 c ---[72104]---> BDD-cost: 1 12.75/12.89 c ---[72102]---> BDD-cost: 1 12.75/12.89 c ---[72100]---> BDD-cost: 1 12.75/12.89 c ---[72098]---> BDD-cost: 1 12.75/12.89 c ---[72096]---> BDD-cost: 1 12.75/12.89 c ---[72094]---> BDD-cost: 1 12.75/12.89 c ---[72092]---> BDD-cost: 1 12.75/12.89 c ---[72090]---> BDD-cost: 1 12.75/12.89 c ---[72088]---> BDD-cost: 1 12.75/12.89 c ---[72085]---> BDD-cost: 1 12.75/12.89 c ---[72051]---> BDD-cost: 1 12.75/12.89 c ---[71921]---> BDD-cost: 1 12.75/12.89 c ---[71919]---> BDD-cost: 1 12.75/12.89 c ---[71917]---> BDD-cost: 1 12.75/12.89 c ---[71914]---> BDD-cost: 1 12.75/12.89 c ---[71912]---> BDD-cost: 1 12.75/12.89 c ---[71910]---> BDD-cost: 1 12.75/12.89 c ---[71907]---> BDD-cost: 1 12.75/12.89 c ---[71903]---> BDD-cost: 1 12.75/12.89 c ---[71897]---> BDD-cost: 1 12.75/12.89 c ---[71887]---> BDD-cost: 1 12.75/12.89 c ---[71885]---> BDD-cost: 1 12.75/12.89 c ---[71883]---> BDD-cost: 1 12.75/12.89 c ---[71880]---> BDD-cost: 1 12.75/12.89 c ---[71876]---> BDD-cost: 1 12.75/12.89 c ---[71870]---> BDD-cost: 1 12.75/12.89 c ---[71860]---> BDD-cost: 1 12.75/12.89 c ---[71858]---> BDD-cost: 1 12.75/12.89 c ---[71856]---> BDD-cost: 1 12.75/12.89 c ---[71853]---> BDD-cost: 1 12.75/12.89 c ---[71851]---> BDD-cost: 1 12.75/12.89 c ---[71849]---> BDD-cost: 1 12.75/12.89 c ---[71846]---> BDD-cost: 1 12.75/12.89 c ---[71842]---> BDD-cost: 1 12.75/12.89 c ---[71836]---> BDD-cost: 1 12.75/12.89 c ---[71826]---> BDD-cost: 1 12.75/12.89 c ---[71824]---> BDD-cost: 1 12.75/12.89 c ---[71822]---> BDD-cost: 1 12.75/12.89 c ---[71819]---> BDD-cost: 1 12.75/12.89 c ---[71815]---> BDD-cost: 1 12.75/12.89 c ---[71809]---> BDD-cost: 1 12.75/12.89 c ---[71799]---> BDD-cost: 1 12.75/12.89 c ---[71797]---> BDD-cost: 1 12.75/12.89 c ---[71795]---> BDD-cost: 1 12.75/12.89 c ---[71792]---> BDD-cost: 1 12.75/12.89 c ---[71788]---> BDD-cost: 1 12.75/12.89 c ---[71782]---> BDD-cost: 1 12.75/12.89 c ---[71772]---> BDD-cost: 1 12.75/12.89 c ---[71770]---> BDD-cost: 1 12.75/12.89 c ---[71768]---> BDD-cost: 1 12.75/12.89 c ---[71766]---> BDD-cost: 1 12.75/12.89 c ---[71763]---> BDD-cost: 1 12.75/12.89 c ---[71760]---> BDD-cost: 1 12.75/12.89 c ---[71756]---> BDD-cost: 1 12.75/12.89 c ---[71750]---> BDD-cost: 1 12.75/12.89 c ---[71748]---> BDD-cost: 1 12.75/12.89 c ---[71746]---> BDD-cost: 1 12.75/12.89 c ---[71743]---> BDD-cost: 1 12.75/12.89 c ---[71741]---> BDD-cost: 1 12.75/12.89 c ---[71739]---> BDD-cost: 1 12.75/12.89 c ---[71736]---> BDD-cost: 1 12.75/12.89 c ---[71732]---> BDD-cost: 1 12.75/12.89 c ---[71726]---> BDD-cost: 1 12.75/12.89 c ---[71716]---> BDD-cost: 1 12.75/12.89 c ---[71714]---> BDD-cost: 1 12.75/12.89 c ---[71712]---> BDD-cost: 1 12.75/12.89 c ---[71709]---> BDD-cost: 1 12.75/12.89 c ---[71705]---> BDD-cost: 1 12.75/12.89 c ---[71699]---> BDD-cost: 1 12.75/12.89 c ---[71689]---> BDD-cost: 1 12.75/12.89 c ---[71687]---> BDD-cost: 1 12.75/12.89 c ---[71685]---> BDD-cost: 1 12.75/12.89 c ---[71682]---> BDD-cost: 1 12.75/12.89 c ---[71678]---> BDD-cost: 1 12.75/12.89 c ---[71672]---> BDD-cost: 1 12.75/12.89 c ---[71662]---> BDD-cost: 1 12.75/12.89 c ---[71660]---> BDD-cost: 1 12.75/12.89 c ---[71658]---> BDD-cost: 1 12.75/12.89 c ---[71655]---> BDD-cost: 1 12.75/12.89 c ---[71651]---> BDD-cost: 1 12.75/12.89 c ---[71645]---> BDD-cost: 1 12.75/12.89 c ---[71635]---> BDD-cost: 1 12.75/12.89 c ---[71633]---> BDD-cost: 1 12.75/12.89 c ---[71631]---> BDD-cost: 1 12.75/12.89 c ---[71628]---> BDD-cost: 1 12.75/12.89 c ---[71624]---> BDD-cost: 1 12.75/12.89 c ---[71618]---> BDD-cost: 1 12.75/12.90 c ---[71608]---> BDD-cost: 1 12.75/12.90 c ---[71606]---> BDD-cost: 1 12.75/12.90 c ---[71604]---> BDD-cost: 1 12.75/12.90 c ---[71601]---> BDD-cost: 1 12.75/12.90 c ---[71597]---> BDD-cost: 1 12.75/12.90 c ---[71591]---> BDD-cost: 1 12.75/12.90 c ---[71581]---> BDD-cost: 1 12.75/12.90 c ---[71579]---> BDD-cost: 1 12.75/12.90 c ---[71577]---> BDD-cost: 1 12.75/12.90 c ---[71574]---> BDD-cost: 1 12.75/12.90 c ---[71570]---> BDD-cost: 1 12.75/12.90 c ---[71564]---> BDD-cost: 1 12.75/12.90 c ---[71554]---> BDD-cost: 1 12.75/12.90 c ---[71552]---> BDD-cost: 1 12.75/12.90 c ---[71550]---> BDD-cost: 1 12.75/12.90 c ---[71548]---> BDD-cost: 1 12.75/12.90 c ---[71546]---> BDD-cost: 1 12.75/12.90 c ---[71544]---> BDD-cost: 1 12.75/12.90 c ---[71542]---> BDD-cost: 1 12.75/12.90 c ---[71539]---> BDD-cost: 1 12.75/12.90 c ---[71535]---> BDD-cost: 1 12.75/12.90 c ---[71529]---> BDD-cost: 1 12.75/12.90 c ---[71527]---> BDD-cost: 1 12.75/12.90 c ---[71525]---> BDD-cost: 1 12.75/12.90 c ---[71522]---> BDD-cost: 1 12.75/12.90 c ---[71518]---> BDD-cost: 1 12.75/12.90 c ---[71512]---> BDD-cost: 1 12.75/12.90 c ---[71502]---> BDD-cost: 1 12.75/12.90 c ---[71500]---> BDD-cost: 1 12.75/12.90 c ---[71498]---> BDD-cost: 1 12.75/12.90 c ---[71496]---> BDD-cost: 1 12.75/12.90 c ---[71494]---> BDD-cost: 1 12.75/12.90 c ---[71492]---> BDD-cost: 1 12.75/12.90 c ---[71489]---> BDD-cost: 1 12.75/12.90 c ---[71479]---> BDD-cost: 1 12.75/12.90 c ---[71445]---> BDD-cost: 1 12.75/12.90 c ---[71315]---> BDD-cost: 1 12.75/12.90 c ---[71313]---> BDD-cost: 1 12.75/12.90 c ---[71311]---> BDD-cost: 1 12.75/12.90 c ---[71309]---> BDD-cost: 1 12.75/12.90 c ---[71307]---> BDD-cost: 1 12.85/12.90 c ---[71305]---> BDD-cost: 1 12.85/12.90 c ---[71302]---> BDD-cost: 1 12.85/12.90 c ---[71296]---> BDD-cost: 1 12.85/12.90 c ---[71278]---> BDD-cost: 1 12.85/12.90 c ---[71244]---> BDD-cost: 1 12.85/12.90 c ---[71178]---> BDD-cost: 1 12.85/12.90 c ---[70664]---> BDD-cost: 1 12.85/12.90 c ---[69638]---> BDD-cost: 1 12.85/12.90 c ---[69636]---> BDD-cost: 1 12.85/12.90 c ---[69634]---> BDD-cost: 1 12.85/12.90 c ---[69632]---> BDD-cost: 1 12.85/12.90 c ---[69630]---> BDD-cost: 1 12.85/12.90 c ---[69628]---> BDD-cost: 1 12.85/12.90 c ---[69626]---> BDD-cost: 1 12.85/12.90 c ---[69623]---> BDD-cost: 1 12.85/12.90 c ---[69619]---> BDD-cost: 1 12.85/12.90 c ---[69601]---> BDD-cost: 1 12.85/12.90 c ---[69567]---> BDD-cost: 1 12.85/12.90 c ---[69309]---> BDD-cost: 1 12.85/12.90 c ---[68283]---> BDD-cost: 1 12.85/12.90 c ---[66233]---> BDD-cost: 1 12.85/12.90 c ---[62135]---> BDD-cost: 1 12.85/12.90 c ---[53941]---> BDD-cost: 1 12.85/12.90 c ---[53939]---> BDD-cost: 1 12.85/12.90 c ---[53937]---> BDD-cost: 1 12.85/12.90 c ---[53934]---> BDD-cost: 1 12.85/12.90 c ---[53930]---> BDD-cost: 1 12.85/12.90 c ---[53924]---> BDD-cost: 1 12.85/12.90 c ---[53914]---> BDD-cost: 1 12.85/12.90 c ---[53912]---> BDD-cost: 1 12.85/12.90 c ---[53910]---> BDD-cost: 1 12.85/12.90 c ---[53907]---> BDD-cost: 1 12.85/12.90 c ---[53903]---> BDD-cost: 1 12.85/12.90 c ---[53897]---> BDD-cost: 1 12.85/12.90 c ---[53887]---> BDD-cost: 1 12.85/12.90 c ---[53885]---> BDD-cost: 1 12.85/12.90 c ---[53883]---> BDD-cost: 1 12.85/12.90 c ---[53881]---> BDD-cost: 1 12.85/12.90 c ---[53879]---> BDD-cost: 1 12.85/12.90 c ---[53877]---> BDD-cost: 1 12.85/12.90 c ---[53875]---> BDD-cost: 1 12.85/12.90 c ---[53872]---> BDD-cost: 1 12.85/12.90 c ---[53868]---> BDD-cost: 1 12.85/12.90 c ---[53862]---> BDD-cost: 1 12.85/12.90 c ---[53860]---> BDD-cost: 1 12.85/12.90 c ---[53858]---> BDD-cost: 1 12.85/12.90 c ---[53856]---> BDD-cost: 1 12.85/12.90 c ---[53854]---> BDD-cost: 1 12.85/12.90 c ---[53852]---> BDD-cost: 1 12.85/12.90 c ---[53850]---> BDD-cost: 1 12.85/12.90 c ---[53848]---> BDD-cost: 1 12.85/12.90 c ---[53846]---> BDD-cost: 1 12.85/12.90 c ---[53844]---> BDD-cost: 1 12.85/12.90 c ---[53841]---> BDD-cost: 1 12.85/12.90 c ---[53807]---> BDD-cost: 1 12.85/12.90 c ---[53677]---> BDD-cost: 1 12.85/12.90 c ---[53675]---> BDD-cost: 1 12.85/12.90 c ---[53673]---> BDD-cost: 1 12.85/12.90 c ---[53671]---> BDD-cost: 1 12.85/12.90 c ---[53669]---> BDD-cost: 1 12.85/12.90 c ---[53667]---> BDD-cost: 1 12.85/12.90 c ---[53664]---> BDD-cost: 1 12.85/12.90 c ---[53654]---> BDD-cost: 1 12.85/12.90 c ---[53620]---> BDD-cost: 1 12.85/12.90 c ---[53490]---> BDD-cost: 1 12.85/12.90 c ---[53488]---> BDD-cost: 1 12.85/12.90 c ---[53486]---> BDD-cost: 1 12.85/12.90 c ---[53484]---> BDD-cost: 1 12.85/12.90 c ---[53482]---> BDD-cost: 1 12.85/12.90 c ---[53479]---> BDD-cost: 1 12.85/12.90 c ---[53475]---> BDD-cost: 1 12.85/12.90 c ---[53469]---> BDD-cost: 1 12.85/12.90 c ---[53459]---> BDD-cost: 1 12.85/12.90 c ---[53441]---> BDD-cost: 1 12.85/12.90 c ---[53311]---> BDD-cost: 1 12.85/12.90 c ---[52797]---> BDD-cost: 1 12.85/12.90 c ---[51771]---> BDD-cost: 1 12.85/12.90 c ---[51769]---> BDD-cost: 1 12.85/12.90 c ---[51767]---> BDD-cost: 1 12.85/12.90 c ---[51765]---> BDD-cost: 1 12.85/12.90 c ---[51763]---> BDD-cost: 1 12.85/12.90 c ---[51761]---> BDD-cost: 1 12.85/12.90 c ---[51759]---> BDD-cost: 1 12.85/12.90 c ---[51756]---> BDD-cost: 1 12.85/12.90 c ---[51746]---> BDD-cost: 1 12.85/12.90 c ---[51728]---> BDD-cost: 1 12.85/12.90 c ---[51662]---> BDD-cost: 1 12.85/12.90 c ---[51148]---> BDD-cost: 1 12.85/12.90 c ---[50122]---> BDD-cost: 1 12.85/12.90 c ---[48072]---> BDD-cost: 1 12.85/12.90 c ---[43974]---> BDD-cost: 1 12.85/12.90 c ---[35780]---> BDD-cost: 1 12.85/12.90 c ---[35778]---> BDD-cost: 1 12.85/12.90 c ---[35776]---> BDD-cost: 1 12.85/12.90 c ---[35773]---> BDD-cost: 1 12.85/12.90 c ---[35769]---> BDD-cost: 1 12.85/12.90 c ---[35763]---> BDD-cost: 1 12.85/12.90 c ---[35753]---> BDD-cost: 1 12.85/12.90 c ---[35751]---> BDD-cost: 1 12.85/12.90 c ---[35749]---> BDD-cost: 1 12.85/12.90 c ---[35746]---> BDD-cost: 1 12.85/12.90 c ---[35742]---> BDD-cost: 1 12.85/12.90 c ---[35736]---> BDD-cost: 1 12.85/12.90 c ---[35726]---> BDD-cost: 1 12.85/12.90 c ---[35717]---> BDD-cost: 1 12.85/12.90 c ---[35715]---> BDD-cost: 1 12.85/12.90 c ---[35713]---> BDD-cost: 1 12.85/12.90 c ---[35711]---> BDD-cost: 1 12.85/12.90 c ---[35709]---> BDD-cost: 1 12.85/12.90 c ---[35707]---> BDD-cost: 1 12.85/12.90 c ---[35701]---> BDD-cost: 1 12.85/12.90 c ---[35699]---> BDD-cost: 1 12.85/12.90 c ---[35679]---> BDD-cost: 1 12.85/12.90 c ---[35666]---> BDD-cost: 1 12.85/12.90 c ---[35654]---> BDD-cost: 1 12.85/12.90 c ---[35626]---> BDD-cost: 1 12.85/12.90 c ---[35589]---> BDD-cost: 1 12.85/12.90 c ---[35557]---> BDD-cost: 1 12.85/12.90 c ---[35542]---> BDD-cost: 1 12.85/12.90 c ---[35537]---> BDD-cost: 1 12.85/12.90 c ---[35399]---> BDD-cost: 1 12.85/12.90 c ---[35374]---> BDD-cost: 1 12.85/12.90 c ---[35355]---> BDD-cost: 1 12.85/12.90 c ---[35321]---> BDD-cost: 1 12.85/12.90 c ---[35294]---> BDD-cost: 1 12.85/12.90 c ---[35276]---> BDD-cost: 1 12.85/12.90 c ---[35274]---> BDD-cost: 1 12.85/12.90 c ---[35258]---> BDD-cost: 1 12.85/12.90 c ---[35256]---> BDD-cost: 1 12.85/12.90 c ---[35254]---> BDD-cost: 1 12.85/12.90 c ---[35252]---> BDD-cost: 1 12.85/12.90 c ---[35250]---> BDD-cost: 1 12.85/12.90 c ---[35238]---> BDD-cost: 1 12.85/12.90 c ---[35193]---> BDD-cost: 1 12.85/12.90 c ---[35174]---> BDD-cost: 1 12.85/12.90 c ---[35166]---> BDD-cost: 1 12.85/12.90 c ---[34985]---> BDD-cost: 1 12.85/12.90 c ---[34975]---> BDD-cost: 1 12.85/12.90 c ---[34973]---> BDD-cost: 1 12.85/12.90 c ---[34966]---> BDD-cost: 1 12.85/12.90 c ---[34931]---> BDD-cost: 1 12.85/12.90 c ---[34721]---> BDD-cost: 1 12.85/12.90 c ---[34719]---> BDD-cost: 1 12.85/12.90 c ---[34717]---> BDD-cost: 1 12.85/12.90 c ---[34715]---> BDD-cost: 1 12.85/12.90 c ---[34713]---> BDD-cost: 1 12.85/12.90 c ---[34711]---> BDD-cost: 1 12.85/12.90 c ---[34612]---> BDD-cost: 1 12.85/12.90 c ---[34603]---> BDD-cost: 1 12.85/12.90 c ---[34591]---> BDD-cost: 1 12.85/12.90 c ---[34569]---> BDD-cost: 1 12.85/12.90 c ---[34503]---> BDD-cost: 1 12.85/12.90 c ---[34494]---> BDD-cost: 1 12.85/12.90 c ---[34492]---> BDD-cost: 1 12.85/12.90 c ---[34490]---> BDD-cost: 1 12.85/12.90 c ---[34488]---> BDD-cost: 1 12.85/12.90 c ---[34486]---> BDD-cost: 1 12.85/12.90 c ---[34484]---> BDD-cost: 1 12.85/12.90 c ---[34478]---> BDD-cost: 1 12.85/12.90 c ---[34476]---> BDD-cost: 1 12.85/12.90 c ---[34456]---> BDD-cost: 1 12.85/12.90 c ---[34443]---> BDD-cost: 1 12.85/12.90 c ---[34431]---> BDD-cost: 1 12.85/12.90 c ---[34403]---> BDD-cost: 1 12.85/12.90 c ---[34366]---> BDD-cost: 1 12.85/12.90 c ---[34334]---> BDD-cost: 1 12.85/12.90 c ---[34319]---> BDD-cost: 1 12.85/12.90 c ---[34314]---> BDD-cost: 1 12.85/12.90 c ---[34176]---> BDD-cost: 1 12.85/12.90 c ---[34151]---> BDD-cost: 1 12.85/12.90 c ---[34132]---> BDD-cost: 1 12.85/12.90 c ---[34098]---> BDD-cost: 1 12.85/12.90 c ---[34071]---> BDD-cost: 1 12.85/12.90 c ---[34053]---> BDD-cost: 1 12.85/12.90 c ---[34051]---> BDD-cost: 1 12.85/12.90 c ---[34035]---> BDD-cost: 1 12.85/12.90 c ---[34033]---> BDD-cost: 1 12.85/12.90 c ---[34031]---> BDD-cost: 1 12.85/12.90 c ---[34029]---> BDD-cost: 1 12.85/12.90 c ---[34027]---> BDD-cost: 1 12.85/12.90 c ---[34015]---> BDD-cost: 1 12.85/12.90 c ---[33970]---> BDD-cost: 1 12.85/12.90 c ---[33951]---> BDD-cost: 1 12.85/12.90 c ---[33943]---> BDD-cost: 1 12.85/12.90 c ---[33762]---> BDD-cost: 1 12.85/12.90 c ---[33752]---> BDD-cost: 1 12.85/12.90 c ---[33750]---> BDD-cost: 1 12.85/12.90 c ---[33743]---> BDD-cost: 1 12.85/12.90 c ---[33708]---> BDD-cost: 1 12.85/12.90 c ---[33498]---> BDD-cost: 1 12.85/12.90 c ---[33496]---> BDD-cost: 1 12.85/12.90 c ---[33494]---> BDD-cost: 1 12.85/12.90 c ---[33492]---> BDD-cost: 1 12.85/12.90 c ---[33490]---> BDD-cost: 1 12.85/12.90 c ---[33488]---> BDD-cost: 1 12.85/12.90 c ---[33386]---> BDD-cost: 1 12.85/12.90 c ---[33374]---> BDD-cost: 1 12.85/12.90 c ---[33352]---> BDD-cost: 1 12.85/12.90 c ---[33286]---> BDD-cost: 1 12.85/12.90 c ---[33274]---> BDD-cost: 1 12.85/12.90 c ---[33272]---> BDD-cost: 1 12.85/12.90 c ---[33270]---> BDD-cost: 1 12.85/12.90 c ---[33268]---> BDD-cost: 1 12.85/12.90 c ---[33266]---> BDD-cost: 1 12.85/12.90 c ---[33264]---> BDD-cost: 1 12.85/12.90 c ---[33262]---> BDD-cost: 1 12.85/12.90 c ---[33260]---> BDD-cost: 1 12.85/12.90 c ---[33258]---> BDD-cost: 1 12.85/12.90 c ---[33252]---> BDD-cost: 1 12.85/12.90 c ---[33250]---> BDD-cost: 1 12.85/12.90 c ---[33230]---> BDD-cost: 1 12.85/12.90 c ---[33211]---> BDD-cost: 1 12.85/12.90 c ---[33199]---> BDD-cost: 1 12.85/12.90 c ---[33171]---> BDD-cost: 1 12.85/12.90 c ---[33134]---> BDD-cost: 1 12.85/12.90 c ---[33102]---> BDD-cost: 1 12.85/12.90 c ---[33087]---> BDD-cost: 1 12.85/12.90 c ---[33082]---> BDD-cost: 1 12.85/12.90 c ---[33070]---> BDD-cost: 1 12.85/12.90 c ---[33042]---> BDD-cost: 1 12.85/12.90 c ---[33005]---> BDD-cost: 1 12.85/12.90 c ---[32973]---> BDD-cost: 1 12.85/12.90 c ---[32958]---> BDD-cost: 1 12.85/12.90 c ---[32953]---> BDD-cost: 1 12.85/12.90 c ---[32815]---> BDD-cost: 1 12.85/12.90 c ---[32790]---> BDD-cost: 1 12.85/12.90 c ---[32771]---> BDD-cost: 1 12.85/12.90 c ---[32737]---> BDD-cost: 1 12.85/12.90 c ---[32710]---> BDD-cost: 1 12.85/12.90 c ---[32692]---> BDD-cost: 1 12.85/12.90 c ---[32690]---> BDD-cost: 1 12.85/12.90 c ---[32674]---> BDD-cost: 1 12.85/12.90 c ---[32672]---> BDD-cost: 1 12.85/12.90 c ---[32670]---> BDD-cost: 1 12.85/12.90 c ---[32668]---> BDD-cost: 1 12.85/12.90 c ---[32666]---> BDD-cost: 1 12.85/12.90 c ---[32654]---> BDD-cost: 1 12.85/12.90 c ---[32609]---> BDD-cost: 1 12.85/12.90 c ---[32590]---> BDD-cost: 1 12.85/12.90 c ---[32582]---> BDD-cost: 1 12.85/12.90 c ---[32401]---> BDD-cost: 1 12.85/12.90 c ---[32391]---> BDD-cost: 1 12.85/12.90 c ---[32389]---> BDD-cost: 1 12.85/12.90 c ---[32382]---> BDD-cost: 1 12.85/12.90 c ---[32342]---> BDD-cost: 1 12.85/12.90 c ---[32307]---> BDD-cost: 1 12.85/12.90 c ---[31850]---> BDD-cost: 1 12.85/12.90 c ---[31848]---> BDD-cost: 1 12.85/12.90 c ---[31846]---> BDD-cost: 1 12.85/12.90 c ---[31844]---> BDD-cost: 1 12.85/12.90 c ---[31842]---> BDD-cost: 1 12.85/12.90 c ---[31840]---> BDD-cost: 1 12.85/12.90 c ---[31838]---> BDD-cost: 1 12.85/12.90 c ---[31720]---> BDD-cost: 1 12.85/12.91 c ---[31710]---> BDD-cost: 1 12.85/12.91 c ---[31697]---> BDD-cost: 1 12.85/12.91 c ---[31675]---> BDD-cost: 1 12.85/12.91 c ---[31608]---> BDD-cost: 1 12.85/12.91 c ---[31599]---> BDD-cost: 1 12.85/12.91 c ---[31597]---> BDD-cost: 1 12.85/12.91 c ---[31595]---> BDD-cost: 1 12.85/12.91 c ---[31593]---> BDD-cost: 1 12.85/12.91 c ---[31591]---> BDD-cost: 1 12.85/12.91 c ---[31589]---> BDD-cost: 1 12.85/12.91 c ---[31583]---> BDD-cost: 1 12.85/12.91 c ---[31581]---> BDD-cost: 1 12.85/12.91 c ---[31561]---> BDD-cost: 1 12.85/12.91 c ---[31548]---> BDD-cost: 1 12.85/12.91 c ---[31536]---> BDD-cost: 1 12.85/12.91 c ---[31508]---> BDD-cost: 1 12.85/12.91 c ---[31471]---> BDD-cost: 1 12.85/12.91 c ---[31439]---> BDD-cost: 1 12.85/12.91 c ---[31424]---> BDD-cost: 1 12.85/12.91 c ---[31419]---> BDD-cost: 1 12.85/12.91 c ---[31281]---> BDD-cost: 1 12.85/12.91 c ---[31256]---> BDD-cost: 1 12.85/12.91 c ---[31237]---> BDD-cost: 1 12.85/12.91 c ---[31203]---> BDD-cost: 1 12.85/12.91 c ---[31176]---> BDD-cost: 1 12.85/12.91 c ---[31158]---> BDD-cost: 1 12.85/12.91 c ---[31156]---> BDD-cost: 1 12.85/12.91 c ---[31140]---> BDD-cost: 1 12.85/12.91 c ---[31138]---> BDD-cost: 1 12.85/12.91 c ---[31136]---> BDD-cost: 1 12.85/12.91 c ---[31134]---> BDD-cost: 1 12.85/12.91 c ---[31132]---> BDD-cost: 1 12.85/12.91 c ---[31120]---> BDD-cost: 1 12.85/12.91 c ---[31075]---> BDD-cost: 1 12.85/12.91 c ---[31056]---> BDD-cost: 1 12.85/12.91 c ---[31048]---> BDD-cost: 1 12.85/12.91 c ---[30867]---> BDD-cost: 1 12.85/12.91 c ---[30857]---> BDD-cost: 1 12.85/12.91 c ---[30855]---> BDD-cost: 1 12.85/12.91 c ---[30848]---> BDD-cost: 1 12.85/12.91 c ---[30813]---> BDD-cost: 1 12.85/12.91 c ---[30603]---> BDD-cost: 1 12.85/12.91 c ---[30601]---> BDD-cost: 1 12.85/12.91 c ---[30599]---> BDD-cost: 1 12.85/12.91 c ---[30597]---> BDD-cost: 1 12.85/12.91 c ---[30595]---> BDD-cost: 1 12.85/12.91 c ---[30593]---> BDD-cost: 1 12.85/12.91 c ---[30491]---> BDD-cost: 1 12.85/12.91 c ---[30479]---> BDD-cost: 1 12.85/12.91 c ---[30457]---> BDD-cost: 1 12.85/12.91 c ---[30391]---> BDD-cost: 1 12.85/12.91 c ---[30385]---> BDD-cost: 1 12.85/12.91 c ---[30383]---> BDD-cost: 1 12.85/12.91 c ---[30381]---> BDD-cost: 1 12.85/12.91 c ---[30375]---> BDD-cost: 1 12.85/12.91 c ---[30373]---> BDD-cost: 1 12.85/12.91 c ---[30353]---> BDD-cost: 1 12.85/12.91 c ---[30346]---> BDD-cost: 1 12.85/12.91 c ---[30208]---> BDD-cost: 1 12.85/12.91 c ---[30183]---> BDD-cost: 1 12.85/12.91 c ---[30164]---> BDD-cost: 1 12.85/12.91 c ---[30141]---> BDD-cost: 1 12.85/12.91 c ---[30118]---> BDD-cost: 1 12.85/12.91 c ---[30100]---> BDD-cost: 1 12.85/12.91 c ---[30084]---> BDD-cost: 1 12.85/12.91 c ---[30082]---> BDD-cost: 1 12.85/12.91 c ---[30080]---> BDD-cost: 1 12.85/12.91 c ---[30078]---> BDD-cost: 1 12.85/12.91 c ---[30076]---> BDD-cost: 1 12.85/12.91 c ---[30064]---> BDD-cost: 1 12.85/12.91 c ---[30019]---> BDD-cost: 1 12.85/12.91 c ---[30000]---> BDD-cost: 1 12.85/12.91 c ---[29992]---> BDD-cost: 1 12.85/12.91 c ---[29811]---> BDD-cost: 1 12.85/12.91 c ---[29803]---> BDD-cost: 1 12.85/12.91 c ---[29509]---> BDD-cost: 1 12.85/12.91 c ---[29481]---> BDD-cost: 1 12.85/12.91 c ---[29467]---> BDD-cost: 1 12.85/12.91 c ---[29448]---> BDD-cost: 1 12.85/12.91 c ---[29423]---> BDD-cost: 1 12.85/12.91 c ---[29399]---> BDD-cost: 1 12.85/12.91 c ---[29380]---> BDD-cost: 1 12.85/12.91 c ---[29370]---> BDD-cost: 1 12.85/12.91 c ---[29360]---> BDD-cost: 1 12.85/12.91 c ---[29328]---> BDD-cost: 1 12.85/12.91 c ---[29143]---> BDD-cost: 1 12.85/12.91 c ---[29136]---> BDD-cost: 1 12.85/12.91 c ---[28686]---> BDD-cost: 1 12.85/12.91 c ---[28655]---> BDD-cost: 1 12.85/12.91 c ---[28544]---> BDD-cost: 1 12.85/12.91 c ---[28488]---> BDD-cost: 1 12.85/12.91 c ---[28449]---> BDD-cost: 1 12.85/12.91 c ---[28412]---> BDD-cost: 1 12.85/12.91 c ---[28377]---> BDD-cost: 1 12.85/12.91 c ---[28348]---> BDD-cost: 1 12.85/12.91 c ---[28320]---> BDD-cost: 1 12.85/12.91 c ---[28297]---> BDD-cost: 1 12.85/12.91 c ---[28274]---> BDD-cost: 1 12.85/12.91 c ---[28256]---> BDD-cost: 1 12.85/12.91 c ---[28218]---> BDD-cost: 1 12.85/12.91 c ---[27830]---> BDD-cost: 1 12.85/12.91 c ---[27815]---> BDD-cost: 1 12.85/12.91 c ---[27780]---> BDD-cost: 1 12.85/12.91 c ---[27570]---> BDD-cost: 1 12.85/12.91 c ---[27568]---> BDD-cost: 1 12.85/12.91 c ---[27566]---> BDD-cost: 1 12.85/12.91 c ---[27564]---> BDD-cost: 1 12.85/12.91 c ---[27562]---> BDD-cost: 1 12.85/12.91 c ---[27560]---> BDD-cost: 1 12.85/12.91 c ---[27450]---> BDD-cost: 1 12.85/12.91 c ---[27428]---> BDD-cost: 1 12.85/12.91 c ---[27344]---> BDD-cost: 1 12.85/12.91 c ---[27331]---> BDD-cost: 1 12.85/12.91 c ---[27319]---> BDD-cost: 1 12.85/12.91 c ---[27291]---> BDD-cost: 1 12.85/12.91 c ---[27254]---> BDD-cost: 1 12.85/12.91 c ---[27222]---> BDD-cost: 1 12.85/12.91 c ---[27207]---> BDD-cost: 1 12.85/12.91 c ---[27202]---> BDD-cost: 1 12.85/12.91 c ---[27064]---> BDD-cost: 1 12.85/12.91 c ---[27039]---> BDD-cost: 1 12.85/12.91 c ---[27020]---> BDD-cost: 1 12.85/12.91 c ---[26997]---> BDD-cost: 1 12.85/12.91 c ---[26974]---> BDD-cost: 1 12.85/12.91 c ---[26956]---> BDD-cost: 1 12.85/12.91 c ---[26940]---> BDD-cost: 1 12.85/12.91 c ---[26938]---> BDD-cost: 1 12.85/12.91 c ---[26936]---> BDD-cost: 1 12.85/12.91 c ---[26934]---> BDD-cost: 1 12.85/12.91 c ---[26932]---> BDD-cost: 1 12.85/12.91 c ---[26920]---> BDD-cost: 1 12.85/12.91 c ---[26875]---> BDD-cost: 1 12.85/12.91 c ---[26856]---> BDD-cost: 1 12.85/12.91 c ---[26848]---> BDD-cost: 1 12.85/12.91 c ---[26667]---> BDD-cost: 1 12.85/12.91 c ---[26457]---> BDD-cost: 1 12.85/12.91 c ---[26455]---> BDD-cost: 1 12.85/12.91 c ---[26453]---> BDD-cost: 1 12.85/12.91 c ---[26451]---> BDD-cost: 1 12.85/12.91 c ---[26449]---> BDD-cost: 1 12.85/12.91 c ---[26447]---> BDD-cost: 1 12.85/12.91 c ---[26345]---> BDD-cost: 1 12.85/12.91 c ---[26333]---> BDD-cost: 1 12.85/12.91 c ---[26311]---> BDD-cost: 1 12.85/12.91 c ---[26245]---> BDD-cost: 1 12.85/12.91 c ---[26232]---> BDD-cost: 1 12.85/12.91 c ---[26220]---> BDD-cost: 1 12.85/12.91 c ---[26192]---> BDD-cost: 1 12.85/12.91 c ---[26155]---> BDD-cost: 1 12.85/12.91 c ---[26123]---> BDD-cost: 1 12.85/12.91 c ---[26108]---> BDD-cost: 1 12.85/12.91 c ---[26103]---> BDD-cost: 1 12.85/12.91 c ---[25965]---> BDD-cost: 1 12.85/12.91 c ---[25940]---> BDD-cost: 1 12.85/12.91 c ---[25921]---> BDD-cost: 1 12.85/12.91 c ---[25887]---> BDD-cost: 1 12.85/12.91 c ---[25860]---> BDD-cost: 1 12.85/12.91 c ---[25842]---> BDD-cost: 1 12.85/12.91 c ---[25826]---> BDD-cost: 1 12.85/12.91 c ---[25824]---> BDD-cost: 1 12.85/12.91 c ---[25822]---> BDD-cost: 1 12.85/12.91 c ---[25820]---> BDD-cost: 1 12.85/12.91 c ---[25818]---> BDD-cost: 1 12.85/12.91 c ---[25806]---> BDD-cost: 1 12.85/12.91 c ---[25761]---> BDD-cost: 1 12.85/12.91 c ---[25742]---> BDD-cost: 1 12.85/12.91 c ---[25734]---> BDD-cost: 1 12.85/12.91 c ---[25553]---> BDD-cost: 1 12.85/12.91 c ---[25538]---> BDD-cost: 1 12.85/12.91 c ---[25503]---> BDD-cost: 1 12.85/12.91 c ---[25293]---> BDD-cost: 1 12.85/12.91 c ---[25291]---> BDD-cost: 1 12.85/12.91 c ---[25289]---> BDD-cost: 1 12.85/12.91 c ---[25287]---> BDD-cost: 1 12.85/12.91 c ---[25285]---> BDD-cost: 1 12.85/12.91 c ---[25283]---> BDD-cost: 1 12.85/12.91 c ---[25181]---> BDD-cost: 1 12.85/12.91 c ---[25169]---> BDD-cost: 1 12.85/12.91 c ---[25147]---> BDD-cost: 1 12.85/12.91 c ---[25081]---> BDD-cost: 1 12.85/12.91 c ---[25072]---> BDD-cost: 1 12.85/12.91 c ---[25070]---> BDD-cost: 1 12.85/12.91 c ---[25068]---> BDD-cost: 1 12.85/12.91 c ---[25062]---> BDD-cost: 1 12.85/12.91 c ---[25060]---> BDD-cost: 1 12.85/12.91 c ---[25040]---> BDD-cost: 1 12.85/12.91 c ---[25027]---> BDD-cost: 1 12.85/12.91 c ---[25015]---> BDD-cost: 1 12.85/12.91 c ---[24987]---> BDD-cost: 1 12.85/12.91 c ---[24950]---> BDD-cost: 1 12.85/12.91 c ---[24918]---> BDD-cost: 1 12.85/12.91 c ---[24903]---> BDD-cost: 1 12.85/12.91 c ---[24898]---> BDD-cost: 1 12.85/12.91 c ---[24760]---> BDD-cost: 1 12.85/12.91 c ---[24735]---> BDD-cost: 1 12.85/12.91 c ---[24716]---> BDD-cost: 1 12.85/12.91 c ---[24693]---> BDD-cost: 1 12.85/12.91 c ---[24670]---> BDD-cost: 1 12.85/12.91 c ---[24652]---> BDD-cost: 1 12.85/12.91 c ---[24636]---> BDD-cost: 1 12.85/12.91 c ---[24634]---> BDD-cost: 1 12.85/12.91 c ---[24632]---> BDD-cost: 1 12.85/12.91 c ---[24630]---> BDD-cost: 1 12.85/12.91 c ---[24628]---> BDD-cost: 1 12.85/12.91 c ---[24616]---> BDD-cost: 1 12.85/12.91 c ---[24571]---> BDD-cost: 1 12.85/12.91 c ---[24552]---> BDD-cost: 1 12.85/12.91 c ---[24544]---> BDD-cost: 1 12.85/12.91 c ---[24363]---> BDD-cost: 1 12.85/12.91 c ---[24153]---> BDD-cost: 1 12.85/12.91 c ---[24151]---> BDD-cost: 1 12.85/12.91 c ---[24149]---> BDD-cost: 1 12.85/12.91 c ---[24147]---> BDD-cost: 1 12.85/12.91 c ---[24145]---> BDD-cost: 1 12.85/12.91 c ---[24143]---> BDD-cost: 1 12.85/12.91 c ---[24041]---> BDD-cost: 1 12.85/12.91 c ---[24029]---> BDD-cost: 1 12.85/12.91 c ---[24007]---> BDD-cost: 1 12.85/12.91 c ---[23941]---> BDD-cost: 1 12.85/12.91 c ---[23932]---> BDD-cost: 1 12.85/12.91 c ---[23930]---> BDD-cost: 1 12.85/12.91 c ---[23928]---> BDD-cost: 1 12.85/12.91 c ---[23922]---> BDD-cost: 1 12.85/12.91 c ---[23920]---> BDD-cost: 1 12.85/12.91 c ---[23900]---> BDD-cost: 1 12.85/12.91 c ---[23887]---> BDD-cost: 1 12.85/12.91 c ---[23875]---> BDD-cost: 1 12.85/12.91 c ---[23847]---> BDD-cost: 1 12.85/12.91 c ---[23810]---> BDD-cost: 1 12.85/12.91 c ---[23778]---> BDD-cost: 1 12.85/12.91 c ---[23763]---> BDD-cost: 1 12.85/12.91 c ---[23758]---> BDD-cost: 1 12.85/12.91 c ---[23620]---> BDD-cost: 1 12.85/12.91 c ---[23595]---> BDD-cost: 1 12.85/12.91 c ---[23576]---> BDD-cost: 1 12.85/12.91 c ---[23553]---> BDD-cost: 1 12.85/12.91 c ---[23530]---> BDD-cost: 1 12.85/12.91 c ---[23512]---> BDD-cost: 1 12.85/12.91 c ---[23496]---> BDD-cost: 1 12.85/12.91 c ---[23494]---> BDD-cost: 1 12.85/12.91 c ---[23492]---> BDD-cost: 1 12.85/12.91 c ---[23490]---> BDD-cost: 1 12.85/12.91 c ---[23488]---> BDD-cost: 1 12.85/12.91 c ---[23476]---> BDD-cost: 1 12.85/12.91 c ---[23431]---> BDD-cost: 1 12.85/12.91 c ---[23412]---> BDD-cost: 1 12.85/12.91 c ---[23404]---> BDD-cost: 1 12.85/12.91 c ---[23223]---> BDD-cost: 1 12.85/12.91 c ---[23013]---> BDD-cost: 1 12.85/12.91 c ---[23011]---> BDD-cost: 1 12.85/12.91 c ---[23009]---> BDD-cost: 1 12.85/12.91 c ---[23007]---> BDD-cost: 1 12.85/12.91 c ---[23005]---> BDD-cost: 1 12.85/12.91 c ---[23003]---> BDD-cost: 1 12.85/12.91 c ---[22901]---> BDD-cost: 1 12.85/12.91 c ---[22889]---> BDD-cost: 1 12.85/12.91 c ---[22867]---> BDD-cost: 1 12.85/12.91 c ---[22797]---> BDD-cost: 1 12.85/12.91 c ---[22795]---> BDD-cost: 1 12.85/12.91 c ---[22775]---> BDD-cost: 1 12.85/12.91 c ---[22756]---> BDD-cost: 1 12.85/12.91 c ---[22744]---> BDD-cost: 1 12.85/12.91 c ---[22716]---> BDD-cost: 1 12.85/12.91 c ---[22679]---> BDD-cost: 1 12.85/12.91 c ---[22647]---> BDD-cost: 1 12.85/12.91 c ---[22632]---> BDD-cost: 1 12.85/12.91 c ---[22627]---> BDD-cost: 1 12.85/12.91 c ---[22615]---> BDD-cost: 1 12.85/12.91 c ---[22587]---> BDD-cost: 1 12.85/12.91 c ---[22550]---> BDD-cost: 1 12.85/12.91 c ---[22518]---> BDD-cost: 1 12.85/12.91 c ---[22503]---> BDD-cost: 1 12.85/12.91 c ---[22498]---> BDD-cost: 1 12.85/12.91 c ---[22126]---> BDD-cost: 1 12.85/12.91 c ---[22100]---> BDD-cost: 1 12.85/12.91 c ---[22041]---> BDD-cost: 1 12.85/12.91 c ---[21998]---> BDD-cost: 1 12.85/12.91 c ---[21967]---> BDD-cost: 1 12.85/12.91 c ---[21936]---> BDD-cost: 1 12.85/12.91 c ---[21914]---> BDD-cost: 1 12.85/12.91 c ---[21889]---> BDD-cost: 1 12.85/12.91 c ---[21648]---> BDD-cost: 1 12.85/12.91 c ---[21633]---> BDD-cost: 1 12.85/12.91 c ---[21598]---> BDD-cost: 1 12.85/12.91 c ---[21388]---> BDD-cost: 1 12.85/12.91 c ---[21386]---> BDD-cost: 1 12.85/12.91 c ---[21384]---> BDD-cost: 1 12.85/12.91 c ---[21382]---> BDD-cost: 1 12.85/12.91 c ---[21380]---> BDD-cost: 1 12.85/12.91 c ---[21378]---> BDD-cost: 1 12.85/12.91 c ---[21276]---> BDD-cost: 1 12.85/12.91 c ---[21252]---> BDD-cost: 1 12.85/12.91 c ---[21230]---> BDD-cost: 1 12.85/12.91 c ---[21211]---> BDD-cost: 1 12.85/12.91 c ---[21188]---> BDD-cost: 1 12.85/12.91 c ---[21166]---> BDD-cost: 1 12.85/12.91 c ---[21139]---> BDD-cost: 1 12.85/12.91 c ---[21123]---> BDD-cost: 1 12.85/12.91 c ---[21111]---> BDD-cost: 1 12.85/12.91 c ---[21083]---> BDD-cost: 1 12.85/12.91 c ---[21046]---> BDD-cost: 1 12.85/12.91 c ---[21014]---> BDD-cost: 1 12.85/12.92 c ---[20999]---> BDD-cost: 1 12.85/12.92 c ---[20994]---> BDD-cost: 1 12.85/12.92 c ---[20856]---> BDD-cost: 1 12.85/12.92 c ---[20831]---> BDD-cost: 1 12.85/12.92 c ---[20812]---> BDD-cost: 1 12.85/12.92 c ---[20789]---> BDD-cost: 1 12.85/12.92 c ---[20766]---> BDD-cost: 1 12.85/12.92 c ---[20748]---> BDD-cost: 1 12.85/12.92 c ---[20732]---> BDD-cost: 1 12.85/12.92 c ---[20730]---> BDD-cost: 1 12.85/12.92 c ---[20728]---> BDD-cost: 1 12.85/12.92 c ---[20726]---> BDD-cost: 1 12.85/12.92 c ---[20724]---> BDD-cost: 1 12.85/12.92 c ---[20712]---> BDD-cost: 1 12.85/12.92 c ---[20667]---> BDD-cost: 1 12.85/12.92 c ---[20648]---> BDD-cost: 1 12.85/12.92 c ---[20640]---> BDD-cost: 1 12.85/12.92 c ---[20459]---> BDD-cost: 1 12.85/12.92 c ---[20249]---> BDD-cost: 1 12.85/12.92 c ---[20247]---> BDD-cost: 1 12.85/12.92 c ---[20245]---> BDD-cost: 1 12.85/12.92 c ---[20243]---> BDD-cost: 1 12.85/12.92 c ---[20241]---> BDD-cost: 1 12.85/12.92 c ---[20239]---> BDD-cost: 1 12.85/12.92 c ---[20129]---> BDD-cost: 1 12.85/12.92 c ---[20073]---> BDD-cost: 1 12.85/12.92 c ---[20041]---> BDD-cost: 1 12.85/12.92 c ---[20020]---> BDD-cost: 1 12.85/12.92 c ---[19998]---> BDD-cost: 1 12.85/12.92 c ---[19978]---> BDD-cost: 1 12.85/12.92 c ---[19956]---> BDD-cost: 1 12.85/12.92 c ---[19944]---> BDD-cost: 1 12.85/12.92 c ---[19922]---> BDD-cost: 1 12.85/12.92 c ---[19856]---> BDD-cost: 1 12.85/12.92 c ---[19843]---> BDD-cost: 1 12.85/12.92 c ---[19831]---> BDD-cost: 1 12.85/12.92 c ---[19803]---> BDD-cost: 1 12.85/12.92 c ---[19766]---> BDD-cost: 1 12.85/12.92 c ---[19734]---> BDD-cost: 1 12.85/12.92 c ---[19719]---> BDD-cost: 1 12.85/12.92 c ---[19714]---> BDD-cost: 1 12.85/12.92 c ---[19576]---> BDD-cost: 1 12.85/12.92 c ---[19551]---> BDD-cost: 1 12.85/12.92 c ---[19532]---> BDD-cost: 1 12.85/12.92 c ---[19509]---> BDD-cost: 1 12.85/12.92 c ---[19486]---> BDD-cost: 1 12.85/12.92 c ---[19468]---> BDD-cost: 1 12.85/12.92 c ---[19452]---> BDD-cost: 1 12.85/12.92 c ---[19450]---> BDD-cost: 1 12.85/12.92 c ---[19448]---> BDD-cost: 1 12.85/12.92 c ---[19446]---> BDD-cost: 1 12.85/12.92 c ---[19444]---> BDD-cost: 1 12.85/12.92 c ---[19432]---> BDD-cost: 1 12.85/12.92 c ---[19387]---> BDD-cost: 1 12.85/12.92 c ---[19368]---> BDD-cost: 1 12.85/12.92 c ---[19360]---> BDD-cost: 1 12.85/12.92 c ---[19179]---> BDD-cost: 1 12.85/12.92 c ---[18969]---> BDD-cost: 1 12.85/12.92 c ---[18967]---> BDD-cost: 1 12.85/12.92 c ---[18965]---> BDD-cost: 1 12.85/12.92 c ---[18963]---> BDD-cost: 1 12.85/12.92 c ---[18961]---> BDD-cost: 1 12.85/12.92 c ---[18959]---> BDD-cost: 1 12.85/12.92 c ---[18857]---> BDD-cost: 1 12.85/12.92 c ---[18845]---> BDD-cost: 1 12.85/12.92 c ---[18823]---> BDD-cost: 1 12.85/12.92 c ---[18757]---> BDD-cost: 1 12.85/12.92 c ---[18744]---> BDD-cost: 1 12.85/12.92 c ---[18732]---> BDD-cost: 1 12.85/12.92 c ---[18704]---> BDD-cost: 1 12.85/12.92 c ---[18667]---> BDD-cost: 1 12.85/12.92 c ---[18635]---> BDD-cost: 1 12.85/12.92 c ---[18620]---> BDD-cost: 1 12.85/12.92 c ---[18615]---> BDD-cost: 1 12.85/12.92 c ---[18477]---> BDD-cost: 1 12.85/12.92 c ---[18452]---> BDD-cost: 1 12.85/12.92 c ---[18433]---> BDD-cost: 1 12.85/12.92 c ---[18410]---> BDD-cost: 1 12.85/12.92 c ---[18387]---> BDD-cost: 1 12.85/12.92 c ---[18369]---> BDD-cost: 1 12.85/12.92 c ---[18353]---> BDD-cost: 1 12.85/12.92 c ---[18351]---> BDD-cost: 1 12.85/12.92 c ---[18349]---> BDD-cost: 1 12.85/12.92 c ---[18347]---> BDD-cost: 1 12.85/12.92 c ---[18345]---> BDD-cost: 1 12.85/12.92 c ---[18333]---> BDD-cost: 1 12.85/12.92 c ---[18288]---> BDD-cost: 1 12.85/12.92 c ---[18269]---> BDD-cost: 1 12.85/12.92 c ---[18261]---> BDD-cost: 1 12.85/12.92 c ---[18080]---> BDD-cost: 1 12.85/12.92 c ---[17870]---> BDD-cost: 1 12.85/12.92 c ---[17868]---> BDD-cost: 1 12.85/12.92 c ---[17866]---> BDD-cost: 1 12.85/12.92 c ---[17864]---> BDD-cost: 1 12.85/12.92 c ---[17862]---> BDD-cost: 1 12.85/12.92 c ---[17860]---> BDD-cost: 1 12.85/12.92 c ---[17758]---> BDD-cost: 1 12.85/12.92 c ---[17746]---> BDD-cost: 1 12.85/12.92 c ---[17724]---> BDD-cost: 1 12.85/12.92 c ---[17658]---> BDD-cost: 1 12.85/12.92 c ---[17639]---> BDD-cost: 1 12.85/12.92 c ---[17627]---> BDD-cost: 1 12.85/12.92 c ---[17599]---> BDD-cost: 1 12.85/12.92 c ---[17562]---> BDD-cost: 1 12.85/12.92 c ---[17530]---> BDD-cost: 1 12.85/12.92 c ---[17515]---> BDD-cost: 1 12.85/12.92 c ---[17510]---> BDD-cost: 1 12.85/12.92 c ---[17498]---> BDD-cost: 1 12.85/12.92 c ---[17470]---> BDD-cost: 1 12.85/12.92 c ---[17433]---> BDD-cost: 1 12.85/12.92 c ---[17401]---> BDD-cost: 1 12.85/12.92 c ---[17386]---> BDD-cost: 1 12.85/12.92 c ---[17381]---> BDD-cost: 1 12.85/12.92 c ---[17243]---> BDD-cost: 1 12.85/12.92 c ---[17218]---> BDD-cost: 1 12.85/12.92 c ---[17199]---> BDD-cost: 1 12.85/12.92 c ---[17176]---> BDD-cost: 1 12.85/12.92 c ---[17153]---> BDD-cost: 1 12.85/12.92 c ---[17135]---> BDD-cost: 1 12.85/12.92 c ---[17119]---> BDD-cost: 1 12.85/12.92 c ---[17117]---> BDD-cost: 1 12.85/12.92 c ---[17115]---> BDD-cost: 1 12.85/12.92 c ---[17113]---> BDD-cost: 1 12.85/12.92 c ---[17111]---> BDD-cost: 1 12.85/12.92 c ---[17099]---> BDD-cost: 1 12.85/12.92 c ---[17054]---> BDD-cost: 1 12.85/12.92 c ---[17035]---> BDD-cost: 1 12.85/12.92 c ---[17027]---> BDD-cost: 1 12.85/12.92 c ---[16846]---> BDD-cost: 1 12.85/12.92 c ---[16636]---> BDD-cost: 1 12.85/12.92 c ---[16634]---> BDD-cost: 1 12.85/12.92 c ---[16632]---> BDD-cost: 1 12.85/12.92 c ---[16630]---> BDD-cost: 1 12.85/12.92 c ---[16628]---> BDD-cost: 1 12.85/12.92 c ---[16626]---> BDD-cost: 1 12.85/12.92 c ---[16475]---> BDD-cost: 1 12.85/12.92 c ---[16463]---> BDD-cost: 1 12.85/12.92 c ---[16441]---> BDD-cost: 1 12.85/12.92 c ---[16375]---> BDD-cost: 1 12.85/12.92 c ---[16362]---> BDD-cost: 1 12.85/12.92 c ---[16350]---> BDD-cost: 1 12.85/12.92 c ---[16322]---> BDD-cost: 1 12.85/12.92 c ---[16285]---> BDD-cost: 1 12.85/12.92 c ---[16253]---> BDD-cost: 1 12.85/12.92 c ---[16238]---> BDD-cost: 1 12.85/12.92 c ---[16233]---> BDD-cost: 1 12.85/12.92 c ---[16095]---> BDD-cost: 1 12.85/12.92 c ---[16070]---> BDD-cost: 1 12.85/12.92 c ---[16051]---> BDD-cost: 1 12.85/12.92 c ---[16028]---> BDD-cost: 1 12.85/12.92 c ---[16005]---> BDD-cost: 1 12.85/12.92 c ---[15987]---> BDD-cost: 1 12.85/12.92 c ---[15971]---> BDD-cost: 1 12.85/12.92 c ---[15969]---> BDD-cost: 1 12.85/12.92 c ---[15967]---> BDD-cost: 1 12.85/12.92 c ---[15965]---> BDD-cost: 1 12.85/12.92 c ---[15963]---> BDD-cost: 1 12.85/12.92 c ---[15951]---> BDD-cost: 1 12.85/12.92 c ---[15906]---> BDD-cost: 1 12.85/12.92 c ---[15887]---> BDD-cost: 1 12.85/12.92 c ---[15879]---> BDD-cost: 1 12.85/12.92 c ---[15698]---> BDD-cost: 1 12.85/12.92 c ---[15488]---> BDD-cost: 1 12.85/12.92 c ---[15486]---> BDD-cost: 1 12.85/12.92 c ---[15484]---> BDD-cost: 1 12.85/12.92 c ---[15482]---> BDD-cost: 1 12.85/12.92 c ---[15480]---> BDD-cost: 1 12.85/12.92 c ---[15478]---> BDD-cost: 1 12.85/12.92 c ---[15376]---> BDD-cost: 1 12.85/12.92 c ---[15364]---> BDD-cost: 1 12.85/12.92 c ---[15342]---> BDD-cost: 1 12.85/12.92 c ---[15276]---> BDD-cost: 1 12.85/12.92 c ---[15263]---> BDD-cost: 1 12.85/12.92 c ---[15251]---> BDD-cost: 1 12.85/12.92 c ---[15223]---> BDD-cost: 1 12.85/12.92 c ---[15186]---> BDD-cost: 1 12.85/12.92 c ---[15154]---> BDD-cost: 1 12.85/12.92 c ---[15139]---> BDD-cost: 1 12.85/12.92 c ---[15134]---> BDD-cost: 1 12.85/12.92 c ---[14996]---> BDD-cost: 1 12.85/12.92 c ---[14971]---> BDD-cost: 1 12.85/12.92 c ---[14952]---> BDD-cost: 1 12.85/12.92 c ---[14929]---> BDD-cost: 1 12.85/12.92 c ---[14906]---> BDD-cost: 1 12.85/12.92 c ---[14888]---> BDD-cost: 1 12.85/12.92 c ---[14872]---> BDD-cost: 1 12.85/12.92 c ---[14870]---> BDD-cost: 1 12.85/12.92 c ---[14868]---> BDD-cost: 1 12.85/12.92 c ---[14866]---> BDD-cost: 1 12.85/12.92 c ---[14864]---> BDD-cost: 1 12.85/12.92 c ---[14852]---> BDD-cost: 1 12.85/12.92 c ---[14807]---> BDD-cost: 1 12.85/12.92 c ---[14788]---> BDD-cost: 1 12.85/12.92 c ---[14780]---> BDD-cost: 1 12.85/12.92 c ---[14599]---> BDD-cost: 1 12.85/12.92 c ---[14389]---> BDD-cost: 1 12.85/12.92 c ---[14387]---> BDD-cost: 1 12.85/12.92 c ---[14385]---> BDD-cost: 1 12.85/12.92 c ---[14383]---> BDD-cost: 1 12.85/12.92 c ---[14381]---> BDD-cost: 1 12.85/12.92 c ---[14379]---> BDD-cost: 1 12.85/12.92 c ---[14277]---> BDD-cost: 1 12.85/12.92 c ---[14265]---> BDD-cost: 1 12.85/12.92 c ---[14243]---> BDD-cost: 1 12.85/12.92 c ---[14177]---> BDD-cost: 1 12.85/12.92 c ---[14170]---> BDD-cost: 1 12.85/12.92 c ---[14032]---> BDD-cost: 1 12.85/12.92 c ---[14007]---> BDD-cost: 1 12.85/12.92 c ---[13988]---> BDD-cost: 1 12.85/12.92 c ---[13965]---> BDD-cost: 1 12.85/12.92 c ---[13942]---> BDD-cost: 1 12.85/12.92 c ---[13924]---> BDD-cost: 1 12.85/12.92 c ---[13908]---> BDD-cost: 1 12.85/12.92 c ---[13906]---> BDD-cost: 1 12.85/12.92 c ---[13904]---> BDD-cost: 1 12.85/12.92 c ---[13902]---> BDD-cost: 1 12.85/12.92 c ---[13900]---> BDD-cost: 1 12.85/12.92 c ---[13888]---> BDD-cost: 1 12.85/12.92 c ---[13843]---> BDD-cost: 1 12.85/12.92 c ---[13824]---> BDD-cost: 1 12.85/12.92 c ---[13816]---> BDD-cost: 1 12.85/12.92 c ---[13635]---> BDD-cost: 1 12.85/12.92 c ---[13627]---> BDD-cost: 1 12.85/12.92 c ---[13333]---> BDD-cost: 1 12.85/12.92 c ---[13305]---> BDD-cost: 1 12.85/12.92 c ---[13291]---> BDD-cost: 1 12.85/12.92 c ---[13272]---> BDD-cost: 1 12.85/12.92 c ---[13247]---> BDD-cost: 1 12.85/12.92 c ---[13223]---> BDD-cost: 1 12.85/12.92 c ---[13204]---> BDD-cost: 1 12.85/12.92 c ---[13194]---> BDD-cost: 1 12.85/12.92 c ---[13184]---> BDD-cost: 1 12.85/12.92 c ---[13152]---> BDD-cost: 1 12.85/12.92 c ---[12967]---> BDD-cost: 1 12.85/12.92 c ---[12757]---> BDD-cost: 1 12.85/12.92 c ---[12755]---> BDD-cost: 1 12.85/12.92 c ---[12753]---> BDD-cost: 1 12.85/12.92 c ---[12751]---> BDD-cost: 1 12.85/12.92 c ---[12749]---> BDD-cost: 1 12.85/12.92 c ---[12747]---> BDD-cost: 1 12.85/12.92 c ---[12648]---> BDD-cost: 1 12.85/12.92 c ---[12240]---> BDD-cost: 1 12.85/12.92 c ---[12238]---> BDD-cost: 1 12.85/12.92 c ---[12236]---> BDD-cost: 1 12.85/12.92 c ---[12234]---> BDD-cost: 1 12.85/12.92 c ---[12232]---> BDD-cost: 1 12.85/12.92 c ---[12230]---> BDD-cost: 1 12.85/12.92 c ---[12228]---> BDD-cost: 1 12.85/12.92 c ---[12226]---> BDD-cost: 1 12.85/12.92 c ---[12224]---> BDD-cost: 1 12.85/12.92 c ---[12068]---> BDD-cost: 1 12.85/12.92 c ---[11121]---> BDD-cost: 1 12.85/12.92 c ---[11119]---> BDD-cost: 1 12.85/12.92 c ---[11117]---> BDD-cost: 1 12.85/12.92 c ---[11115]---> BDD-cost: 1 12.85/12.92 c ---[11113]---> BDD-cost: 1 12.85/12.92 c ---[11111]---> BDD-cost: 1 12.85/12.92 c ---[11109]---> BDD-cost: 1 12.85/12.92 c ---[11107]---> BDD-cost: 1 12.85/12.92 c ---[11105]---> BDD-cost: 1 12.85/12.92 c ---[11103]---> BDD-cost: 1 12.85/12.92 c ---[11101]---> BDD-cost: 1 12.85/12.92 c ---[11099]---> BDD-cost: 1 12.85/12.92 c ---[11097]---> BDD-cost: 1 12.85/12.92 c ---[10877]---> BDD-cost: 1 12.85/12.92 c ---[10046]---> BDD-cost: 1 12.85/12.92 c ---[10044]---> BDD-cost: 1 12.85/12.92 c ---[10042]---> BDD-cost: 1 12.85/12.92 c ---[10040]---> BDD-cost: 1 12.85/12.92 c ---[10038]---> BDD-cost: 1 12.85/12.92 c ---[10036]---> BDD-cost: 1 12.85/12.92 c ---[10034]---> BDD-cost: 1 12.85/12.92 c ---[10032]---> BDD-cost: 1 12.85/12.92 c ---[10030]---> BDD-cost: 1 12.85/12.92 c ---[10028]---> BDD-cost: 1 12.85/12.92 c ---[10026]---> BDD-cost: 1 12.85/12.92 c ---[10024]---> BDD-cost: 1 12.85/12.92 c ---[10022]---> BDD-cost: 1 12.85/12.92 c ---[10020]---> BDD-cost: 1 12.85/12.92 c ---[10018]---> BDD-cost: 1 12.85/12.92 c ---[9712]---> BDD-cost: 1 12.85/12.92 c ---[9680]---> BDD-cost: 1 12.85/12.92 c ---[9668]---> BDD-cost: 1 12.85/12.92 c ---[9655]---> BDD-cost: 1 12.85/12.92 c ---[9641]---> BDD-cost: 1 12.85/12.92 c ---[9626]---> BDD-cost: 1 12.85/12.92 c ---[9610]---> BDD-cost: 1 12.85/12.92 c ---[9591]---> BDD-cost: 1 12.85/12.92 c ---[9568]---> BDD-cost: 1 12.85/12.92 c ---[9546]---> BDD-cost: 1 12.85/12.92 c ---[9527]---> BDD-cost: 1 12.85/12.92 c ---[9504]---> BDD-cost: 1 12.85/12.92 c ---[9482]---> BDD-cost: 1 12.85/12.92 c ---[9463]---> BDD-cost: 1 12.85/12.92 c ---[9444]---> BDD-cost: 1 12.85/12.92 c ---[9412]---> BDD-cost: 1 12.85/12.92 c ---[9405]---> BDD-cost: 1 12.85/12.92 c ---[9267]---> BDD-cost: 1 12.85/12.92 c ---[9242]---> BDD-cost: 1 12.85/12.92 c ---[9223]---> BDD-cost: 1 12.85/12.92 c ---[9200]---> BDD-cost: 1 12.85/12.92 c ---[9177]---> BDD-cost: 1 12.85/12.92 c ---[9159]---> BDD-cost: 1 12.85/12.93 c ---[9143]---> BDD-cost: 1 12.85/12.93 c ---[9141]---> BDD-cost: 1 12.85/12.93 c ---[9139]---> BDD-cost: 1 12.85/12.93 c ---[9137]---> BDD-cost: 1 12.85/12.93 c ---[9135]---> BDD-cost: 1 12.85/12.93 c ---[9123]---> BDD-cost: 1 12.85/12.93 c ---[9078]---> BDD-cost: 1 12.85/12.93 c ---[9059]---> BDD-cost: 1 12.85/12.93 c ---[9051]---> BDD-cost: 1 12.85/12.93 c ---[8870]---> BDD-cost: 1 12.85/12.93 c ---[8660]---> BDD-cost: 1 12.85/12.93 c ---[8658]---> BDD-cost: 1 12.85/12.93 c ---[8656]---> BDD-cost: 1 12.85/12.93 c ---[8654]---> BDD-cost: 1 12.85/12.93 c ---[8652]---> BDD-cost: 1 12.85/12.93 c ---[8650]---> BDD-cost: 1 12.85/12.93 c ---[8548]---> BDD-cost: 1 12.85/12.93 c ---[8536]---> BDD-cost: 1 12.85/12.93 c ---[8514]---> BDD-cost: 1 12.85/12.93 c ---[8448]---> BDD-cost: 1 12.85/12.93 c ---[8435]---> BDD-cost: 1 12.85/12.93 c ---[8423]---> BDD-cost: 1 12.85/12.93 c ---[8395]---> BDD-cost: 1 12.85/12.93 c ---[8358]---> BDD-cost: 1 12.85/12.93 c ---[8326]---> BDD-cost: 1 12.85/12.93 c ---[8311]---> BDD-cost: 1 12.85/12.93 c ---[8306]---> BDD-cost: 1 12.85/12.93 c ---[8168]---> BDD-cost: 1 12.85/12.93 c ---[8143]---> BDD-cost: 1 12.85/12.93 c ---[8124]---> BDD-cost: 1 12.85/12.93 c ---[8101]---> BDD-cost: 1 12.85/12.93 c ---[8078]---> BDD-cost: 1 12.85/12.93 c ---[8060]---> BDD-cost: 1 12.85/12.93 c ---[8044]---> BDD-cost: 1 12.85/12.93 c ---[8042]---> BDD-cost: 1 12.85/12.93 c ---[8040]---> BDD-cost: 1 12.85/12.93 c ---[8038]---> BDD-cost: 1 12.85/12.93 c ---[8036]---> BDD-cost: 1 12.85/12.93 c ---[8024]---> BDD-cost: 1 12.85/12.93 c ---[7979]---> BDD-cost: 1 12.85/12.93 c ---[7960]---> BDD-cost: 1 12.85/12.93 c ---[7952]---> BDD-cost: 1 12.85/12.93 c ---[7771]---> BDD-cost: 1 12.85/12.93 c ---[7561]---> BDD-cost: 1 12.85/12.93 c ---[7559]---> BDD-cost: 1 12.85/12.93 c ---[7557]---> BDD-cost: 1 12.85/12.93 c ---[7555]---> BDD-cost: 1 12.85/12.93 c ---[7553]---> BDD-cost: 1 12.85/12.93 c ---[7551]---> BDD-cost: 1 12.85/12.93 c ---[7449]---> BDD-cost: 1 12.85/12.93 c ---[7437]---> BDD-cost: 1 12.85/12.93 c ---[7415]---> BDD-cost: 1 12.85/12.93 c ---[7349]---> BDD-cost: 1 12.85/12.93 c ---[7341]---> BDD-cost: 1 12.85/12.93 c ---[7047]---> BDD-cost: 1 12.85/12.93 c ---[7019]---> BDD-cost: 1 12.85/12.93 c ---[7005]---> BDD-cost: 1 12.85/12.93 c ---[6986]---> BDD-cost: 1 12.85/12.93 c ---[6961]---> BDD-cost: 1 12.85/12.93 c ---[6937]---> BDD-cost: 1 12.85/12.93 c ---[6918]---> BDD-cost: 1 12.85/12.93 c ---[6908]---> BDD-cost: 1 12.85/12.93 c ---[6898]---> BDD-cost: 1 12.85/12.93 c ---[6866]---> BDD-cost: 1 12.85/12.93 c ---[6681]---> BDD-cost: 1 12.85/12.93 c ---[6674]---> BDD-cost: 1 12.85/12.93 c ---[6224]---> BDD-cost: 1 12.85/12.93 c ---[6193]---> BDD-cost: 1 12.85/12.93 c ---[6161]---> BDD-cost: 1 12.85/12.93 c ---[6132]---> BDD-cost: 1 12.85/12.93 c ---[6104]---> BDD-cost: 1 12.85/12.93 c ---[6077]---> BDD-cost: 1 12.85/12.93 c ---[6051]---> BDD-cost: 1 12.85/12.93 c ---[6026]---> BDD-cost: 1 12.85/12.93 c ---[6002]---> BDD-cost: 1 12.85/12.93 c ---[5979]---> BDD-cost: 1 12.85/12.93 c ---[5956]---> BDD-cost: 1 12.85/12.93 c ---[5938]---> BDD-cost: 1 12.85/12.93 c ---[5900]---> BDD-cost: 1 12.85/12.93 c ---[5512]---> BDD-cost: 1 12.85/12.93 c ---[5104]---> BDD-cost: 1 12.85/12.93 c ---[5102]---> BDD-cost: 1 12.85/12.93 c ---[5100]---> BDD-cost: 1 12.85/12.93 c ---[5098]---> BDD-cost: 1 12.85/12.93 c ---[5096]---> BDD-cost: 1 12.85/12.93 c ---[5094]---> BDD-cost: 1 12.85/12.93 c ---[5092]---> BDD-cost: 1 12.85/12.93 c ---[5090]---> BDD-cost: 1 12.85/12.93 c ---[5088]---> BDD-cost: 1 12.85/12.93 c ---[4932]---> BDD-cost: 1 12.85/12.93 c ---[4317]---> BDD-cost: 1 12.85/12.93 c ---[4315]---> BDD-cost: 1 12.85/12.93 c ---[4313]---> BDD-cost: 1 12.85/12.93 c ---[4311]---> BDD-cost: 1 12.85/12.93 c ---[4309]---> BDD-cost: 1 12.85/12.93 c ---[4307]---> BDD-cost: 1 12.85/12.93 c ---[4305]---> BDD-cost: 1 12.85/12.93 c ---[4303]---> BDD-cost: 1 12.85/12.93 c ---[4301]---> BDD-cost: 1 12.85/12.93 c ---[4299]---> BDD-cost: 1 12.85/12.93 c ---[4297]---> BDD-cost: 1 12.85/12.93 c ---[4295]---> BDD-cost: 1 12.85/12.93 c ---[4073]---> BDD-cost: 1 12.85/12.93 c ---[3242]---> BDD-cost: 1 12.85/12.93 c ---[3240]---> BDD-cost: 1 12.85/12.93 c ---[3238]---> BDD-cost: 1 12.85/12.93 c ---[3236]---> BDD-cost: 1 12.85/12.93 c ---[3234]---> BDD-cost: 1 12.85/12.93 c ---[3232]---> BDD-cost: 1 12.85/12.93 c ---[3230]---> BDD-cost: 1 12.85/12.93 c ---[3228]---> BDD-cost: 1 12.85/12.93 c ---[3226]---> BDD-cost: 1 12.85/12.93 c ---[3224]---> BDD-cost: 1 12.85/12.93 c ---[3222]---> BDD-cost: 1 12.85/12.93 c ---[3220]---> BDD-cost: 1 12.85/12.93 c ---[3218]---> BDD-cost: 1 12.85/12.93 c ---[3216]---> BDD-cost: 1 12.85/12.93 c ---[3214]---> BDD-cost: 1 12.85/12.93 c ---[2911]---> BDD-cost: 1 12.85/12.93 c ---[2880]---> BDD-cost: 1 12.85/12.93 c ---[2868]---> BDD-cost: 1 12.85/12.93 c ---[2855]---> BDD-cost: 1 12.85/12.93 c ---[2839]---> BDD-cost: 1 12.85/12.93 c ---[2816]---> BDD-cost: 1 12.85/12.93 c ---[2794]---> BDD-cost: 1 12.85/12.93 c ---[2775]---> BDD-cost: 1 12.85/12.93 c ---[2753]---> BDD-cost: 1 12.85/12.93 c ---[2734]---> BDD-cost: 1 12.85/12.93 c ---[2715]---> BDD-cost: 1 12.85/12.93 c ---[2627]---> BDD-cost: 1 12.85/12.93 c ---[2614]---> BDD-cost: 1 12.85/12.93 c ---[2602]---> BDD-cost: 1 12.85/12.93 c ---[2574]---> BDD-cost: 1 12.85/12.93 c ---[2537]---> BDD-cost: 1 12.85/12.93 c ---[2505]---> BDD-cost: 1 12.85/12.93 c ---[2490]---> BDD-cost: 1 12.85/12.93 c ---[2485]---> BDD-cost: 1 12.85/12.93 c ---[2347]---> BDD-cost: 1 12.85/12.93 c ---[2322]---> BDD-cost: 1 12.85/12.93 c ---[2303]---> BDD-cost: 1 12.85/12.93 c ---[2269]---> BDD-cost: 1 12.85/12.93 c ---[2242]---> BDD-cost: 1 12.85/12.93 c ---[2224]---> BDD-cost: 1 12.85/12.93 c ---[2222]---> BDD-cost: 1 12.85/12.93 c ---[2206]---> BDD-cost: 1 12.85/12.93 c ---[2204]---> BDD-cost: 1 12.85/12.93 c ---[2202]---> BDD-cost: 1 12.85/12.93 c ---[2200]---> BDD-cost: 1 12.85/12.93 c ---[2198]---> BDD-cost: 1 12.85/12.93 c ---[2186]---> BDD-cost: 1 12.85/12.93 c ---[2141]---> BDD-cost: 1 12.85/12.93 c ---[2122]---> BDD-cost: 1 12.85/12.93 c ---[2114]---> BDD-cost: 1 12.85/12.93 c ---[1933]---> BDD-cost: 1 12.85/12.93 c ---[1723]---> BDD-cost: 1 12.85/12.93 c ---[1721]---> BDD-cost: 1 12.85/12.93 c ---[1719]---> BDD-cost: 1 12.85/12.93 c ---[1717]---> BDD-cost: 1 12.85/12.93 c ---[1715]---> BDD-cost: 1 12.85/12.93 c ---[1713]---> BDD-cost: 1 12.85/12.93 c ---[1609]---> BDD-cost: 1 12.85/12.93 c ---[1513]---> BDD-cost: 1 12.85/12.93 c ---[1490]---> BDD-cost: 1 12.85/12.93 c ---[1467]---> BDD-cost: 1 12.85/12.93 c ---[1445]---> BDD-cost: 1 12.85/12.93 c ---[1424]---> BDD-cost: 1 12.85/12.93 c ---[1407]---> BDD-cost: 1 12.85/12.93 c ---[1394]---> BDD-cost: 1 12.85/12.93 c ---[1382]---> BDD-cost: 1 12.85/12.93 c ---[1354]---> BDD-cost: 1 12.85/12.93 c ---[1317]---> BDD-cost: 1 12.85/12.93 c ---[1285]---> BDD-cost: 1 12.85/12.93 c ---[1270]---> BDD-cost: 1 12.85/12.93 c ---[1265]---> BDD-cost: 1 12.85/12.93 c ---[1127]---> BDD-cost: 1 12.85/12.93 c ---[1102]---> BDD-cost: 1 12.85/12.93 c ---[1083]---> BDD-cost: 1 12.85/12.93 c ---[1060]---> BDD-cost: 1 12.85/12.93 c ---[1037]---> BDD-cost: 1 12.85/12.93 c ---[1019]---> BDD-cost: 1 12.85/12.93 c ---[1003]---> BDD-cost: 1 12.85/12.93 c ---[1001]---> BDD-cost: 1 12.85/12.93 c ---[ 999]---> BDD-cost: 1 12.85/12.93 c ---[ 997]---> BDD-cost: 1 12.85/12.93 c ---[ 995]---> BDD-cost: 1 12.85/12.93 c ---[ 983]---> BDD-cost: 1 12.85/12.93 c ---[ 938]---> BDD-cost: 1 12.85/12.93 c ---[ 919]---> BDD-cost: 1 12.85/12.93 c ---[ 911]---> BDD-cost: 1 12.85/12.93 c ---[ 730]---> BDD-cost: 1 12.85/12.93 c ---[ 520]---> BDD-cost: 1 12.85/12.93 c ---[ 518]---> BDD-cost: 1 12.85/12.93 c ---[ 516]---> BDD-cost: 1 12.85/12.93 c ---[ 514]---> BDD-cost: 1 12.85/12.93 c ---[ 512]---> BDD-cost: 1 12.85/12.93 c ---[ 510]---> BDD-cost: 1 12.85/12.93 c ---[ 406]---> BDD-cost: 1 12.85/12.93 c ---[ 310]---> BDD-cost: 1 12.85/12.93 c ---[ 287]---> BDD-cost: 1 12.85/12.93 c ---[ 264]---> BDD-cost: 1 12.85/12.93 c ---[ 242]---> BDD-cost: 1 12.85/12.93 c ---[ 221]---> BDD-cost: 1 12.85/12.93 c ---[ 201]---> BDD-cost: 1 12.85/12.93 c ---[ 189]---> BDD-cost: 1 12.85/12.93 c ---[ 167]---> BDD-cost: 1 12.85/12.93 c ---[ 98]---> BDD-cost: 1 12.85/12.93 c ---[ 86]---> BDD-cost: 1 12.85/12.93 c ---[ 64]---> BDD-cost: 1 12.85/12.94 c ==================================[MINISAT+]================================== 12.85/12.94 c | Conflicts | Original | Learnt | Progress | 12.85/12.94 c | | Clauses Literals | Max Clauses Literals LPC | | 12.85/12.94 c ============================================================================== 12.85/12.94 c | 0 | 72301 622042 | 24100 0 0 nan | 0.000 % | 12.85/12.98 c | 100 | 72278 621990 | 26510 98 981 10.0 | 78.655 % | 12.95/13.03 c | 251 | 72271 621974 | 29161 248 2985 12.0 | 78.659 % | 12.95/13.09 c | 476 | 72265 621958 | 32077 469 5779 12.3 | 78.663 % | 13.05/13.14 c | 814 | 72265 621958 | 35284 807 9699 12.0 | 78.663 % | 13.16/13.25 c | 1321 | 72265 621958 | 38813 1314 21151 16.1 | 78.663 % | 13.35/13.44 c | 2080 | 72265 621958 | 42694 2073 35769 17.3 | 78.663 % | 13.65/13.74 c | 3219 | 72262 621950 | 46964 3210 59802 18.6 | 78.665 % | 14.05/14.10 c | 4929 | 72255 621934 | 51660 4919 99333 20.2 | 78.670 % | 14.85/14.94 c | 7492 | 72252 621926 | 56826 7481 169364 22.6 | 78.672 % | 16.05/16.18 c | 11336 | 72249 621918 | 62509 11323 286938 25.3 | 78.674 % | 18.35/18.45 c | 17102 | 72105 621574 | 68760 17069 468099 27.4 | 78.760 % | 23.54/23.64 c | 25752 | 72068 621490 | 75636 25714 785377 30.5 | 78.775 % | 31.95/32.09 c | 38726 | 72007 621350 | 83199 38675 1280307 33.1 | 78.798 % | 51.24/51.39 c | 58187 | 71906 621122 | 91519 58110 2011976 34.6 | 78.831 % | 83.42/83.59 c | 87380 | 71883 621066 | 100671 87296 3154296 36.1 | 78.846 % | 150.80/150.97 c | 131169 | 71832 620948 | 110738 131079 4480817 34.2 | 78.869 % | 248.77/248.93 c | 196854 | 71770 620800 | 121812 69367 1843930 26.6 | 78.905 % | 449.29/449.69 c | 295380 | 71707 620642 | 133994 33912 792159 23.4 | 78.939 % | 695.50/695.96 c ============================================================================== 695.50/695.96 c [1mUNSATISFIABLE[0m 695.50/695.96 s UNSATISFIABLE 695.50/695.96 c _______________________________________________________________________________ 695.50/695.96 c 695.50/695.96 c restarts : 19 695.50/695.96 c conflicts : 440443 (633 /sec) 695.50/695.96 c decisions : 566963 (815 /sec) 695.50/695.96 c propagations : 0 (0 /sec) 695.50/695.96 c inspects : 0 (0 /sec) 695.50/695.96 c CPU time : 695.323 s 695.50/695.96 c _______________________________________________________________________________
ERROR: no interpretation found !
/tmp/evaluation/419187-1177404962/instance-419187-1177404962.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node58/watcher-419187-1177404962 -o ROOT/results/node58/solver-419187-1177404962 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419187-1177404962/minisat+ /tmp/evaluation/419187-1177404962/instance-419187-1177404962.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.93 0.97 0.91 3/64 12169 /proc/meminfo: memFree=1671560/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=1352 CPUtime=0 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 191 0 0 0 0 0 0 0 18 0 1 0 188405988 1384448 177 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135010894 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 338 177 73 215 0 120 0 [startup+0.103179 s] /proc/loadavg: 0.93 0.97 0.91 3/64 12169 /proc/meminfo: memFree=1671560/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=8900 CPUtime=0.09 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 1998 0 0 0 9 0 0 0 18 0 1 0 188405988 9113600 1934 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 2225 1935 73 215 0 2007 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 8900 [startup+0.201196 s] /proc/loadavg: 0.93 0.97 0.91 3/64 12169 /proc/meminfo: memFree=1671560/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=15568 CPUtime=0.19 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 3698 0 0 0 18 1 0 0 18 0 1 0 188405988 15941632 3592 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134809850 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 3892 3592 73 215 0 3674 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 15568 [startup+0.301212 s] /proc/loadavg: 0.93 0.97 0.91 3/64 12169 /proc/meminfo: memFree=1671560/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=15572 CPUtime=0.29 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 3699 0 0 0 28 1 0 0 19 0 1 0 188405988 15945728 3593 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134838067 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 3893 3593 73 215 0 3675 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15572 [startup+0.701279 s] /proc/loadavg: 0.93 0.97 0.91 3/64 12169 /proc/meminfo: memFree=1671560/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=6912 CPUtime=0.69 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 3700 0 0 0 67 2 0 0 22 0 1 0 188405988 7077888 1454 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 1728 1454 73 215 0 1510 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6912 [startup+1.50141 s] /proc/loadavg: 0.93 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1665728/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=8048 CPUtime=1.49 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 3967 0 0 0 147 2 0 0 25 0 1 0 188405988 8241152 1721 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 2012 1721 75 215 0 1794 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8048 [startup+3.10168 s] /proc/loadavg: 0.94 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1662656/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=13216 CPUtime=3.09 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 5282 0 0 0 306 3 0 0 25 0 1 0 188405988 13533184 3036 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003232 0 0 4096 16386 0 0 0 17 0 0 0 /proc/12169/statm: 3304 3036 75 215 0 3086 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 13216 [startup+6.30122 s] /proc/loadavg: 0.94 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1651456/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=24324 CPUtime=6.27 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 8056 0 0 0 621 6 0 0 25 0 1 0 188405988 24907776 5810 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003237 0 0 4096 16386 0 0 0 17 0 0 0 /proc/12169/statm: 6081 5810 75 215 0 5863 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 24324 [startup+12.7013 s] /proc/loadavg: 0.95 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1624720/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=57204 CPUtime=12.65 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 16485 0 0 0 1252 13 0 0 22 0 1 0 188405988 58576896 13812 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031374 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 14301 13812 87 215 0 14083 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 57204 [startup+25.5014 s] /proc/loadavg: 0.95 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1614992/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=59020 CPUtime=25.44 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 16967 0 0 0 2523 21 0 0 25 0 1 0 188405988 60436480 14294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 14755 14294 105 215 0 14537 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 59020 [startup+51.1017 s] /proc/loadavg: 0.97 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1615056/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=59020 CPUtime=51.04 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 16967 0 0 0 5083 21 0 0 25 0 1 0 188405988 60436480 14294 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 14755 14294 105 215 0 14537 0 Current children cumulated CPU time (s) 51.04 Current children cumulated vsize (KiB) 59020 [startup+102.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1614672/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=59564 CPUtime=102.22 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17066 0 0 0 10201 21 0 0 25 0 1 0 188405988 60993536 14393 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 14891 14393 105 215 0 14673 0 Current children cumulated CPU time (s) 102.22 Current children cumulated vsize (KiB) 59564 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1613840/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=60556 CPUtime=162.19 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17281 0 0 0 16198 21 0 0 25 0 1 0 188405988 62009344 14608 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15139 14608 105 215 0 14921 0 Current children cumulated CPU time (s) 162.19 Current children cumulated vsize (KiB) 60556 [startup+222.305 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1612176/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=62420 CPUtime=222.18 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17691 0 0 0 22196 22 0 0 25 0 1 0 188405988 63918080 15018 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15605 15018 105 215 0 15387 0 Current children cumulated CPU time (s) 222.18 Current children cumulated vsize (KiB) 62420 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12170 /proc/meminfo: memFree=1612048/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=62576 CPUtime=282.16 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17739 0 0 0 28194 22 0 0 25 0 1 0 188405988 64077824 15066 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15644 15066 105 215 0 15426 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 62576 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.91 2/71 12342 /proc/meminfo: memFree=1610368/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63016 CPUtime=342.05 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17823 0 0 0 34182 23 0 0 25 0 1 0 188405988 64528384 15150 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15754 15150 105 215 0 15536 0 Current children cumulated CPU time (s) 342.05 Current children cumulated vsize (KiB) 63016 [startup+402.303 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1611088/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63596 CPUtime=402 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17932 0 0 0 40176 24 0 0 25 0 1 0 188405988 65122304 15259 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15899 15259 105 215 0 15681 0 Current children cumulated CPU time (s) 402 Current children cumulated vsize (KiB) 63596 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1611024/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63596 CPUtime=461.98 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17947 0 0 0 46174 24 0 0 25 0 1 0 188405988 65122304 15274 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15899 15274 105 215 0 15681 0 Current children cumulated CPU time (s) 461.98 Current children cumulated vsize (KiB) 63596 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1611088/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63596 CPUtime=521.96 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17957 0 0 0 52172 24 0 0 25 0 1 0 188405988 65122304 15284 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581491 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15899 15284 105 215 0 15681 0 Current children cumulated CPU time (s) 521.96 Current children cumulated vsize (KiB) 63596 [startup+582.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1611024/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63596 CPUtime=581.94 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17957 0 0 0 58170 24 0 0 25 0 1 0 188405988 65122304 15284 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15899 15284 105 215 0 15681 0 Current children cumulated CPU time (s) 581.94 Current children cumulated vsize (KiB) 63596 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1611024/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63596 CPUtime=641.92 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17975 0 0 0 64168 24 0 0 25 0 1 0 188405988 65122304 15302 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581295 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15899 15302 105 215 0 15681 0 Current children cumulated CPU time (s) 641.92 Current children cumulated vsize (KiB) 63596 Solver just ended. Dumping a history of the last processes samples [startup+665.606 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=665.21 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 17992 0 0 0 66497 24 0 0 25 0 1 0 188405988 65318912 15319 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15319 105 215 0 15729 0 Current children cumulated CPU time (s) 665.21 Current children cumulated vsize (KiB) 63788 [startup+678.402 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610896/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=678 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18003 0 0 0 67776 24 0 0 25 0 1 0 188405988 65318912 15330 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15330 105 215 0 15729 0 Current children cumulated CPU time (s) 678 Current children cumulated vsize (KiB) 63788 [startup+684.802 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=684.4 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18004 0 0 0 68416 24 0 0 25 0 1 0 188405988 65318912 15331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15331 105 215 0 15729 0 Current children cumulated CPU time (s) 684.4 Current children cumulated vsize (KiB) 63788 [startup+691.202 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=690.8 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18004 0 0 0 69056 24 0 0 25 0 1 0 188405988 65318912 15331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15331 105 215 0 15729 0 Current children cumulated CPU time (s) 690.8 Current children cumulated vsize (KiB) 63788 [startup+694.401 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=694 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18004 0 0 0 69376 24 0 0 25 0 1 0 188405988 65318912 15331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580947 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15331 105 215 0 15729 0 Current children cumulated CPU time (s) 694 Current children cumulated vsize (KiB) 63788 [startup+695.202 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=694.8 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18004 0 0 0 69456 24 0 0 25 0 1 0 188405988 65318912 15331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15331 105 215 0 15729 0 Current children cumulated CPU time (s) 694.8 Current children cumulated vsize (KiB) 63788 [startup+695.602 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=695.2 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18004 0 0 0 69496 24 0 0 25 0 1 0 188405988 65318912 15331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580975 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15331 105 215 0 15729 0 Current children cumulated CPU time (s) 695.2 Current children cumulated vsize (KiB) 63788 [startup+695.802 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=695.4 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18004 0 0 0 69516 24 0 0 25 0 1 0 188405988 65318912 15331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15331 105 215 0 15729 0 Current children cumulated CPU time (s) 695.4 Current children cumulated vsize (KiB) 63788 [startup+695.902 s] /proc/loadavg: 0.99 0.97 0.91 2/65 12368 /proc/meminfo: memFree=1610960/2055920 swapFree=4184532/4192956 [pid=12169] ppid=12167 vsize=63788 CPUtime=695.5 /proc/12169/stat : 12169 (minisat+) R 12167 12169 11578 0 -1 4194304 18004 0 0 0 69526 24 0 0 25 0 1 0 188405988 65318912 15331 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/12169/statm: 15947 15331 105 215 0 15729 0 Current children cumulated CPU time (s) 695.5 Current children cumulated vsize (KiB) 63788 Child status: 20 Real time (s): 695.975 CPU time (s): 695.582 CPU user time (s): 695.323 CPU system time (s): 0.25896 CPU usage (%): 99.9436 Max. virtual memory (cumulated for all children) (KiB): 63788 getrusage(RUSAGE_CHILDREN,...) data: user time used= 695.323 system time used= 0.25896 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 18007 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= 477 involuntary context switches= 1621 runsolver used 0.664898 second user time and 1.54377 second system time The end
Begin job on node58 on Tue Apr 24 08:56:03 UTC 2007 IDJOB= 419187 IDBENCH= 47756 IDSOLVER= 156 FILE ID= node58/419187-1177404962 PBS_JOBID= 4675556 Free space on /tmp= 66427 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/fuhs/medium/AProVE07-06.opb COMMAND LINE= /tmp/evaluation/419187-1177404962/minisat+ /tmp/evaluation/419187-1177404962/instance-419187-1177404962.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node58/convwatcher-419187-1177404962 -o ROOT/results/node58/conversion-419187-1177404962 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419187-1177404962/instance-419187-1177404962.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-419187-1177404962 -o ROOT/results/node58/solver-419187-1177404962 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419187-1177404962/minisat+ /tmp/evaluation/419187-1177404962/instance-419187-1177404962.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 8673328c0d6dcb86b4d9d763a362cfe4 RANDOM SEED= 661589267 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node58.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.265 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.265 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: 1672032 kB Buffers: 42048 kB Cached: 268576 kB SwapCached: 2720 kB Active: 59680 kB Inactive: 262728 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1672032 kB SwapTotal: 4192956 kB SwapFree: 4184532 kB Dirty: 23856 kB Writeback: 0 kB Mapped: 17968 kB Slab: 47476 kB Committed_AS: 1069620 kB PageTables: 1384 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= 66427 MiB End job on node58 on Tue Apr 24 09:07:39 UTC 2007