Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
minisat+ 1.14 | ? (TO) | 1800.09 | 1800.64 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ liu/vdw/normalized-vdw_k3_l5_n550.opb |
MD5SUM | b656932a938990470d09f3771b5047c2 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 14.9677 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 1650 |
Total number of constraints | 113164 |
Number of constraints which are clauses | 112614 |
Number of constraints which are cardinality constraints (but not clauses) | 550 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 5 |
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 | 4 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 9 |
Number of bits of the biggest sum of numbers | 4 |
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.78/5.87 c Converting 113714 PB-constraints to clauses... 5.89/5.90 c -- Unit propagations: (none) 5.89/5.90 c -- Detecting intervals from adjacent constraints: ###################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################################### 5.89/5.92 c -- Clauses(.)/Splits(s): ...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................... 6.09/6.19 c ---[113712]---> BDD-cost: 3 6.09/6.19 c ---[113710]---> BDD-cost: 3 6.09/6.19 c ---[113708]---> BDD-cost: 3 6.09/6.19 c ---[113706]---> BDD-cost: 3 6.09/6.19 c ---[113704]---> BDD-cost: 3 6.09/6.19 c ---[113702]---> BDD-cost: 3 6.09/6.19 c ---[113700]---> BDD-cost: 3 6.09/6.19 c ---[113698]---> BDD-cost: 3 6.09/6.19 c ---[113696]---> BDD-cost: 3 6.09/6.19 c ---[113694]---> BDD-cost: 3 6.09/6.19 c ---[113692]---> BDD-cost: 3 6.09/6.19 c ---[113690]---> BDD-cost: 3 6.09/6.19 c ---[113688]---> BDD-cost: 3 6.09/6.19 c ---[113686]---> BDD-cost: 3 6.09/6.19 c ---[113684]---> BDD-cost: 3 6.09/6.19 c ---[113682]---> BDD-cost: 3 6.09/6.19 c ---[113680]---> BDD-cost: 3 6.09/6.19 c ---[113678]---> BDD-cost: 3 6.09/6.19 c ---[113676]---> BDD-cost: 3 6.09/6.19 c ---[113674]---> BDD-cost: 3 6.09/6.19 c ---[113672]---> BDD-cost: 3 6.09/6.19 c ---[113670]---> BDD-cost: 3 6.09/6.19 c ---[113668]---> BDD-cost: 3 6.09/6.19 c ---[113666]---> BDD-cost: 3 6.09/6.19 c ---[113664]---> BDD-cost: 3 6.09/6.19 c ---[113662]---> BDD-cost: 3 6.09/6.19 c ---[113660]---> BDD-cost: 3 6.09/6.19 c ---[113658]---> BDD-cost: 3 6.09/6.19 c ---[113656]---> BDD-cost: 3 6.09/6.19 c ---[113654]---> BDD-cost: 3 6.09/6.19 c ---[113652]---> BDD-cost: 3 6.09/6.19 c ---[113650]---> BDD-cost: 3 6.09/6.19 c ---[113648]---> BDD-cost: 3 6.09/6.19 c ---[113646]---> BDD-cost: 3 6.09/6.19 c ---[113644]---> BDD-cost: 3 6.09/6.19 c ---[113642]---> BDD-cost: 3 6.09/6.19 c ---[113640]---> BDD-cost: 3 6.09/6.19 c ---[113638]---> BDD-cost: 3 6.09/6.19 c ---[113636]---> BDD-cost: 3 6.09/6.19 c ---[113634]---> BDD-cost: 3 6.09/6.19 c ---[113632]---> BDD-cost: 3 6.09/6.19 c ---[113630]---> BDD-cost: 3 6.09/6.19 c ---[113628]---> BDD-cost: 3 6.09/6.19 c ---[113626]---> BDD-cost: 3 6.09/6.19 c ---[113624]---> BDD-cost: 3 6.09/6.19 c ---[113622]---> BDD-cost: 3 6.09/6.19 c ---[113620]---> BDD-cost: 3 6.09/6.19 c ---[113618]---> BDD-cost: 3 6.09/6.19 c ---[113616]---> BDD-cost: 3 6.09/6.19 c ---[113614]---> BDD-cost: 3 6.09/6.19 c ---[113612]---> BDD-cost: 3 6.09/6.19 c ---[113610]---> BDD-cost: 3 6.09/6.20 c ---[113608]---> BDD-cost: 3 6.09/6.20 c ---[113606]---> BDD-cost: 3 6.09/6.20 c ---[113604]---> BDD-cost: 3 6.09/6.20 c ---[113602]---> BDD-cost: 3 6.09/6.20 c ---[113600]---> BDD-cost: 3 6.09/6.20 c ---[113598]---> BDD-cost: 3 6.09/6.20 c ---[113596]---> BDD-cost: 3 6.09/6.20 c ---[113594]---> BDD-cost: 3 6.09/6.20 c ---[113592]---> BDD-cost: 3 6.09/6.20 c ---[113590]---> BDD-cost: 3 6.09/6.20 c ---[113588]---> BDD-cost: 3 6.09/6.20 c ---[113586]---> BDD-cost: 3 6.09/6.20 c ---[113584]---> BDD-cost: 3 6.09/6.20 c ---[113582]---> BDD-cost: 3 6.09/6.20 c ---[113580]---> BDD-cost: 3 6.09/6.20 c ---[113578]---> BDD-cost: 3 6.09/6.20 c ---[113576]---> BDD-cost: 3 6.09/6.20 c ---[113574]---> BDD-cost: 3 6.09/6.20 c ---[113572]---> BDD-cost: 3 6.09/6.20 c ---[113570]---> BDD-cost: 3 6.09/6.20 c ---[113568]---> BDD-cost: 3 6.09/6.20 c ---[113566]---> BDD-cost: 3 6.09/6.20 c ---[113564]---> BDD-cost: 3 6.09/6.20 c ---[113562]---> BDD-cost: 3 6.09/6.20 c ---[113560]---> BDD-cost: 3 6.09/6.20 c ---[113558]---> BDD-cost: 3 6.09/6.20 c ---[113556]---> BDD-cost: 3 6.09/6.20 c ---[113554]---> BDD-cost: 3 6.09/6.20 c ---[113552]---> BDD-cost: 3 6.09/6.20 c ---[113550]---> BDD-cost: 3 6.18/6.20 c ---[113548]---> BDD-cost: 3 6.18/6.20 c ---[113546]---> BDD-cost: 3 6.18/6.20 c ---[113544]---> BDD-cost: 3 6.18/6.20 c ---[113542]---> BDD-cost: 3 6.18/6.20 c ---[113540]---> BDD-cost: 3 6.18/6.20 c ---[113538]---> BDD-cost: 3 6.18/6.20 c ---[113536]---> BDD-cost: 3 6.18/6.20 c ---[113534]---> BDD-cost: 3 6.18/6.20 c ---[113532]---> BDD-cost: 3 6.18/6.20 c ---[113530]---> BDD-cost: 3 6.18/6.20 c ---[113528]---> BDD-cost: 3 6.18/6.20 c ---[113526]---> BDD-cost: 3 6.18/6.20 c ---[113524]---> BDD-cost: 3 6.18/6.20 c ---[113522]---> BDD-cost: 3 6.18/6.20 c ---[113520]---> BDD-cost: 3 6.18/6.20 c ---[113518]---> BDD-cost: 3 6.18/6.20 c ---[113516]---> BDD-cost: 3 6.18/6.20 c ---[113514]---> BDD-cost: 3 6.18/6.20 c ---[113512]---> BDD-cost: 3 6.18/6.20 c ---[113510]---> BDD-cost: 3 6.18/6.20 c ---[113508]---> BDD-cost: 3 6.18/6.20 c ---[113506]---> BDD-cost: 3 6.18/6.20 c ---[113504]---> BDD-cost: 3 6.18/6.20 c ---[113502]---> BDD-cost: 3 6.18/6.20 c ---[113500]---> BDD-cost: 3 6.18/6.20 c ---[113498]---> BDD-cost: 3 6.18/6.20 c ---[113496]---> BDD-cost: 3 6.18/6.20 c ---[113494]---> BDD-cost: 3 6.18/6.20 c ---[113492]---> BDD-cost: 3 6.18/6.20 c ---[113490]---> BDD-cost: 3 6.18/6.20 c ---[113488]---> BDD-cost: 3 6.18/6.20 c ---[113486]---> BDD-cost: 3 6.18/6.20 c ---[113484]---> BDD-cost: 3 6.18/6.20 c ---[113482]---> BDD-cost: 3 6.18/6.20 c ---[113480]---> BDD-cost: 3 6.18/6.20 c ---[113478]---> BDD-cost: 3 6.18/6.20 c ---[113476]---> BDD-cost: 3 6.18/6.20 c ---[113474]---> BDD-cost: 3 6.18/6.20 c ---[113472]---> BDD-cost: 3 6.18/6.20 c ---[113470]---> BDD-cost: 3 6.18/6.20 c ---[113468]---> BDD-cost: 3 6.18/6.20 c ---[113466]---> BDD-cost: 3 6.18/6.20 c ---[113464]---> BDD-cost: 3 6.18/6.20 c ---[113462]---> BDD-cost: 3 6.18/6.20 c ---[113460]---> BDD-cost: 3 6.18/6.20 c ---[113458]---> BDD-cost: 3 6.18/6.20 c ---[113456]---> BDD-cost: 3 6.18/6.20 c ---[113454]---> BDD-cost: 3 6.18/6.20 c ---[113452]---> BDD-cost: 3 6.18/6.20 c ---[113450]---> BDD-cost: 3 6.18/6.20 c ---[113448]---> BDD-cost: 3 6.18/6.20 c ---[113446]---> BDD-cost: 3 6.18/6.20 c ---[113444]---> BDD-cost: 3 6.18/6.20 c ---[113442]---> BDD-cost: 3 6.18/6.20 c ---[113440]---> BDD-cost: 3 6.18/6.20 c ---[113438]---> BDD-cost: 3 6.18/6.20 c ---[113436]---> BDD-cost: 3 6.18/6.20 c ---[113434]---> BDD-cost: 3 6.18/6.20 c ---[113432]---> BDD-cost: 3 6.18/6.20 c ---[113430]---> BDD-cost: 3 6.18/6.20 c ---[113428]---> BDD-cost: 3 6.18/6.20 c ---[113426]---> BDD-cost: 3 6.18/6.20 c ---[113424]---> BDD-cost: 3 6.18/6.20 c ---[113422]---> BDD-cost: 3 6.18/6.20 c ---[113420]---> BDD-cost: 3 6.18/6.20 c ---[113418]---> BDD-cost: 3 6.18/6.20 c ---[113416]---> BDD-cost: 3 6.18/6.20 c ---[113414]---> BDD-cost: 3 6.18/6.20 c ---[113412]---> BDD-cost: 3 6.18/6.20 c ---[113410]---> BDD-cost: 3 6.18/6.20 c ---[113408]---> BDD-cost: 3 6.18/6.20 c ---[113406]---> BDD-cost: 3 6.18/6.20 c ---[113404]---> BDD-cost: 3 6.18/6.20 c ---[113402]---> BDD-cost: 3 6.18/6.20 c ---[113400]---> BDD-cost: 3 6.18/6.20 c ---[113398]---> BDD-cost: 3 6.18/6.20 c ---[113396]---> BDD-cost: 3 6.18/6.20 c ---[113394]---> BDD-cost: 3 6.18/6.20 c ---[113392]---> BDD-cost: 3 6.18/6.20 c ---[113390]---> BDD-cost: 3 6.18/6.20 c ---[113388]---> BDD-cost: 3 6.18/6.20 c ---[113386]---> BDD-cost: 3 6.18/6.20 c ---[113384]---> BDD-cost: 3 6.18/6.20 c ---[113382]---> BDD-cost: 3 6.18/6.20 c ---[113380]---> BDD-cost: 3 6.18/6.20 c ---[113378]---> BDD-cost: 3 6.18/6.20 c ---[113376]---> BDD-cost: 3 6.18/6.20 c ---[113374]---> BDD-cost: 3 6.18/6.20 c ---[113372]---> BDD-cost: 3 6.18/6.20 c ---[113370]---> BDD-cost: 3 6.18/6.20 c ---[113368]---> BDD-cost: 3 6.18/6.20 c ---[113366]---> BDD-cost: 3 6.18/6.20 c ---[113364]---> BDD-cost: 3 6.18/6.20 c ---[113362]---> BDD-cost: 3 6.18/6.20 c ---[113360]---> BDD-cost: 3 6.18/6.20 c ---[113358]---> BDD-cost: 3 6.18/6.20 c ---[113356]---> BDD-cost: 3 6.18/6.20 c ---[113354]---> BDD-cost: 3 6.18/6.20 c ---[113352]---> BDD-cost: 3 6.18/6.20 c ---[113350]---> BDD-cost: 3 6.18/6.20 c ---[113348]---> BDD-cost: 3 6.18/6.20 c ---[113346]---> BDD-cost: 3 6.18/6.20 c ---[113344]---> BDD-cost: 3 6.18/6.20 c ---[113342]---> BDD-cost: 3 6.18/6.20 c ---[113340]---> BDD-cost: 3 6.18/6.20 c ---[113338]---> BDD-cost: 3 6.18/6.20 c ---[113336]---> BDD-cost: 3 6.18/6.20 c ---[113334]---> BDD-cost: 3 6.18/6.20 c ---[113332]---> BDD-cost: 3 6.18/6.20 c ---[113330]---> BDD-cost: 3 6.18/6.20 c ---[113328]---> BDD-cost: 3 6.18/6.20 c ---[113326]---> BDD-cost: 3 6.18/6.20 c ---[113324]---> BDD-cost: 3 6.18/6.20 c ---[113322]---> BDD-cost: 3 6.18/6.20 c ---[113320]---> BDD-cost: 3 6.18/6.20 c ---[113318]---> BDD-cost: 3 6.18/6.20 c ---[113316]---> BDD-cost: 3 6.18/6.20 c ---[113314]---> BDD-cost: 3 6.18/6.20 c ---[113312]---> BDD-cost: 3 6.18/6.20 c ---[113310]---> BDD-cost: 3 6.18/6.20 c ---[113308]---> BDD-cost: 3 6.18/6.20 c ---[113306]---> BDD-cost: 3 6.18/6.20 c ---[113304]---> BDD-cost: 3 6.18/6.20 c ---[113302]---> BDD-cost: 3 6.18/6.20 c ---[113300]---> BDD-cost: 3 6.18/6.20 c ---[113298]---> BDD-cost: 3 6.18/6.20 c ---[113296]---> BDD-cost: 3 6.18/6.20 c ---[113294]---> BDD-cost: 3 6.18/6.20 c ---[113292]---> BDD-cost: 3 6.18/6.20 c ---[113290]---> BDD-cost: 3 6.18/6.20 c ---[113288]---> BDD-cost: 3 6.18/6.20 c ---[113286]---> BDD-cost: 3 6.18/6.20 c ---[113284]---> BDD-cost: 3 6.18/6.20 c ---[113282]---> BDD-cost: 3 6.18/6.20 c ---[113280]---> BDD-cost: 3 6.18/6.20 c ---[113278]---> BDD-cost: 3 6.18/6.20 c ---[113276]---> BDD-cost: 3 6.18/6.20 c ---[113274]---> BDD-cost: 3 6.18/6.20 c ---[113272]---> BDD-cost: 3 6.18/6.20 c ---[113270]---> BDD-cost: 3 6.18/6.20 c ---[113268]---> BDD-cost: 3 6.18/6.20 c ---[113266]---> BDD-cost: 3 6.18/6.20 c ---[113264]---> BDD-cost: 3 6.18/6.20 c ---[113262]---> BDD-cost: 3 6.18/6.20 c ---[113260]---> BDD-cost: 3 6.18/6.20 c ---[113258]---> BDD-cost: 3 6.18/6.20 c ---[113256]---> BDD-cost: 3 6.18/6.20 c ---[113254]---> BDD-cost: 3 6.18/6.20 c ---[113252]---> BDD-cost: 3 6.18/6.20 c ---[113250]---> BDD-cost: 3 6.18/6.20 c ---[113248]---> BDD-cost: 3 6.18/6.20 c ---[113246]---> BDD-cost: 3 6.18/6.20 c ---[113244]---> BDD-cost: 3 6.18/6.20 c ---[113242]---> BDD-cost: 3 6.18/6.20 c ---[113240]---> BDD-cost: 3 6.18/6.20 c ---[113238]---> BDD-cost: 3 6.18/6.20 c ---[113236]---> BDD-cost: 3 6.18/6.20 c ---[113234]---> BDD-cost: 3 6.18/6.20 c ---[113232]---> BDD-cost: 3 6.18/6.20 c ---[113230]---> BDD-cost: 3 6.18/6.20 c ---[113228]---> BDD-cost: 3 6.18/6.20 c ---[113226]---> BDD-cost: 3 6.18/6.20 c ---[113224]---> BDD-cost: 3 6.18/6.20 c ---[113222]---> BDD-cost: 3 6.18/6.20 c ---[113220]---> BDD-cost: 3 6.18/6.20 c ---[113218]---> BDD-cost: 3 6.18/6.20 c ---[113216]---> BDD-cost: 3 6.18/6.20 c ---[113214]---> BDD-cost: 3 6.18/6.20 c ---[113212]---> BDD-cost: 3 6.18/6.20 c ---[113210]---> BDD-cost: 3 6.18/6.20 c ---[113208]---> BDD-cost: 3 6.18/6.20 c ---[113206]---> BDD-cost: 3 6.18/6.20 c ---[113204]---> BDD-cost: 3 6.18/6.20 c ---[113202]---> BDD-cost: 3 6.18/6.20 c ---[113200]---> BDD-cost: 3 6.18/6.20 c ---[113198]---> BDD-cost: 3 6.18/6.20 c ---[113196]---> BDD-cost: 3 6.18/6.20 c ---[113194]---> BDD-cost: 3 6.18/6.21 c ---[113192]---> BDD-cost: 3 6.18/6.21 c ---[113190]---> BDD-cost: 3 6.18/6.21 c ---[113188]---> BDD-cost: 3 6.18/6.21 c ---[113186]---> BDD-cost: 3 6.18/6.21 c ---[113184]---> BDD-cost: 3 6.18/6.21 c ---[113182]---> BDD-cost: 3 6.18/6.21 c ---[113180]---> BDD-cost: 3 6.18/6.21 c ---[113178]---> BDD-cost: 3 6.18/6.21 c ---[113176]---> BDD-cost: 3 6.18/6.21 c ---[113174]---> BDD-cost: 3 6.18/6.21 c ---[113172]---> BDD-cost: 3 6.18/6.21 c ---[113170]---> BDD-cost: 3 6.18/6.21 c ---[113168]---> BDD-cost: 3 6.18/6.21 c ---[113166]---> BDD-cost: 3 6.18/6.21 c ---[113164]---> BDD-cost: 3 6.18/6.21 c ---[113162]---> BDD-cost: 3 6.18/6.21 c ---[113160]---> BDD-cost: 3 6.18/6.21 c ---[113158]---> BDD-cost: 3 6.18/6.21 c ---[113156]---> BDD-cost: 3 6.18/6.21 c ---[113154]---> BDD-cost: 3 6.18/6.21 c ---[113152]---> BDD-cost: 3 6.18/6.21 c ---[113150]---> BDD-cost: 3 6.18/6.21 c ---[113148]---> BDD-cost: 3 6.18/6.21 c ---[113146]---> BDD-cost: 3 6.18/6.21 c ---[113144]---> BDD-cost: 3 6.18/6.21 c ---[113142]---> BDD-cost: 3 6.18/6.21 c ---[113140]---> BDD-cost: 3 6.18/6.21 c ---[113138]---> BDD-cost: 3 6.18/6.21 c ---[113136]---> BDD-cost: 3 6.18/6.21 c ---[113134]---> BDD-cost: 3 6.18/6.21 c ---[113132]---> BDD-cost: 3 6.18/6.21 c ---[113130]---> BDD-cost: 3 6.18/6.21 c ---[113128]---> BDD-cost: 3 6.18/6.21 c ---[113126]---> BDD-cost: 3 6.18/6.21 c ---[113124]---> BDD-cost: 3 6.18/6.21 c ---[113122]---> BDD-cost: 3 6.18/6.21 c ---[113120]---> BDD-cost: 3 6.18/6.21 c ---[113118]---> BDD-cost: 3 6.18/6.21 c ---[113116]---> BDD-cost: 3 6.18/6.21 c ---[113114]---> BDD-cost: 3 6.18/6.21 c ---[113112]---> BDD-cost: 3 6.18/6.21 c ---[113110]---> BDD-cost: 3 6.18/6.21 c ---[113108]---> BDD-cost: 3 6.18/6.21 c ---[113106]---> BDD-cost: 3 6.18/6.21 c ---[113104]---> BDD-cost: 3 6.18/6.21 c ---[113102]---> BDD-cost: 3 6.18/6.21 c ---[113100]---> BDD-cost: 3 6.18/6.21 c ---[113098]---> BDD-cost: 3 6.18/6.21 c ---[113096]---> BDD-cost: 3 6.18/6.21 c ---[113094]---> BDD-cost: 3 6.18/6.21 c ---[113092]---> BDD-cost: 3 6.18/6.21 c ---[113090]---> BDD-cost: 3 6.18/6.21 c ---[113088]---> BDD-cost: 3 6.18/6.21 c ---[113086]---> BDD-cost: 3 6.18/6.21 c ---[113084]---> BDD-cost: 3 6.18/6.21 c ---[113082]---> BDD-cost: 3 6.18/6.21 c ---[113080]---> BDD-cost: 3 6.18/6.21 c ---[113078]---> BDD-cost: 3 6.18/6.21 c ---[113076]---> BDD-cost: 3 6.18/6.21 c ---[113074]---> BDD-cost: 3 6.18/6.21 c ---[113072]---> BDD-cost: 3 6.18/6.21 c ---[113070]---> BDD-cost: 3 6.18/6.21 c ---[113068]---> BDD-cost: 3 6.18/6.21 c ---[113066]---> BDD-cost: 3 6.18/6.21 c ---[113064]---> BDD-cost: 3 6.18/6.21 c ---[113062]---> BDD-cost: 3 6.18/6.21 c ---[113060]---> BDD-cost: 3 6.18/6.21 c ---[113058]---> BDD-cost: 3 6.18/6.21 c ---[113056]---> BDD-cost: 3 6.18/6.21 c ---[113054]---> BDD-cost: 3 6.18/6.21 c ---[113052]---> BDD-cost: 3 6.18/6.21 c ---[113050]---> BDD-cost: 3 6.18/6.21 c ---[113048]---> BDD-cost: 3 6.18/6.21 c ---[113046]---> BDD-cost: 3 6.18/6.21 c ---[113044]---> BDD-cost: 3 6.18/6.21 c ---[113042]---> BDD-cost: 3 6.18/6.21 c ---[113040]---> BDD-cost: 3 6.18/6.21 c ---[113038]---> BDD-cost: 3 6.18/6.21 c ---[113036]---> BDD-cost: 3 6.18/6.21 c ---[113034]---> BDD-cost: 3 6.18/6.21 c ---[113032]---> BDD-cost: 3 6.18/6.21 c ---[113030]---> BDD-cost: 3 6.18/6.21 c ---[113028]---> BDD-cost: 3 6.18/6.21 c ---[113026]---> BDD-cost: 3 6.18/6.21 c ---[113024]---> BDD-cost: 3 6.18/6.21 c ---[113022]---> BDD-cost: 3 6.18/6.21 c ---[113020]---> BDD-cost: 3 6.18/6.21 c ---[113018]---> BDD-cost: 3 6.18/6.21 c ---[113016]---> BDD-cost: 3 6.18/6.21 c ---[113014]---> BDD-cost: 3 6.18/6.21 c ---[113012]---> BDD-cost: 3 6.18/6.21 c ---[113010]---> BDD-cost: 3 6.18/6.21 c ---[113008]---> BDD-cost: 3 6.18/6.21 c ---[113006]---> BDD-cost: 3 6.18/6.21 c ---[113004]---> BDD-cost: 3 6.18/6.21 c ---[113002]---> BDD-cost: 3 6.18/6.21 c ---[113000]---> BDD-cost: 3 6.18/6.21 c ---[112998]---> BDD-cost: 3 6.18/6.21 c ---[112996]---> BDD-cost: 3 6.18/6.21 c ---[112994]---> BDD-cost: 3 6.18/6.21 c ---[112992]---> BDD-cost: 3 6.18/6.21 c ---[112990]---> BDD-cost: 3 6.18/6.21 c ---[112988]---> BDD-cost: 3 6.18/6.21 c ---[112986]---> BDD-cost: 3 6.18/6.21 c ---[112984]---> BDD-cost: 3 6.18/6.21 c ---[112982]---> BDD-cost: 3 6.18/6.21 c ---[112980]---> BDD-cost: 3 6.18/6.21 c ---[112978]---> BDD-cost: 3 6.18/6.21 c ---[112976]---> BDD-cost: 3 6.18/6.21 c ---[112974]---> BDD-cost: 3 6.18/6.21 c ---[112972]---> BDD-cost: 3 6.18/6.21 c ---[112970]---> BDD-cost: 3 6.18/6.21 c ---[112968]---> BDD-cost: 3 6.18/6.21 c ---[112966]---> BDD-cost: 3 6.18/6.21 c ---[112964]---> BDD-cost: 3 6.18/6.21 c ---[112962]---> BDD-cost: 3 6.18/6.21 c ---[112960]---> BDD-cost: 3 6.18/6.21 c ---[112958]---> BDD-cost: 3 6.18/6.21 c ---[112956]---> BDD-cost: 3 6.18/6.21 c ---[112954]---> BDD-cost: 3 6.18/6.21 c ---[112952]---> BDD-cost: 3 6.18/6.21 c ---[112950]---> BDD-cost: 3 6.18/6.21 c ---[112948]---> BDD-cost: 3 6.18/6.21 c ---[112946]---> BDD-cost: 3 6.18/6.21 c ---[112944]---> BDD-cost: 3 6.18/6.21 c ---[112942]---> BDD-cost: 3 6.18/6.21 c ---[112940]---> BDD-cost: 3 6.18/6.21 c ---[112938]---> BDD-cost: 3 6.18/6.21 c ---[112936]---> BDD-cost: 3 6.18/6.21 c ---[112934]---> BDD-cost: 3 6.18/6.21 c ---[112932]---> BDD-cost: 3 6.18/6.21 c ---[112930]---> BDD-cost: 3 6.18/6.21 c ---[112928]---> BDD-cost: 3 6.18/6.21 c ---[112926]---> BDD-cost: 3 6.18/6.21 c ---[112924]---> BDD-cost: 3 6.18/6.21 c ---[112922]---> BDD-cost: 3 6.18/6.21 c ---[112920]---> BDD-cost: 3 6.18/6.21 c ---[112918]---> BDD-cost: 3 6.18/6.21 c ---[112916]---> BDD-cost: 3 6.18/6.21 c ---[112914]---> BDD-cost: 3 6.18/6.21 c ---[112912]---> BDD-cost: 3 6.18/6.21 c ---[112910]---> BDD-cost: 3 6.18/6.21 c ---[112908]---> BDD-cost: 3 6.18/6.21 c ---[112906]---> BDD-cost: 3 6.18/6.21 c ---[112904]---> BDD-cost: 3 6.18/6.21 c ---[112902]---> BDD-cost: 3 6.18/6.21 c ---[112900]---> BDD-cost: 3 6.18/6.21 c ---[112898]---> BDD-cost: 3 6.18/6.21 c ---[112896]---> BDD-cost: 3 6.18/6.21 c ---[112894]---> BDD-cost: 3 6.18/6.21 c ---[112892]---> BDD-cost: 3 6.18/6.21 c ---[112890]---> BDD-cost: 3 6.18/6.21 c ---[112888]---> BDD-cost: 3 6.18/6.21 c ---[112886]---> BDD-cost: 3 6.18/6.21 c ---[112884]---> BDD-cost: 3 6.18/6.21 c ---[112882]---> BDD-cost: 3 6.18/6.21 c ---[112880]---> BDD-cost: 3 6.18/6.21 c ---[112878]---> BDD-cost: 3 6.18/6.21 c ---[112876]---> BDD-cost: 3 6.18/6.21 c ---[112874]---> BDD-cost: 3 6.18/6.21 c ---[112872]---> BDD-cost: 3 6.18/6.21 c ---[112870]---> BDD-cost: 3 6.18/6.21 c ---[112868]---> BDD-cost: 3 6.18/6.21 c ---[112866]---> BDD-cost: 3 6.18/6.21 c ---[112864]---> BDD-cost: 3 6.18/6.21 c ---[112862]---> BDD-cost: 3 6.18/6.21 c ---[112860]---> BDD-cost: 3 6.18/6.21 c ---[112858]---> BDD-cost: 3 6.18/6.21 c ---[112856]---> BDD-cost: 3 6.18/6.21 c ---[112854]---> BDD-cost: 3 6.18/6.21 c ---[112852]---> BDD-cost: 3 6.18/6.21 c ---[112850]---> BDD-cost: 3 6.18/6.21 c ---[112848]---> BDD-cost: 3 6.18/6.21 c ---[112846]---> BDD-cost: 3 6.18/6.21 c ---[112844]---> BDD-cost: 3 6.18/6.21 c ---[112842]---> BDD-cost: 3 6.18/6.21 c ---[112840]---> BDD-cost: 3 6.18/6.21 c ---[112838]---> BDD-cost: 3 6.18/6.21 c ---[112836]---> BDD-cost: 3 6.18/6.21 c ---[112834]---> BDD-cost: 3 6.18/6.21 c ---[112832]---> BDD-cost: 3 6.18/6.21 c ---[112830]---> BDD-cost: 3 6.18/6.21 c ---[112828]---> BDD-cost: 3 6.18/6.21 c ---[112826]---> BDD-cost: 3 6.18/6.21 c ---[112824]---> BDD-cost: 3 6.18/6.21 c ---[112822]---> BDD-cost: 3 6.18/6.21 c ---[112820]---> BDD-cost: 3 6.18/6.21 c ---[112818]---> BDD-cost: 3 6.18/6.21 c ---[112816]---> BDD-cost: 3 6.18/6.21 c ---[112814]---> BDD-cost: 3 6.18/6.21 c ---[112812]---> BDD-cost: 3 6.18/6.21 c ---[112810]---> BDD-cost: 3 6.18/6.21 c ---[112808]---> BDD-cost: 3 6.18/6.21 c ---[112806]---> BDD-cost: 3 6.18/6.21 c ---[112804]---> BDD-cost: 3 6.18/6.21 c ---[112802]---> BDD-cost: 3 6.18/6.21 c ---[112800]---> BDD-cost: 3 6.18/6.21 c ---[112798]---> BDD-cost: 3 6.18/6.21 c ---[112796]---> BDD-cost: 3 6.18/6.21 c ---[112794]---> BDD-cost: 3 6.18/6.21 c ---[112792]---> BDD-cost: 3 6.18/6.21 c ---[112790]---> BDD-cost: 3 6.18/6.21 c ---[112788]---> BDD-cost: 3 6.18/6.21 c ---[112786]---> BDD-cost: 3 6.18/6.21 c ---[112784]---> BDD-cost: 3 6.18/6.21 c ---[112782]---> BDD-cost: 3 6.18/6.21 c ---[112780]---> BDD-cost: 3 6.18/6.21 c ---[112778]---> BDD-cost: 3 6.18/6.21 c ---[112776]---> BDD-cost: 3 6.18/6.21 c ---[112774]---> BDD-cost: 3 6.18/6.21 c ---[112772]---> BDD-cost: 3 6.18/6.22 c ---[112770]---> BDD-cost: 3 6.18/6.22 c ---[112768]---> BDD-cost: 3 6.18/6.22 c ---[112766]---> BDD-cost: 3 6.18/6.22 c ---[112764]---> BDD-cost: 3 6.18/6.22 c ---[112762]---> BDD-cost: 3 6.18/6.22 c ---[112760]---> BDD-cost: 3 6.18/6.22 c ---[112758]---> BDD-cost: 3 6.18/6.22 c ---[112756]---> BDD-cost: 3 6.18/6.22 c ---[112754]---> BDD-cost: 3 6.18/6.22 c ---[112752]---> BDD-cost: 3 6.18/6.22 c ---[112750]---> BDD-cost: 3 6.18/6.22 c ---[112748]---> BDD-cost: 3 6.18/6.22 c ---[112746]---> BDD-cost: 3 6.18/6.22 c ---[112744]---> BDD-cost: 3 6.18/6.22 c ---[112742]---> BDD-cost: 3 6.18/6.22 c ---[112740]---> BDD-cost: 3 6.18/6.22 c ---[112738]---> BDD-cost: 3 6.18/6.22 c ---[112736]---> BDD-cost: 3 6.18/6.22 c ---[112734]---> BDD-cost: 3 6.18/6.22 c ---[112732]---> BDD-cost: 3 6.18/6.22 c ---[112730]---> BDD-cost: 3 6.18/6.22 c ---[112728]---> BDD-cost: 3 6.18/6.22 c ---[112726]---> BDD-cost: 3 6.18/6.22 c ---[112724]---> BDD-cost: 3 6.18/6.22 c ---[112722]---> BDD-cost: 3 6.18/6.22 c ---[112720]---> BDD-cost: 3 6.18/6.22 c ---[112718]---> BDD-cost: 3 6.18/6.22 c ---[112716]---> BDD-cost: 3 6.18/6.22 c ---[112714]---> BDD-cost: 3 6.18/6.22 c ---[112712]---> BDD-cost: 3 6.18/6.22 c ---[112710]---> BDD-cost: 3 6.18/6.22 c ---[112708]---> BDD-cost: 3 6.18/6.22 c ---[112706]---> BDD-cost: 3 6.18/6.22 c ---[112704]---> BDD-cost: 3 6.18/6.22 c ---[112702]---> BDD-cost: 3 6.18/6.22 c ---[112700]---> BDD-cost: 3 6.18/6.22 c ---[112698]---> BDD-cost: 3 6.18/6.22 c ---[112696]---> BDD-cost: 3 6.18/6.22 c ---[112694]---> BDD-cost: 3 6.18/6.22 c ---[112692]---> BDD-cost: 3 6.18/6.22 c ---[112690]---> BDD-cost: 3 6.18/6.22 c ---[112688]---> BDD-cost: 3 6.18/6.22 c ---[112686]---> BDD-cost: 3 6.18/6.22 c ---[112684]---> BDD-cost: 3 6.18/6.22 c ---[112682]---> BDD-cost: 3 6.18/6.22 c ---[112680]---> BDD-cost: 3 6.18/6.22 c ---[112678]---> BDD-cost: 3 6.18/6.22 c ---[112676]---> BDD-cost: 3 6.18/6.22 c ---[112674]---> BDD-cost: 3 6.18/6.22 c ---[112672]---> BDD-cost: 3 6.18/6.22 c ---[112670]---> BDD-cost: 3 6.18/6.22 c ---[112668]---> BDD-cost: 3 6.18/6.22 c ---[112666]---> BDD-cost: 3 6.18/6.22 c ---[112664]---> BDD-cost: 3 6.18/6.22 c ---[112662]---> BDD-cost: 3 6.18/6.22 c ---[112660]---> BDD-cost: 3 6.18/6.22 c ---[112658]---> BDD-cost: 3 6.18/6.22 c ---[112656]---> BDD-cost: 3 6.18/6.22 c ---[112654]---> BDD-cost: 3 6.18/6.22 c ---[112652]---> BDD-cost: 3 6.18/6.22 c ---[112650]---> BDD-cost: 3 6.18/6.22 c ---[112648]---> BDD-cost: 3 6.18/6.22 c ---[112646]---> BDD-cost: 3 6.18/6.22 c ---[112644]---> BDD-cost: 3 6.18/6.22 c ---[112642]---> BDD-cost: 3 6.18/6.22 c ---[112640]---> BDD-cost: 3 6.18/6.22 c ---[112638]---> BDD-cost: 3 6.18/6.22 c ---[112636]---> BDD-cost: 3 6.18/6.22 c ---[112634]---> BDD-cost: 3 6.18/6.22 c ---[112632]---> BDD-cost: 3 6.18/6.22 c ---[112630]---> BDD-cost: 3 6.18/6.22 c ---[112628]---> BDD-cost: 3 6.18/6.22 c ---[112626]---> BDD-cost: 3 6.18/6.22 c ---[112624]---> BDD-cost: 3 6.18/6.22 c ---[112622]---> BDD-cost: 3 6.18/6.22 c ---[112620]---> BDD-cost: 3 6.18/6.22 c ---[112618]---> BDD-cost: 3 6.18/6.22 c ---[112616]---> BDD-cost: 3 6.18/6.22 c ---[112614]---> BDD-cost: 3 6.18/6.23 c ==================================[MINISAT+]================================== 6.18/6.23 c | Conflicts | Original | Learnt | Progress | 6.18/6.23 c | | Clauses Literals | Max Clauses Literals LPC | | 6.18/6.23 c ============================================================================== 6.18/6.23 c | 0 | 116464 573520 | 38821 0 0 nan | 0.000 % | 6.18/6.23 c | 100 | 116464 573520 | 42703 100 3353 33.5 | 16.667 % | 6.18/6.25 c | 250 | 116464 573520 | 46973 250 9246 37.0 | 16.667 % | 6.29/6.32 c | 475 | 116464 573520 | 51670 475 28613 60.2 | 16.667 % | 6.49/6.52 c | 812 | 116464 573520 | 56837 812 61852 76.2 | 16.667 % | 6.69/6.75 c | 1318 | 116464 573520 | 62521 1318 108785 82.5 | 16.667 % | 6.99/7.07 c | 2077 | 116464 573520 | 68773 2077 183108 88.2 | 16.667 % | 7.39/7.48 c | 3216 | 116464 573520 | 75651 3216 299528 93.1 | 16.667 % | 8.29/8.30 c | 4925 | 116464 573520 | 83216 4925 520764 105.7 | 16.667 % | 9.79/9.90 c | 7487 | 116464 573520 | 91537 7487 907974 121.3 | 16.667 % | 11.89/11.93 c | 11332 | 116464 573520 | 100691 11332 1365953 120.5 | 16.667 % | 15.18/15.27 c | 17098 | 116464 573520 | 110760 17098 2020783 118.2 | 16.667 % | 20.79/20.89 c | 25748 | 116464 573520 | 121836 25748 3086784 119.9 | 16.667 % | 30.48/30.54 c | 38722 | 116464 573520 | 134020 38722 4957800 128.0 | 16.667 % | 47.47/47.58 c | 58183 | 116464 573520 | 147422 58183 7575005 130.2 | 16.667 % | 87.06/87.13 c | 87377 | 116464 573520 | 162164 87377 11508072 131.7 | 16.667 % | 151.24/151.39 c | 131166 | 116464 573520 | 178381 131166 18101878 138.0 | 16.667 % | 256.32/256.49 c | 196853 | 116464 573520 | 196219 38152 5185005 135.9 | 16.667 % | 414.78/414.91 c | 295380 | 116464 573520 | 215841 136679 20327165 148.7 | 16.667 % | 729.10/729.39 c | 443169 | 116464 573520 | 237425 89782 14186109 158.0 | 16.667 % | 1257.17/1257.67 c | 664853 | 116464 573520 | 261168 90646 11977847 132.1 | 16.667 % | 1800.05/1800.61 c 1800.05/1800.61 c *** TERMINATED *** 1800.05/1800.61 s UNKNOWN
ERROR: no interpretation found !
/tmp/evaluation/360420-1176968854/instance-360420-1176968854.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node41/watcher-360420-1176968854 -o ROOT/results/node41/solver-360420-1176968854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360420-1176968854/minisat+ /tmp/evaluation/360420-1176968854/instance-360420-1176968854.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17499 /proc/meminfo: memFree=1742328/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=1048 CPUtime=0 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 117 0 0 0 0 0 0 0 18 0 1 0 144797260 1073152 102 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135003915 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 262 102 74 215 0 44 0 [startup+0.0288969 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17499 /proc/meminfo: memFree=1742328/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=1472 CPUtime=0.02 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 214 0 0 0 2 0 0 0 18 0 1 0 144797260 1507328 199 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 368 199 74 215 0 150 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 1472 [startup+0.10194 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17499 /proc/meminfo: memFree=1742328/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=2032 CPUtime=0.09 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 371 0 0 0 9 0 0 0 18 0 1 0 144797260 2080768 356 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618939 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 508 356 74 215 0 290 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2032 [startup+0.301956 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17499 /proc/meminfo: memFree=1742328/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=3648 CPUtime=0.29 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 768 0 0 0 29 0 0 0 19 0 1 0 144797260 3735552 753 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 912 753 74 215 0 694 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3648 [startup+0.701991 s] /proc/loadavg: 0.92 0.98 0.99 3/77 17499 /proc/meminfo: memFree=1742328/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=6876 CPUtime=0.69 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 1564 0 0 0 69 0 0 0 23 0 1 0 144797260 7041024 1549 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 135007481 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 1719 1549 74 215 0 1501 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6876 [startup+1.50102 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1734000/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=13200 CPUtime=1.49 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 3145 0 0 0 148 1 0 0 25 0 1 0 144797260 13516800 3130 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 3300 3130 74 215 0 3082 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13200 [startup+3.10116 s] /proc/loadavg: 0.92 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1725168/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=25892 CPUtime=3.09 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 6306 0 0 0 305 4 0 0 25 0 1 0 144797260 26513408 6291 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134618678 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 6473 6291 74 215 0 6255 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 25892 [startup+6.30144 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1698800/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=55236 CPUtime=6.29 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 13622 0 0 0 608 21 0 0 18 0 1 0 144797260 56561664 13607 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134581053 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 13809 13607 106 215 0 13591 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 55236 [startup+12.702 s] /proc/loadavg: 0.93 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1687792/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=55236 CPUtime=12.69 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 13636 0 0 0 1248 21 0 0 25 0 1 0 144797260 56561664 13621 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580768 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 13809 13621 106 215 0 13591 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 55236 [startup+25.5011 s] /proc/loadavg: 0.95 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1687728/2055920 swapFree=4125592/4192956 [pid=17499] ppid=17497 vsize=55400 CPUtime=25.48 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 13680 0 0 0 2527 21 0 0 25 0 1 0 144797260 56729600 13665 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 13850 13665 106 215 0 13632 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 55400 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1678640/2055920 swapFree=4125656/4192956 [pid=17499] ppid=17497 vsize=64952 CPUtime=51.07 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 16029 0 0 0 5083 24 0 0 25 0 1 0 144797260 66510848 16014 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580941 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 16238 16014 106 215 0 16020 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 64952 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1656880/2055920 swapFree=4125656/4192956 [pid=17499] ppid=17497 vsize=86492 CPUtime=102.25 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 21414 0 0 0 10196 29 0 0 25 0 1 0 144797260 88567808 21399 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 21623 21399 106 215 0 21405 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 86492 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1632304/2055920 swapFree=4125656/4192956 [pid=17499] ppid=17497 vsize=111372 CPUtime=162.24 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 27591 0 0 0 16189 35 0 0 25 0 1 0 144797260 114044928 27576 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580840 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 27843 27576 106 215 0 27625 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 111372 [startup+222.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1612784/2055920 swapFree=4125720/4192956 [pid=17499] ppid=17497 vsize=130688 CPUtime=222.22 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 32438 0 0 0 22181 41 0 0 25 0 1 0 144797260 133824512 32423 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134578856 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 32672 32423 106 215 0 32454 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 130688 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1607344/2055920 swapFree=4125720/4192956 [pid=17499] ppid=17497 vsize=136044 CPUtime=282.21 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 33781 0 0 0 28178 43 0 0 25 0 1 0 144797260 139309056 33766 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 34011 33766 106 215 0 33793 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 136044 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1607344/2055920 swapFree=4125784/4192956 [pid=17499] ppid=17497 vsize=136044 CPUtime=342.2 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 33781 0 0 0 34176 44 0 0 25 0 1 0 144797260 139309056 33766 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 34011 33766 106 215 0 33793 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 136044 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1607280/2055920 swapFree=4125784/4192956 [pid=17499] ppid=17497 vsize=136044 CPUtime=402.18 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 33781 0 0 0 40174 44 0 0 25 0 1 0 144797260 139309056 33766 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 34011 33766 106 215 0 33793 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 136044 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1607280/2055920 swapFree=4125784/4192956 [pid=17499] ppid=17497 vsize=136044 CPUtime=462.17 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 33781 0 0 0 46172 45 0 0 25 0 1 0 144797260 139309056 33766 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134578873 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 34011 33766 106 215 0 33793 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 136044 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1592304/2055920 swapFree=4125848/4192956 [pid=17499] ppid=17497 vsize=151216 CPUtime=522.15 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 37577 0 0 0 52166 49 0 0 25 0 1 0 144797260 154845184 37562 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134584050 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 37804 37562 106 215 0 37586 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 151216 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1576176/2055920 swapFree=4125848/4192956 [pid=17499] ppid=17497 vsize=167700 CPUtime=582.14 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 41590 0 0 0 58161 53 0 0 25 0 1 0 144797260 171724800 41575 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 41925 41575 106 215 0 41707 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 167700 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 17500 /proc/meminfo: memFree=1567152/2055920 swapFree=4125912/4192956 [pid=17499] ppid=17497 vsize=176608 CPUtime=642.13 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 43790 0 0 0 64157 56 0 0 25 0 1 0 144797260 180846592 43775 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580965 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 44152 43775 106 215 0 43934 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 176608 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.98 0.99 2/84 17582 /proc/meminfo: memFree=1565824/2055920 swapFree=4125976/4192956 [pid=17499] ppid=17497 vsize=176608 CPUtime=822.03 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 43801 0 0 0 82145 58 0 0 25 0 1 0 144797260 180846592 43786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580825 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 44152 43786 106 215 0 43934 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 176608 [startup+882.302 s] /proc/loadavg: 1.06 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1566832/2055920 swapFree=4125976/4192956 [pid=17499] ppid=17497 vsize=176608 CPUtime=881.96 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 43801 0 0 0 88138 58 0 0 25 0 1 0 144797260 180846592 43786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134579584 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 44152 43786 106 215 0 43934 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 176608 [startup+942.302 s] /proc/loadavg: 1.08 1.02 1.00 2/78 17698 /proc/meminfo: memFree=1566832/2055920 swapFree=4126040/4192956 [pid=17499] ppid=17497 vsize=176608 CPUtime=941.94 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 43801 0 0 0 94136 58 0 0 25 0 1 0 144797260 180846592 43786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 44152 43786 106 215 0 43934 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 176608 [startup+1002.3 s] /proc/loadavg: 1.09 1.03 1.00 2/78 17698 /proc/meminfo: memFree=1566832/2055920 swapFree=4126040/4192956 [pid=17499] ppid=17497 vsize=176608 CPUtime=1001.93 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 43801 0 0 0 100134 59 0 0 25 0 1 0 144797260 180846592 43786 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580890 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 44152 43786 106 215 0 43934 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 176608 [startup+1062.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 17698 /proc/meminfo: memFree=1566832/2055920 swapFree=4126040/4192956 [pid=17499] ppid=17497 vsize=176608 CPUtime=1061.91 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 43806 0 0 0 106132 59 0 0 25 0 1 0 144797260 180846592 43791 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 44152 43791 106 215 0 43934 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 176608 [startup+1122.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 17698 /proc/meminfo: memFree=1560176/2055920 swapFree=4126104/4192956 [pid=17499] ppid=17497 vsize=183388 CPUtime=1121.9 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45519 0 0 0 112129 61 0 0 25 0 1 0 144797260 187789312 45504 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 45847 45504 106 215 0 45629 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 183388 [startup+1182.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 17698 /proc/meminfo: memFree=1559472/2055920 swapFree=4126104/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1181.89 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45678 0 0 0 118127 62 0 0 25 0 1 0 144797260 188465152 45663 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45663 106 215 0 45794 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 184048 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559408/2055920 swapFree=4126168/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1241.87 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45680 0 0 0 124125 62 0 0 25 0 1 0 144797260 188465152 45665 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580214 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45665 106 215 0 45794 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 184048 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559408/2055920 swapFree=4126168/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1301.86 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45680 0 0 0 130123 63 0 0 25 0 1 0 144797260 188465152 45665 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45665 106 215 0 45794 0 Current children cumulated CPU time (s) 1301.86 Current children cumulated vsize (KiB) 184048 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559408/2055920 swapFree=4126232/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1361.84 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45680 0 0 0 136121 63 0 0 25 0 1 0 144797260 188465152 45665 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580732 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45665 106 215 0 45794 0 Current children cumulated CPU time (s) 1361.84 Current children cumulated vsize (KiB) 184048 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559344/2055920 swapFree=4126232/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1421.83 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45681 0 0 0 142119 64 0 0 25 0 1 0 144797260 188465152 45666 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45666 106 215 0 45794 0 Current children cumulated CPU time (s) 1421.83 Current children cumulated vsize (KiB) 184048 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559344/2055920 swapFree=4126232/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1481.81 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45681 0 0 0 148117 64 0 0 25 0 1 0 144797260 188465152 45666 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45666 106 215 0 45794 0 Current children cumulated CPU time (s) 1481.81 Current children cumulated vsize (KiB) 184048 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559472/2055920 swapFree=4126296/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1541.8 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45681 0 0 0 154116 64 0 0 25 0 1 0 144797260 188465152 45666 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45666 106 215 0 45794 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 184048 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559408/2055920 swapFree=4126296/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1601.79 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45681 0 0 0 160114 65 0 0 25 0 1 0 144797260 188465152 45666 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45666 106 215 0 45794 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 184048 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559472/2055920 swapFree=4126360/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1661.77 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45681 0 0 0 166112 65 0 0 25 0 1 0 144797260 188465152 45666 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45666 106 215 0 45794 0 Current children cumulated CPU time (s) 1661.77 Current children cumulated vsize (KiB) 184048 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1559472/2055920 swapFree=4126360/4192956 [pid=17499] ppid=17497 vsize=184048 CPUtime=1721.76 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 45691 0 0 0 172110 66 0 0 25 0 1 0 144797260 188465152 45676 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 46012 45676 106 215 0 45794 0 Current children cumulated CPU time (s) 1721.76 Current children cumulated vsize (KiB) 184048 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1552752/2055920 swapFree=4126360/4192956 [pid=17499] ppid=17497 vsize=190616 CPUtime=1781.75 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 47349 0 0 0 178107 68 0 0 25 0 1 0 144797260 195190784 47334 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134580759 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 47654 47334 106 215 0 47436 0 Current children cumulated CPU time (s) 1781.75 Current children cumulated vsize (KiB) 190616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 17698 /proc/meminfo: memFree=1552752/2055920 swapFree=4126424/4192956 [pid=17499] ppid=17497 vsize=190616 CPUtime=1800.05 /proc/17499/stat : 17499 (minisat+) R 17497 17499 16798 0 -1 4194304 47349 0 0 0 179937 68 0 0 25 0 1 0 144797260 195190784 47334 18446744073709551615 134512640 135395479 4294956640 18446744073709551615 134577224 0 0 4096 16386 0 0 0 17 1 0 0 /proc/17499/statm: 47654 47334 106 215 0 47436 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 190616 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.09 CPU user time (s): 1799.37 CPU system time (s): 0.71789 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (KiB): 190616 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.37 system time used= 0.71789 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47350 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= 713 involuntary context switches= 5139 runsolver used 2.22166 second user time and 4.5893 second system time The end
Begin job on node41 on Thu Apr 19 07:47:34 UTC 2007 IDJOB= 360420 IDBENCH= 1370 IDSOLVER= 156 FILE ID= node41/360420-1176968854 PBS_JOBID= 4630273 Free space on /tmp= 66341 MiB SOLVER NAME= minisat+ 1.14 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/liu/vdw/normalized-vdw_k3_l5_n550.opb COMMAND LINE= /tmp/evaluation/360420-1176968854/minisat+ /tmp/evaluation/360420-1176968854/instance-360420-1176968854.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node41/convwatcher-360420-1176968854 -o ROOT/results/node41/conversion-360420-1176968854 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/360420-1176968854/instance-360420-1176968854.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node41/watcher-360420-1176968854 -o ROOT/results/node41/solver-360420-1176968854 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/360420-1176968854/minisat+ /tmp/evaluation/360420-1176968854/instance-360420-1176968854.opb META MD5SUM SOLVER= e46aded85e5f265b61da9cdcce06370e MD5SUM BENCH= b656932a938990470d09f3771b5047c2 RANDOM SEED= 847652894 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node41.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.232 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.232 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: 1742800 kB Buffers: 35444 kB Cached: 193476 kB SwapCached: 2688 kB Active: 94240 kB Inactive: 158448 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1742800 kB SwapTotal: 4192956 kB SwapFree: 4125592 kB Dirty: 7880 kB Writeback: 0 kB Mapped: 31528 kB Slab: 45740 kB Committed_AS: 2552116 kB PageTables: 2008 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= 66341 MiB End job on node41 on Thu Apr 19 08:17:36 UTC 2007