Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.06 | 1800.55 |
Name | normalized-PB07/PURE-SAT/SAT07/ industrial/fuhs/medium/AProVE07-16.opb |
MD5SUM | 362e33c78c276102fbb7b01900861eae |
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 | 871.177 |
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 | 52382 |
Total number of constraints | 182485 |
Number of constraints which are clauses | 182485 |
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 | 131 |
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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 260 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c Parsing PB file... 5.29/5.39 c Converting 181871 PB-constraints to clauses... 5.40/5.42 c -- Unit propagations: (none) 5.40/5.43 c -- Detecting intervals from adjacent constraints: ################################################################################################################################################################################################################################################################################################################################### 5.40/5.47 c -- Clauses(.)/Splits(s): ......................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 5.88/5.90 c ---[181868]---> BDD-cost: 1 5.88/5.90 c ---[181866]---> BDD-cost: 1 5.88/5.90 c ---[181864]---> BDD-cost: 1 5.88/5.90 c ---[181861]---> BDD-cost: 1 5.88/5.90 c ---[181857]---> BDD-cost: 1 5.88/5.90 c ---[181855]---> BDD-cost: 1 5.88/5.90 c ---[181853]---> BDD-cost: 1 5.88/5.90 c ---[181850]---> BDD-cost: 1 5.88/5.90 c ---[181846]---> BDD-cost: 1 5.88/5.90 c ---[181844]---> BDD-cost: 1 5.88/5.90 c ---[181842]---> BDD-cost: 1 5.88/5.90 c ---[181839]---> BDD-cost: 1 5.88/5.90 c ---[181835]---> BDD-cost: 1 5.88/5.90 c ---[181833]---> BDD-cost: 1 5.88/5.90 c ---[181831]---> BDD-cost: 1 5.88/5.90 c ---[181828]---> BDD-cost: 1 5.88/5.90 c ---[181824]---> BDD-cost: 1 5.88/5.90 c ---[181822]---> BDD-cost: 1 5.88/5.90 c ---[181820]---> BDD-cost: 1 5.88/5.90 c ---[181817]---> BDD-cost: 1 5.88/5.90 c ---[181813]---> BDD-cost: 1 5.88/5.90 c ---[181811]---> BDD-cost: 1 5.88/5.90 c ---[181809]---> BDD-cost: 1 5.88/5.90 c ---[181806]---> BDD-cost: 1 5.88/5.90 c ---[181802]---> BDD-cost: 1 5.88/5.90 c ---[181800]---> BDD-cost: 1 5.88/5.90 c ---[181798]---> BDD-cost: 1 5.88/5.90 c ---[181795]---> BDD-cost: 1 5.88/5.90 c ---[181791]---> BDD-cost: 1 5.88/5.90 c ---[181789]---> BDD-cost: 1 5.88/5.90 c ---[181787]---> BDD-cost: 1 5.88/5.90 c ---[181784]---> BDD-cost: 1 5.88/5.90 c ---[181780]---> BDD-cost: 1 5.88/5.90 c ---[181778]---> BDD-cost: 1 5.88/5.90 c ---[181776]---> BDD-cost: 1 5.88/5.90 c ---[181773]---> BDD-cost: 1 5.88/5.90 c ---[181769]---> BDD-cost: 1 5.88/5.90 c ---[181767]---> BDD-cost: 1 5.88/5.90 c ---[181765]---> BDD-cost: 1 5.88/5.90 c ---[181762]---> BDD-cost: 1 5.88/5.90 c ---[181758]---> BDD-cost: 1 5.88/5.90 c ---[181756]---> BDD-cost: 1 5.88/5.90 c ---[181754]---> BDD-cost: 1 5.88/5.90 c ---[181751]---> BDD-cost: 1 5.88/5.90 c ---[181747]---> BDD-cost: 1 5.88/5.90 c ---[181745]---> BDD-cost: 1 5.88/5.90 c ---[181743]---> BDD-cost: 1 5.88/5.90 c ---[181740]---> BDD-cost: 1 5.88/5.90 c ---[181736]---> BDD-cost: 1 5.88/5.90 c ---[181734]---> BDD-cost: 1 5.88/5.90 c ---[181732]---> BDD-cost: 1 5.88/5.90 c ---[181729]---> BDD-cost: 1 5.88/5.90 c ---[181725]---> BDD-cost: 1 5.88/5.90 c ---[181723]---> BDD-cost: 1 5.88/5.90 c ---[181721]---> BDD-cost: 1 5.88/5.90 c ---[181718]---> BDD-cost: 1 5.88/5.90 c ---[181714]---> BDD-cost: 1 5.88/5.90 c ---[181712]---> BDD-cost: 1 5.88/5.90 c ---[181710]---> BDD-cost: 1 5.88/5.90 c ---[181707]---> BDD-cost: 1 5.88/5.90 c ---[181703]---> BDD-cost: 1 5.88/5.90 c ---[181701]---> BDD-cost: 1 5.88/5.90 c ---[181699]---> BDD-cost: 1 5.88/5.90 c ---[181696]---> BDD-cost: 1 5.88/5.90 c ---[181692]---> BDD-cost: 1 5.88/5.90 c ---[181690]---> BDD-cost: 1 5.88/5.90 c ---[181688]---> BDD-cost: 1 5.88/5.90 c ---[181685]---> BDD-cost: 1 5.88/5.90 c ---[181681]---> BDD-cost: 1 5.88/5.90 c ---[181679]---> BDD-cost: 1 5.88/5.90 c ---[181677]---> BDD-cost: 1 5.88/5.90 c ---[181674]---> BDD-cost: 1 5.88/5.90 c ---[181660]---> BDD-cost: 1 5.88/5.90 c ---[181542]---> BDD-cost: 1 5.88/5.90 c ---[181490]---> BDD-cost: 1 5.88/5.90 c ---[181445]---> BDD-cost: 1 5.88/5.90 c ---[181440]---> BDD-cost: 1 5.88/5.90 c ---[181428]---> BDD-cost: 1 5.88/5.90 c ---[181419]---> BDD-cost: 1 5.88/5.90 c ---[181399]---> BDD-cost: 1 5.88/5.90 c ---[180762]---> BDD-cost: 1 5.88/5.90 c ---[180706]---> BDD-cost: 1 5.88/5.90 c ---[180669]---> BDD-cost: 1 5.88/5.90 c ---[180660]---> BDD-cost: 1 5.88/5.90 c ---[180647]---> BDD-cost: 1 5.88/5.90 c ---[180637]---> BDD-cost: 1 5.88/5.90 c ---[180627]---> BDD-cost: 1 5.88/5.90 c ---[180617]---> BDD-cost: 1 5.88/5.90 c ---[180607]---> BDD-cost: 1 5.88/5.90 c ---[180597]---> BDD-cost: 1 5.88/5.90 c ---[177592]---> BDD-cost: 1 5.88/5.90 c ---[176668]---> BDD-cost: 1 5.88/5.90 c ---[176636]---> BDD-cost: 1 5.88/5.90 c ---[176605]---> BDD-cost: 1 5.88/5.90 c ---[176574]---> BDD-cost: 1 5.88/5.90 c ---[176543]---> BDD-cost: 1 5.88/5.90 c ---[176512]---> BDD-cost: 1 5.88/5.90 c ---[176481]---> BDD-cost: 1 5.88/5.90 c ---[176450]---> BDD-cost: 1 5.88/5.90 c ---[176419]---> BDD-cost: 1 5.88/5.90 c ---[176392]---> BDD-cost: 1 5.88/5.90 c ---[176363]---> BDD-cost: 1 5.88/5.90 c ---[176361]---> BDD-cost: 1 5.88/5.90 c ---[176359]---> BDD-cost: 1 5.88/5.90 c ---[176357]---> BDD-cost: 1 5.88/5.90 c ---[176309]---> BDD-cost: 1 5.88/5.90 c ---[133167]---> BDD-cost: 1 5.88/5.90 c ---[130029]---> BDD-cost: 1 5.88/5.90 c ---[126937]---> BDD-cost: 1 5.88/5.90 c ---[124003]---> BDD-cost: 1 5.88/5.90 c ---[121154]---> BDD-cost: 1 5.88/5.90 c ---[118395]---> BDD-cost: 1 5.88/5.90 c ---[115728]---> BDD-cost: 1 5.88/5.90 c ---[113181]---> BDD-cost: 1 5.88/5.90 c ---[110701]---> BDD-cost: 1 5.88/5.90 c ---[108299]---> BDD-cost: 1 5.88/5.90 c ---[105997]---> BDD-cost: 1 5.88/5.90 c ---[103779]---> BDD-cost: 1 5.88/5.90 c ---[101614]---> BDD-cost: 1 5.88/5.90 c ---[99510]---> BDD-cost: 1 5.88/5.90 c ---[97553]---> BDD-cost: 1 5.88/5.90 c ---[95646]---> BDD-cost: 1 5.88/5.90 c ---[93789]---> BDD-cost: 1 5.88/5.90 c ---[92001]---> BDD-cost: 1 5.88/5.90 c ---[90294]---> BDD-cost: 1 5.88/5.90 c ---[88655]---> BDD-cost: 1 5.88/5.90 c ---[87110]---> BDD-cost: 1 5.88/5.90 c ---[85814]---> BDD-cost: 1 5.88/5.90 c ---[84596]---> BDD-cost: 1 5.88/5.90 c ---[83464]---> BDD-cost: 1 5.88/5.90 c ---[82451]---> BDD-cost: 1 5.88/5.90 c ---[81562]---> BDD-cost: 1 5.88/5.90 c ---[80777]---> BDD-cost: 1 5.88/5.90 c ---[80087]---> BDD-cost: 1 5.88/5.90 c ---[79494]---> BDD-cost: 1 5.88/5.90 c ---[79001]---> BDD-cost: 1 5.88/5.90 c ---[78588]---> BDD-cost: 1 5.88/5.90 c ---[78250]---> BDD-cost: 1 5.88/5.90 c ---[77972]---> BDD-cost: 1 5.88/5.90 c ---[77726]---> BDD-cost: 1 5.88/5.90 c ---[77517]---> BDD-cost: 1 5.88/5.90 c ---[77357]---> BDD-cost: 1 5.88/5.90 c ---[77249]---> BDD-cost: 1 5.88/5.90 c ---[77173]---> BDD-cost: 1 5.88/5.90 c ---[76186]---> BDD-cost: 1 5.88/5.90 c ---[76153]---> BDD-cost: 1 5.88/5.90 c ---[76121]---> BDD-cost: 1 5.88/5.90 c ---[76090]---> BDD-cost: 1 5.88/5.90 c ---[76059]---> BDD-cost: 1 5.88/5.90 c ---[76028]---> BDD-cost: 1 5.88/5.90 c ---[75997]---> BDD-cost: 1 5.88/5.90 c ---[75966]---> BDD-cost: 1 5.88/5.90 c ---[75935]---> BDD-cost: 1 5.88/5.91 c ---[75904]---> BDD-cost: 1 5.88/5.91 c ---[75873]---> BDD-cost: 1 5.88/5.91 c ---[75842]---> BDD-cost: 1 5.88/5.91 c ---[75811]---> BDD-cost: 1 5.88/5.91 c ---[75780]---> BDD-cost: 1 5.88/5.91 c ---[75753]---> BDD-cost: 1 5.88/5.91 c ---[75005]---> BDD-cost: 1 5.88/5.91 c ---[74303]---> BDD-cost: 1 5.88/5.91 c ---[74272]---> BDD-cost: 1 5.88/5.91 c ---[74241]---> BDD-cost: 1 5.88/5.91 c ---[74210]---> BDD-cost: 1 5.88/5.91 c ---[74179]---> BDD-cost: 1 5.88/5.91 c ---[74148]---> BDD-cost: 1 5.88/5.91 c ---[74117]---> BDD-cost: 1 5.88/5.91 c ---[74086]---> BDD-cost: 1 5.88/5.91 c ---[74055]---> BDD-cost: 1 5.88/5.91 c ---[74024]---> BDD-cost: 1 5.88/5.91 c ---[73992]---> BDD-cost: 1 5.88/5.91 c ---[73959]---> BDD-cost: 1 5.88/5.91 c ---[73923]---> BDD-cost: 1 5.88/5.91 c ---[73898]---> BDD-cost: 1 5.88/5.91 c ---[73209]---> BDD-cost: 1 5.88/5.91 c ---[72532]---> BDD-cost: 1 5.88/5.91 c ---[72500]---> BDD-cost: 1 5.88/5.91 c ---[72469]---> BDD-cost: 1 5.88/5.91 c ---[72438]---> BDD-cost: 1 5.88/5.91 c ---[72407]---> BDD-cost: 1 5.88/5.91 c ---[72376]---> BDD-cost: 1 5.88/5.91 c ---[72345]---> BDD-cost: 1 5.88/5.91 c ---[72314]---> BDD-cost: 1 5.88/5.91 c ---[72283]---> BDD-cost: 1 5.88/5.91 c ---[72257]---> BDD-cost: 1 5.88/5.91 c ---[71574]---> BDD-cost: 1 5.88/5.91 c ---[70649]---> BDD-cost: 1 5.88/5.91 c ---[70617]---> BDD-cost: 1 5.88/5.91 c ---[70586]---> BDD-cost: 1 5.88/5.91 c ---[70555]---> BDD-cost: 1 5.88/5.91 c ---[70524]---> BDD-cost: 1 5.88/5.91 c ---[70493]---> BDD-cost: 1 5.88/5.91 c ---[70462]---> BDD-cost: 1 5.88/5.91 c ---[70431]---> BDD-cost: 1 5.88/5.91 c ---[70400]---> BDD-cost: 1 5.88/5.91 c ---[70374]---> BDD-cost: 1 5.88/5.91 c ---[68174]---> BDD-cost: 1 5.88/5.91 c ---[67250]---> BDD-cost: 1 5.88/5.91 c ---[67218]---> BDD-cost: 1 5.88/5.91 c ---[67187]---> BDD-cost: 1 5.88/5.91 c ---[67156]---> BDD-cost: 1 5.88/5.91 c ---[67125]---> BDD-cost: 1 5.88/5.91 c ---[67094]---> BDD-cost: 1 5.88/5.91 c ---[67063]---> BDD-cost: 1 5.88/5.91 c ---[67032]---> BDD-cost: 1 5.88/5.91 c ---[67001]---> BDD-cost: 1 5.88/5.91 c ---[66975]---> BDD-cost: 1 5.88/5.91 c ---[66949]---> BDD-cost: 1 5.88/5.91 c ---[66245]---> BDD-cost: 1 5.88/5.91 c ---[65565]---> BDD-cost: 1 5.88/5.91 c ---[65533]---> BDD-cost: 1 5.88/5.91 c ---[65502]---> BDD-cost: 1 5.88/5.91 c ---[65471]---> BDD-cost: 1 5.88/5.91 c ---[65440]---> BDD-cost: 1 5.88/5.91 c ---[65409]---> BDD-cost: 1 5.88/5.91 c ---[65378]---> BDD-cost: 1 5.88/5.91 c ---[65347]---> BDD-cost: 1 5.88/5.91 c ---[65316]---> BDD-cost: 1 5.88/5.91 c ---[65290]---> BDD-cost: 1 5.88/5.91 c ---[65264]---> BDD-cost: 1 5.88/5.91 c ---[65251]---> BDD-cost: 1 5.88/5.91 c ---[64428]---> BDD-cost: 1 5.88/5.91 c ---[64363]---> BDD-cost: 1 5.88/5.91 c ---[64314]---> BDD-cost: 1 5.88/5.91 c ---[64282]---> BDD-cost: 1 5.88/5.91 c ---[64259]---> BDD-cost: 1 5.88/5.91 c ---[64236]---> BDD-cost: 1 5.88/5.91 c ---[64213]---> BDD-cost: 1 5.88/5.91 c ---[64190]---> BDD-cost: 1 5.88/5.91 c ---[64167]---> BDD-cost: 1 5.88/5.91 c ---[64144]---> BDD-cost: 1 5.88/5.91 c ---[64121]---> BDD-cost: 1 5.88/5.91 c ---[64098]---> BDD-cost: 1 5.88/5.91 c ---[64075]---> BDD-cost: 1 5.88/5.91 c ---[64057]---> BDD-cost: 1 5.88/5.91 c ---[64019]---> BDD-cost: 1 5.88/5.91 c ---[62950]---> BDD-cost: 1 5.88/5.91 c ---[62894]---> BDD-cost: 1 5.88/5.91 c ---[62855]---> BDD-cost: 1 5.88/5.91 c ---[62358]---> BDD-cost: 1 5.88/5.91 c ---[62327]---> BDD-cost: 1 5.88/5.91 c ---[62296]---> BDD-cost: 1 5.88/5.91 c ---[62265]---> BDD-cost: 1 5.88/5.91 c ---[62234]---> BDD-cost: 1 5.88/5.91 c ---[62203]---> BDD-cost: 1 5.88/5.91 c ---[62172]---> BDD-cost: 1 5.88/5.91 c ---[62141]---> BDD-cost: 1 5.88/5.91 c ---[62110]---> BDD-cost: 1 5.88/5.91 c ---[62076]---> BDD-cost: 1 5.88/5.91 c ---[62052]---> BDD-cost: 1 5.88/5.91 c ---[61365]---> BDD-cost: 1 5.88/5.91 c ---[60684]---> BDD-cost: 1 5.88/5.91 c ---[60652]---> BDD-cost: 1 5.88/5.91 c ---[60621]---> BDD-cost: 1 5.88/5.91 c ---[60590]---> BDD-cost: 1 5.88/5.91 c ---[60559]---> BDD-cost: 1 5.88/5.91 c ---[60528]---> BDD-cost: 1 5.88/5.91 c ---[60497]---> BDD-cost: 1 5.88/5.91 c ---[60466]---> BDD-cost: 1 5.88/5.91 c ---[60435]---> BDD-cost: 1 5.88/5.91 c ---[60409]---> BDD-cost: 1 5.88/5.91 c ---[60380]---> BDD-cost: 1 5.88/5.91 c ---[48896]---> BDD-cost: 1 5.88/5.91 c ---[46997]---> BDD-cost: 1 5.88/5.91 c ---[45087]---> BDD-cost: 1 5.88/5.91 c ---[43245]---> BDD-cost: 1 5.88/5.91 c ---[41410]---> BDD-cost: 1 5.88/5.91 c ---[39591]---> BDD-cost: 1 5.88/5.91 c ---[37793]---> BDD-cost: 1 5.88/5.91 c ---[36030]---> BDD-cost: 1 5.88/5.91 c ---[34287]---> BDD-cost: 1 5.88/5.91 c ---[32562]---> BDD-cost: 1 5.88/5.91 c ---[30886]---> BDD-cost: 1 5.88/5.91 c ---[29235]---> BDD-cost: 1 5.88/5.91 c ---[27609]---> BDD-cost: 1 5.88/5.91 c ---[26004]---> BDD-cost: 1 5.88/5.91 c ---[24433]---> BDD-cost: 1 5.88/5.91 c ---[22882]---> BDD-cost: 1 5.88/5.91 c ---[21349]---> BDD-cost: 1 5.88/5.91 c ---[19839]---> BDD-cost: 1 5.88/5.91 c ---[18364]---> BDD-cost: 1 5.88/5.91 c ---[16909]---> BDD-cost: 1 5.88/5.91 c ---[15472]---> BDD-cost: 1 5.88/5.91 c ---[14102]---> BDD-cost: 1 5.88/5.91 c ---[12768]---> BDD-cost: 1 5.88/5.91 c ---[11467]---> BDD-cost: 1 5.88/5.91 c ---[10209]---> BDD-cost: 1 5.88/5.91 c ---[9016]---> BDD-cost: 1 5.88/5.91 c ---[7879]---> BDD-cost: 1 5.88/5.91 c ---[6817]---> BDD-cost: 1 5.88/5.91 c ---[5957]---> BDD-cost: 1 5.88/5.91 c ---[5161]---> BDD-cost: 1 5.88/5.91 c ---[4433]---> BDD-cost: 1 5.88/5.91 c ---[3800]---> BDD-cost: 1 5.88/5.91 c ---[3267]---> BDD-cost: 1 5.88/5.91 c ---[2814]---> BDD-cost: 1 5.88/5.91 c ---[2432]---> BDD-cost: 1 5.88/5.91 c ---[2123]---> BDD-cost: 1 5.88/5.91 c ---[1890]---> BDD-cost: 1 5.88/5.91 c ---[1713]---> BDD-cost: 1 5.88/5.91 c ---[1585]---> BDD-cost: 1 5.88/5.91 c ---[1500]---> BDD-cost: 1 5.88/5.91 c ---[1435]---> BDD-cost: 1 5.88/5.91 c ---[1388]---> BDD-cost: 1 5.88/5.91 c ---[1164]---> BDD-cost: 1 5.88/5.91 c ---[1129]---> BDD-cost: 1 5.88/5.91 c ---[1098]---> BDD-cost: 1 5.88/5.91 c ---[1067]---> BDD-cost: 1 5.88/5.91 c ---[1037]---> BDD-cost: 1 5.88/5.91 c ---[1007]---> BDD-cost: 1 5.88/5.91 c ---[ 974]---> BDD-cost: 1 5.88/5.91 c ---[ 955]---> BDD-cost: 1 5.88/5.91 c ---[ 937]---> BDD-cost: 1 5.88/5.91 c ---[ 540]---> BDD-cost: 1 5.88/5.91 c ---[ 480]---> BDD-cost: 1 5.88/5.91 c ---[ 235]---> BDD-cost: 1 5.88/5.91 c ---[ 200]---> BDD-cost: 1 5.88/5.91 c ---[ 169]---> BDD-cost: 1 5.88/5.91 c ---[ 138]---> BDD-cost: 1 5.88/5.91 c ---[ 108]---> BDD-cost: 1 5.88/5.91 c ---[ 78]---> BDD-cost: 1 5.88/5.91 c ---[ 45]---> BDD-cost: 1 5.88/5.91 c ---[ 23]---> BDD-cost: 1 5.88/5.92 c ==================================[MINISAT+]================================== 5.88/5.92 c | Conflicts | Original | Learnt | Progress | 5.88/5.92 c | | Clauses Literals | Max Clauses Literals LPC | | 5.88/5.92 c ============================================================================== 5.88/5.92 c | 0 | 181871 471578 | 60623 0 0 nan | 0.000 % | 5.88/5.97 c | 100 | 181871 471578 | 66685 100 698 7.0 | 0.956 % | 6.09/6.19 c | 251 | 181871 471578 | 73353 251 9974 39.7 | 0.956 % | 6.39/6.46 c | 479 | 158170 411324 | 80689 477 30480 63.9 | 10.509 % | 7.08/7.19 c | 817 | 158162 411302 | 88758 814 71490 87.8 | 10.515 % | 7.98/8.07 c | 1323 | 157495 409571 | 97633 1317 128873 97.9 | 10.752 % | 9.89/9.99 c | 2082 | 157495 409571 | 107397 2076 192227 92.6 | 10.752 % | 11.99/12.04 c | 3222 | 155240 403773 | 118137 2915 261386 89.7 | 11.853 % | 13.88/13.90 c | 4930 | 155191 403652 | 129950 4619 471398 102.1 | 11.883 % | 16.88/16.93 c | 7492 | 155185 403636 | 142945 7180 716116 99.7 | 11.887 % | 20.68/20.78 c | 11336 | 155185 403636 | 157240 11024 1259044 114.2 | 11.887 % | 33.17/33.28 c | 17102 | 155171 403598 | 172964 16788 1944995 115.9 | 11.896 % | 48.67/48.74 c | 25751 | 155165 403582 | 190260 25436 3076814 121.0 | 11.900 % | 68.96/69.09 c | 38725 | 155153 403550 | 209287 38408 4852513 126.3 | 11.908 % | 102.76/102.84 c | 58187 | 155137 403506 | 230215 57868 7447673 128.7 | 11.919 % | 179.14/179.25 c | 87380 | 155131 403490 | 253237 87060 11063880 127.1 | 11.923 % | 294.61/294.74 c | 131172 | 155067 403319 | 278561 130848 19734572 150.8 | 11.972 % | 537.34/537.59 c | 196856 | 155043 403255 | 306417 196528 31148068 158.5 | 11.987 % | 1006.61/1006.94 c | 295382 | 155031 403225 | 337058 295050 45578406 154.5 | 11.993 % | 1631.04/1631.52 c | 443171 | 154995 403129 | 370764 103309 16701090 161.7 | 12.016 % | 1800.00/1800.50 c 1800.00/1800.50 c *** TERMINATED *** 1800.00/1800.50 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/419201-1177405498/instance-419201-1177405498.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node62/watcher-419201-1177405498 -o ROOT/results/node62/solver-419201-1177405498 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419201-1177405498/minisat+ /tmp/evaluation/419201-1177405498/instance-419201-1177405498.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.99 0.98 0.97 3/64 6581 /proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=1048 CPUtime=0 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 59125810 1073152 103 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135003265 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 262 103 75 215 0 44 0 [startup+0.0841569 s] /proc/loadavg: 0.99 0.98 0.97 3/64 6581 /proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=1852 CPUtime=0.08 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 312 0 0 0 8 0 0 0 18 0 1 0 59125810 1896448 298 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 463 298 75 215 0 245 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 1852 [startup+0.101159 s] /proc/loadavg: 0.99 0.98 0.97 3/64 6581 /proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=2020 CPUtime=0.1 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 355 0 0 0 10 0 0 0 18 0 1 0 59125810 2068480 341 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134808984 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 505 341 75 215 0 287 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2020 [startup+0.301182 s] /proc/loadavg: 0.99 0.98 0.97 3/64 6581 /proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=4184 CPUtime=0.29 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 871 0 0 0 29 0 0 0 19 0 1 0 59125810 4284416 857 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134618819 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 1046 857 75 215 0 828 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4184 [startup+0.701229 s] /proc/loadavg: 0.99 0.98 0.97 3/64 6581 /proc/meminfo: memFree=1765576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=8064 CPUtime=0.69 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 1860 0 0 0 69 0 0 0 23 0 1 0 59125810 8257536 1846 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 2016 1846 75 215 0 1798 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8064 [startup+1.50132 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1755520/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=16292 CPUtime=1.49 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 3836 0 0 0 147 2 0 0 25 0 1 0 59125810 16683008 3822 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 4073 3822 75 215 0 3855 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 16292 [startup+3.10151 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1744576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=32264 CPUtime=3.09 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 7839 0 0 0 305 4 0 0 25 0 1 0 59125810 33038336 7775 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135031278 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 8066 7775 75 215 0 7848 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 32264 [startup+6.30171 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1710272/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=64560 CPUtime=6.29 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16195 0 0 0 598 31 0 0 20 0 1 0 59125810 66109440 15741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 0 0 0 /proc/6581/statm: 16140 15741 106 215 0 15922 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 64560 [startup+12.7014 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1702592/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=64560 CPUtime=12.68 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16195 0 0 0 1237 31 0 0 25 0 1 0 59125810 66109440 15741 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581183 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 16140 15741 106 215 0 15922 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 64560 [startup+25.5019 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1702656/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=64560 CPUtime=25.48 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16209 0 0 0 2517 31 0 0 25 0 1 0 59125810 66109440 15755 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 16140 15755 106 215 0 15922 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 64560 [startup+51.1019 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1702592/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=64704 CPUtime=51.07 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 16243 0 0 0 5076 31 0 0 25 0 1 0 59125810 66256896 15789 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580297 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 16176 15789 106 215 0 15958 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64704 [startup+102.306 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1696576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=70828 CPUtime=102.26 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 17757 0 0 0 10194 32 0 0 25 0 1 0 59125810 72527872 17303 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 17707 17303 106 215 0 17489 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 70828 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1684864/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=82752 CPUtime=162.24 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 20722 0 0 0 16188 36 0 0 25 0 1 0 59125810 84738048 20268 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574149 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 20688 20268 106 215 0 20470 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 82752 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1668800/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=98876 CPUtime=222.22 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 24698 0 0 0 22182 40 0 0 25 0 1 0 59125810 101249024 24244 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 24719 24244 106 215 0 24501 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 98876 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1648832/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=118948 CPUtime=282.21 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 29724 0 0 0 28175 46 0 0 25 0 1 0 59125810 121802752 29270 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 29737 29270 106 215 0 29519 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 118948 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1639232/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=128420 CPUtime=342.19 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 32047 0 0 0 34170 49 0 0 25 0 1 0 59125810 131502080 31593 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580475 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 32105 31593 106 215 0 31887 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 128420 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1627200/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=140888 CPUtime=402.18 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 35145 0 0 0 40166 52 0 0 25 0 1 0 59125810 144269312 34691 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 35222 34691 106 215 0 35004 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 140888 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1612672/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=155272 CPUtime=462.16 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 38717 0 0 0 46160 56 0 0 25 0 1 0 59125810 158998528 38263 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574282 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 38818 38263 106 215 0 38600 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 155272 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1600768/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=167296 CPUtime=522.14 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 41714 0 0 0 52156 58 0 0 25 0 1 0 59125810 171311104 41260 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579799 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 41824 41260 106 215 0 41606 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 167296 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1591680/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=175904 CPUtime=582.13 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 43921 0 0 0 58153 60 0 0 25 0 1 0 59125810 180125696 43467 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581028 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 43976 43467 106 215 0 43758 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 175904 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1587136/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=180888 CPUtime=642.11 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 45070 0 0 0 64150 61 0 0 25 0 1 0 59125810 185229312 44616 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 45222 44616 106 215 0 45004 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 180888 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1553024/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=215024 CPUtime=882.05 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 53593 0 0 0 88132 73 0 0 25 0 1 0 59125810 220184576 53139 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581448 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 53756 53139 106 215 0 53538 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 215024 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1544832/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=223476 CPUtime=942.03 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 55669 0 0 0 94129 74 0 0 25 0 1 0 59125810 228839424 55215 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581434 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 55869 55215 106 215 0 55651 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 223476 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1536576/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=231508 CPUtime=1002.01 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 57706 0 0 0 100124 77 0 0 25 0 1 0 59125810 237064192 57252 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 57877 57252 106 215 0 57659 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 231508 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1532480/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=235604 CPUtime=1062 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 58725 0 0 0 106122 78 0 0 25 0 1 0 59125810 241258496 58271 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 58901 58271 106 215 0 58683 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 235604 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1526720/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=241932 CPUtime=1121.98 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 60147 0 0 0 112118 80 0 0 25 0 1 0 59125810 247738368 59693 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 60483 59693 106 215 0 60265 0 Current children cumulated CPU time (s) 1121.98 Current children cumulated vsize (KiB) 241932 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1522304/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=246488 CPUtime=1181.96 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 61254 0 0 0 118115 81 0 0 25 0 1 0 59125810 252403712 60800 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 61622 60800 106 215 0 61404 0 Current children cumulated CPU time (s) 1181.96 Current children cumulated vsize (KiB) 246488 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1519168/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=249712 CPUtime=1241.95 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 62026 0 0 0 124113 82 0 0 25 0 1 0 59125810 255705088 61572 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 62428 61572 106 215 0 62210 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 249712 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1514368/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=254492 CPUtime=1301.94 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 63236 0 0 0 130110 84 0 0 25 0 1 0 59125810 260599808 62782 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580786 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 63623 62782 106 215 0 63405 0 Current children cumulated CPU time (s) 1301.94 Current children cumulated vsize (KiB) 254492 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1506304/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=262588 CPUtime=1361.92 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 65255 0 0 0 136106 86 0 0 25 0 1 0 59125810 268890112 64801 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 65647 64801 106 215 0 65429 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 262588 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1498752/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=270176 CPUtime=1421.91 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67131 0 0 0 142102 89 0 0 25 0 1 0 59125810 276660224 66677 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 67544 66677 106 215 0 67326 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 270176 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1481.89 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 148099 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134574387 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67450 106 215 0 68069 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 273148 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1541.87 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 154097 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134579868 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67450 106 215 0 68069 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 273148 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495552/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1601.85 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 160095 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67450 106 215 0 68069 0 Current children cumulated CPU time (s) 1601.85 Current children cumulated vsize (KiB) 273148 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495552/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1661.83 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 166093 90 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581415 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67450 106 215 0 68069 0 Current children cumulated CPU time (s) 1661.83 Current children cumulated vsize (KiB) 273148 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1721.82 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 172091 91 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67450 106 215 0 68069 0 Current children cumulated CPU time (s) 1721.82 Current children cumulated vsize (KiB) 273148 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1781.81 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67904 0 0 0 178090 91 0 0 25 0 1 0 59125810 279703552 67450 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134581507 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67450 106 215 0 68069 0 Current children cumulated CPU time (s) 1781.81 Current children cumulated vsize (KiB) 273148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1800 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67905 0 0 0 179909 91 0 0 25 0 1 0 59125810 279703552 67451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67451 106 215 0 68069 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 273148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.97 2/65 6582 /proc/meminfo: memFree=1495616/2055920 swapFree=4184584/4192956 [pid=6581] ppid=6579 vsize=273148 CPUtime=1800 /proc/6581/stat : 6581 (minisat+) R 6579 6581 5652 0 -1 4194304 67905 0 0 0 179909 91 0 0 25 0 1 0 59125810 279703552 67451 18446744073709551615 134512640 135395479 4294956672 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/6581/statm: 68287 67451 106 215 0 68069 0 Current children cumulated CPU time (s) 1800 Current children cumulated vsize (KiB) 273148 Child status: 0 Real time (s): 1800.55 CPU time (s): 1800.06 CPU user time (s): 1799.1 CPU system time (s): 0.957854 CPU usage (%): 99.9726 Max. virtual memory (cumulated for all children) (KiB): 273148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 0.957854 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 67906 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= 1727 involuntary context switches= 2166 runsolver used 1.57576 second user time and 3.79042 second system time The end
Begin job on node62 on Tue Apr 24 09:04:58 UTC 2007 IDJOB= 419201 IDBENCH= 47757 IDSOLVER= 156 FILE ID= node62/419201-1177405498 PBS_JOBID= 4675552 Free space on /tmp= 66491 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/fuhs/medium/AProVE07-16.opb COMMAND LINE= /tmp/evaluation/419201-1177405498/minisat+ /tmp/evaluation/419201-1177405498/instance-419201-1177405498.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node62/convwatcher-419201-1177405498 -o ROOT/results/node62/conversion-419201-1177405498 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/419201-1177405498/instance-419201-1177405498.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-419201-1177405498 -o ROOT/results/node62/solver-419201-1177405498 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/419201-1177405498/minisat+ /tmp/evaluation/419201-1177405498/instance-419201-1177405498.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= 362e33c78c276102fbb7b01900861eae RANDOM SEED= 14615861 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node62.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.216 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1766048 kB Buffers: 34912 kB Cached: 183856 kB SwapCached: 2504 kB Active: 116988 kB Inactive: 112788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1766048 kB SwapTotal: 4192956 kB SwapFree: 4184584 kB Dirty: 8280 kB Writeback: 0 kB Mapped: 17412 kB Slab: 46104 kB Committed_AS: 1127164 kB PageTables: 1464 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= 66491 MiB End job on node62 on Tue Apr 24 09:35:01 UTC 2007