0.00/0.02 exec HOME/naps_release -v2 -mc -cSCIP -scip-solve-prop -scip-stage-prop -given-time=3600 HOME/instance-4780286-1782137246.opb
0.00/0.06 c NaPS 1.03a50.
0.00/0.06 c Using SAT solver: CaDiCaL 3.0.0
0.00/0.06 c Input file name: HOME/instance-4780286-1782137246.opb
0.00/0.06 c Parsing PB file...
0.00/0.06 c goal was devided by 1 with offset 211.
0.05/0.19 c assumptions before coding:
0.05/0.20 c initScipForCoop
0.16/0.22 c Running SCIP presolver (time limit: 10 sec)...
0.16/0.22 c solveScip
0.16/0.22 c initScipForCoop
0.16/0.22 c Cooperative mode: scip_coop_offset=211.000000
0.16/0.22 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
0.16/0.22 c Running SCIP presolve for solve-time propagation (rounds=3)
0.16/0.25 c presolving:
0.16/0.29 c (0.1s) running MILP presolver
0.16/0.31 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.16/0.32 c (round 1, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16520 clqs, 0 implints
0.26/0.36 c (round 2, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 29564 upgd conss, 0 impls, 16520 clqs, 0 implints
1.23/1.33 c (1.1s) probing: 1000/9632 (10.4%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
1.23/1.33 c (1.1s) probing: 1001/9632 (10.4%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
1.23/1.33 c (1.1s) probing aborted: 1000/1000 successive useless probings
1.23/1.39 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
1.23/1.39 c 0 deleted vars, 896 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
1.23/1.39 c 0 implications, 21256 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1.23/1.39 c presolved problem has 9632 variables (9632 bin, 0 int, 0 cont) and 28724 constraints
1.23/1.39 c 1144 constraints of type <knapsack>
1.23/1.39 c 16520 constraints of type <setppc>
1.23/1.39 c 28 constraints of type <linear>
1.23/1.39 c 11032 constraints of type <logicor>
1.23/1.39 c transformed objective value is always integral (scale: 1)
1.23/1.39 c Presolving Time: 1.14
1.34/1.42 c presolving:
1.34/1.45 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
1.34/1.45 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
1.34/1.48 c (0.1s) running MILP presolver
1.34/1.49 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1.43/1.50 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
1.43/1.55 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
1.43/1.58 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
2.43/2.55 c (1.1s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
2.43/2.55 c (1.1s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
2.43/2.55 c (1.1s) probing aborted: 1000/1000 successive useless probings
2.43/2.59 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2.53/2.65 c (1.2s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
2.53/2.66 c dynamic symmetry handling statistics:
2.53/2.66 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
2.53/2.66 c orbital reduction: no components
2.53/2.66 c lexicographic reduction: no permutations
2.53/2.66 c handled 4 out of 4 symmetry components
2.53/2.67 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
2.53/2.67 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
2.53/2.67 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
2.53/2.67 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
2.53/2.67 c 1144 constraints of type <knapsack>
2.53/2.67 c 16027 constraints of type <setppc>
2.53/2.67 c 28 constraints of type <linear>
2.53/2.67 c 10220 constraints of type <logicor>
2.53/2.67 c transformed objective value is always integral (scale: 1)
2.53/2.67 c Presolving Time: 1.25
2.53/2.67 c
11.30/11.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
11.30/11.41 c 10.0s| 1 | 0 | 20864 | - | 219M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
11.30/11.41 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
11.30/11.41 c
11.30/11.41 c SCIP Status : solving was interrupted [time limit reached]
11.30/11.41 c Solving Time (sec) : 10.01
11.30/11.41 c Solving Nodes : 1
11.30/11.41 c Primal Bound : -1.00000000000000e+20 (0 solutions)
11.30/11.41 c Dual Bound : +0.00000000000000e+00
11.30/11.41 c Gap : infinite
11.30/11.41 c SCIP status: 23 (TIMELIMIT)
11.30/11.41 c solveScip: freeing transform (!can_skip_free_transform)
11.30/11.45 c SCIP presolver: sst_unknown
11.30/11.45 c Converting 29620 PB-constraints to clauses...
11.30/11.45 c -- Clauses(.)/Splits(s): ############################estimatedAdderCost: 279
11.30/11.46 c Try to convert by bdds
11.30/11.48 c d: 1
11.30/11.48 c estimatedAdderCost: 279
11.30/11.48 c Try to convert by bdds
11.40/11.51 c d: 1
11.40/11.51 c estimatedAdderCost: 279
11.40/11.51 c Try to convert by bdds
11.40/11.54 c d: 1
11.40/11.54 c estimatedAdderCost: 279
11.40/11.54 c Try to convert by bdds
11.40/11.57 c d: 1
11.40/11.57 c estimatedAdderCost: 279
11.40/11.57 c Try to convert by bdds
11.50/11.60 c d: 1
11.50/11.60 c estimatedAdderCost: 279
11.50/11.60 c Try to convert by bdds
11.50/11.63 c d: 1
11.50/11.63 c estimatedAdderCost: 279
11.50/11.63 c Try to convert by bdds
11.50/11.66 c d: 1
11.50/11.66 c estimatedAdderCost: 279
11.50/11.66 c Try to convert by bdds
11.50/11.68 c d: 1
11.50/11.68 c estimatedAdderCost: 279
11.50/11.68 c Try to convert by bdds
11.60/11.71 c d: 1
11.60/11.71 c estimatedAdderCost: 279
11.60/11.71 c Try to convert by bdds
11.60/11.74 c d: 1
11.60/11.74 c estimatedAdderCost: 279
11.60/11.74 c Try to convert by bdds
11.60/11.77 c d: 1
11.60/11.77 c estimatedAdderCost: 279
11.60/11.77 c Try to convert by bdds
11.60/11.79 c d: 1
11.60/11.79 c estimatedAdderCost: 279
11.60/11.79 c Try to convert by bdds
11.70/11.81 c d: 1
11.70/11.81 c estimatedAdderCost: 279
11.70/11.81 c Try to convert by bdds
11.70/11.83 c d: 1
11.70/11.83 c estimatedAdderCost: 279
11.70/11.83 c Try to convert by bdds
11.70/11.84 c d: 1
11.70/11.84 c estimatedAdderCost: 279
11.70/11.84 c Try to convert by bdds
11.70/11.87 c d: 1
11.70/11.87 c estimatedAdderCost: 279
11.70/11.87 c Try to convert by bdds
11.80/11.90 c d: 1
11.80/11.90 c estimatedAdderCost: 279
11.80/11.90 c Try to convert by bdds
11.80/11.93 c d: 1
11.80/11.93 c estimatedAdderCost: 279
11.80/11.93 c Try to convert by bdds
11.80/11.96 c d: 1
11.80/11.96 c estimatedAdderCost: 279
11.80/11.96 c Try to convert by bdds
11.80/11.99 c d: 1
11.80/11.99 c estimatedAdderCost: 279
11.80/11.99 c Try to convert by bdds
11.91/12.02 c d: 1
11.91/12.02 c estimatedAdderCost: 279
11.91/12.02 c Try to convert by bdds
11.91/12.04 c d: 1
11.91/12.04 c estimatedAdderCost: 279
11.91/12.04 c Try to convert by bdds
11.91/12.06 c d: 1
11.91/12.06 c estimatedAdderCost: 279
11.91/12.06 c Try to convert by bdds
11.91/12.08 c d: 1
11.91/12.08 c estimatedAdderCost: 279
11.91/12.08 c Try to convert by bdds
11.91/12.09 c d: 1
11.91/12.09 c estimatedAdderCost: 279
11.91/12.09 c Try to convert by bdds
12.01/12.11 c d: 1
12.01/12.11 c estimatedAdderCost: 279
12.01/12.11 c Try to convert by bdds
12.01/12.13 c d: 1
12.01/12.13 c estimatedAdderCost: 279
12.01/12.13 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.15 c d: 1
12.01/12.15 c estimatedAdderCost: 10
12.01/12.15 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.16 c d: 1
12.01/12.16 c estimatedAdderCost: 10
12.01/12.16 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.17 c d: 1
12.01/12.17 c estimatedAdderCost: 10
12.01/12.17 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c estimatedAdderCost: 10
12.01/12.18 c Try to convert by bdds
12.01/12.18 c d: 1
12.01/12.18 c
12.20/12.34 c pb_solver_status: sst_unknown
12.20/12.34 c total stages of optimization mode: 1
12.20/12.34 c Use UB found in presolve
12.20/12.34 c LB updated by evalGoalLB to 0
12.20/12.34 c minimizationMode: cmm_First_solve
12.20/12.34 c goal coeffs: 2 2 2 2 2 2 2 2 2 2 2 2 2 5 10 10 10 10 10 10
12.20/12.34 c assumptions:
12.20/12.34 c invoking solver with time budget: 5.000000
17.28/17.40 c sat_solver_result: sst_unknown
17.28/17.40 c SAT solver timed out; proceeding to cooperative SCIP call
17.28/17.40 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 211
17.28/17.40 c scip solving with time budget: 7.000000
17.28/17.40 c solveScip
17.28/17.40 c initScipForCoop
17.28/17.40 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
17.28/17.42 c presolving:
17.28/17.45 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
17.28/17.45 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
17.28/17.47 c (0.1s) running MILP presolver
17.28/17.49 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
17.38/17.50 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
17.38/17.55 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
17.38/17.58 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
18.37/18.53 c (1.1s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
18.37/18.53 c (1.1s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
18.37/18.53 c (1.1s) probing aborted: 1000/1000 successive useless probings
18.37/18.57 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
18.47/18.63 c (1.2s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
18.47/18.64 c dynamic symmetry handling statistics:
18.47/18.64 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
18.47/18.64 c orbital reduction: no components
18.47/18.64 c lexicographic reduction: no permutations
18.47/18.64 c handled 4 out of 4 symmetry components
18.47/18.65 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
18.47/18.65 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
18.47/18.65 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
18.47/18.65 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
18.47/18.65 c 1144 constraints of type <knapsack>
18.47/18.65 c 16027 constraints of type <setppc>
18.47/18.65 c 28 constraints of type <linear>
18.47/18.65 c 10220 constraints of type <logicor>
18.47/18.65 c transformed objective value is always integral (scale: 1)
18.47/18.65 c Presolving Time: 1.23
18.47/18.65 c
24.25/24.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
24.25/24.41 c 7.0s| 1 | 0 | 17288 | - | 219M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
24.25/24.41 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
24.25/24.41 c
24.25/24.41 c SCIP Status : solving was interrupted [time limit reached]
24.25/24.41 c Solving Time (sec) : 7.01
24.25/24.41 c Solving Nodes : 1
24.25/24.41 c Primal Bound : -1.00000000000000e+20 (0 solutions)
24.25/24.41 c Dual Bound : +0.00000000000000e+00
24.25/24.41 c Gap : infinite
24.25/24.41 c SCIP status: 23 (TIMELIMIT)
24.25/24.41 c pb_solver_status: sst_unknown
24.25/24.41 c LB_goalvalue: 0
24.25/24.41 c UB_goalvalue: 211
24.25/24.41 c Both SAT and SCIP timed out; boosting budgets to sat=10.000000 scip=14.000000
24.25/24.41 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
24.25/24.41 c SCIP returned: sst_unknown
24.25/24.41 c SCIP primal LB: -oo, dual UB: 211
24.25/24.41 c assumptions:
24.25/24.41 c invoking solver with time budget: 10.000000
34.32/34.56 c sat_solver_result: sst_unknown
34.32/34.56 c SAT solver timed out; proceeding to cooperative SCIP call
34.32/34.56 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 211
34.32/34.56 c scip solving with time budget: 14.000000
34.32/34.56 c solveScip
34.32/34.56 c initScipForCoop
34.32/34.56 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
34.32/34.56 c SCIPfreeTransform due to timeout and having shadow nodes
34.32/34.56 c forcing SCIPfreeTransform before solve
34.32/34.59 c Running SCIP presolve for solve-time propagation (rounds=3)
34.42/34.62 c presolving:
34.42/34.66 c (0.1s) running MILP presolver
34.42/34.67 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
34.42/34.69 c (round 1, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16520 clqs, 0 implints
34.52/34.73 c (round 2, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 29564 upgd conss, 0 impls, 16520 clqs, 0 implints
35.53/35.72 c (1.1s) probing: 1000/9632 (10.4%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
35.53/35.72 c (1.1s) probing: 1001/9632 (10.4%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
35.53/35.72 c (1.1s) probing aborted: 1000/1000 successive useless probings
35.53/35.78 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
35.53/35.78 c 0 deleted vars, 896 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
35.53/35.78 c 0 implications, 21256 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
35.53/35.78 c presolved problem has 9632 variables (9632 bin, 0 int, 0 cont) and 28724 constraints
35.53/35.78 c 1144 constraints of type <knapsack>
35.53/35.78 c 16520 constraints of type <setppc>
35.53/35.78 c 28 constraints of type <linear>
35.53/35.78 c 11032 constraints of type <logicor>
35.53/35.78 c transformed objective value is always integral (scale: 1)
35.53/35.78 c Presolving Time: 1.16
35.63/35.82 c presolving:
35.63/35.85 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
35.63/35.85 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
35.63/35.87 c (0.1s) running MILP presolver
35.63/35.89 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
35.73/35.90 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
35.73/35.95 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
35.73/35.98 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
36.73/36.96 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
36.73/36.96 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
36.73/36.96 c (1.2s) probing aborted: 1000/1000 successive useless probings
36.73/37.00 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
36.84/37.06 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
36.84/37.07 c dynamic symmetry handling statistics:
36.84/37.07 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
36.84/37.07 c orbital reduction: no components
36.84/37.07 c lexicographic reduction: no permutations
36.84/37.07 c handled 4 out of 4 symmetry components
36.84/37.08 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
36.84/37.08 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
36.84/37.08 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
36.84/37.08 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
36.84/37.08 c 1144 constraints of type <knapsack>
36.84/37.08 c 16027 constraints of type <setppc>
36.84/37.08 c 28 constraints of type <linear>
36.84/37.08 c 10220 constraints of type <logicor>
36.84/37.08 c transformed objective value is always integral (scale: 1)
36.84/37.08 c Presolving Time: 1.26
36.84/37.08 c
49.59/49.81 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
49.59/49.81 c 14.0s| 1 | 0 | 24360 | - | 220M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
49.59/49.81 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
49.59/49.81 c
49.59/49.81 c SCIP Status : solving was interrupted [time limit reached]
49.59/49.81 c Solving Time (sec) : 14.01
49.59/49.81 c Solving Nodes : 1
49.59/49.81 c Primal Bound : -1.00000000000000e+20 (0 solutions)
49.59/49.81 c Dual Bound : +0.00000000000000e+00
49.59/49.81 c Gap : infinite
49.59/49.81 c SCIP status: 23 (TIMELIMIT)
49.59/49.81 c solveScip: freeing transform (!can_skip_free_transform)
49.59/49.84 c pb_solver_status: sst_unknown
49.59/49.84 c LB_goalvalue: 0
49.59/49.84 c UB_goalvalue: 211
49.59/49.84 c Both SAT and SCIP timed out; boosting budgets to sat=20.000000 scip=28.000000
49.59/49.84 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
49.59/49.84 c SCIP returned: sst_unknown
49.59/49.84 c SCIP primal LB: -oo, dual UB: 211
49.59/49.84 c assumptions:
49.59/49.84 c invoking solver with time budget: 20.000000
69.53/69.89 c sat_solver_result: sst_unknown
69.53/69.89 c SAT solver timed out; proceeding to cooperative SCIP call
69.53/69.89 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 211
69.53/69.89 c scip solving with time budget: 28.000000
69.53/69.89 c solveScip
69.53/69.89 c initScipForCoop
69.53/69.89 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
69.63/69.92 c presolving:
69.63/69.95 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
69.63/69.95 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
69.63/69.97 c (0.1s) running MILP presolver
69.63/69.99 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
69.63/70.00 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
69.74/70.05 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
69.74/70.08 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
70.74/71.06 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
70.74/71.06 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
70.74/71.06 c (1.2s) probing aborted: 1000/1000 successive useless probings
70.74/71.10 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
70.84/71.16 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
70.84/71.17 c dynamic symmetry handling statistics:
70.84/71.17 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
70.84/71.17 c orbital reduction: no components
70.84/71.17 c lexicographic reduction: no permutations
70.84/71.17 c handled 4 out of 4 symmetry components
70.84/71.18 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
70.84/71.18 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
70.84/71.18 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
70.84/71.18 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
70.84/71.18 c 1144 constraints of type <knapsack>
70.84/71.18 c 16027 constraints of type <setppc>
70.84/71.18 c 28 constraints of type <linear>
70.84/71.18 c 10220 constraints of type <logicor>
70.84/71.18 c transformed objective value is always integral (scale: 1)
70.84/71.18 c Presolving Time: 1.26
70.84/71.18 c
97.54/97.90 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
97.54/97.90 c 28.0s| 1 | 0 | 35346 | - | 220M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 | 0.000000e+00 | -- | Inf | unknown
97.54/97.90 c (node 1) LP solver hit time limit in LP 1 -- using pseudo solution instead
97.54/97.90 c
97.54/97.90 c SCIP Status : solving was interrupted [time limit reached]
97.54/97.90 c Solving Time (sec) : 28.01
97.54/97.90 c Solving Nodes : 1
97.54/97.90 c Primal Bound : -1.00000000000000e+20 (0 solutions)
97.54/97.90 c Dual Bound : +0.00000000000000e+00
97.54/97.90 c Gap : infinite
97.54/97.90 c SCIP status: 23 (TIMELIMIT)
97.54/97.90 c pb_solver_status: sst_unknown
97.54/97.90 c LB_goalvalue: 0
97.54/97.90 c UB_goalvalue: 211
97.54/97.90 c Both SAT and SCIP timed out; boosting budgets to sat=40.000000 scip=56.000000
97.54/97.90 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
97.54/97.90 c SCIP returned: sst_unknown
97.54/97.90 c SCIP primal LB: -oo, dual UB: 211
97.54/97.90 c assumptions:
97.54/97.90 c invoking solver with time budget: 40.000000
137.53/138.10 c sat_solver_result: sst_unknown
137.53/138.10 c SAT solver timed out; proceeding to cooperative SCIP call
137.53/138.10 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 211
137.53/138.10 c scip solving with time budget: 56.000000
137.53/138.10 c solveScip
137.53/138.10 c initScipForCoop
137.53/138.10 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
137.53/138.10 c SCIPfreeTransform due to timeout and having shadow nodes
137.53/138.10 c forcing SCIPfreeTransform before solve
137.64/138.13 c Running SCIP presolve for solve-time propagation (rounds=3)
137.64/138.15 c presolving:
137.64/138.19 c (0.1s) running MILP presolver
137.73/138.21 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
137.73/138.22 c (round 1, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16520 clqs, 0 implints
137.73/138.27 c (round 2, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 29564 upgd conss, 0 impls, 16520 clqs, 0 implints
138.72/139.29 c (1.2s) probing: 1000/9632 (10.4%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
138.72/139.29 c (1.2s) probing: 1001/9632 (10.4%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
138.72/139.29 c (1.2s) probing aborted: 1000/1000 successive useless probings
138.82/139.35 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
138.82/139.35 c 0 deleted vars, 896 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
138.82/139.35 c 0 implications, 21256 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
138.82/139.35 c presolved problem has 9632 variables (9632 bin, 0 int, 0 cont) and 28724 constraints
138.82/139.35 c 1144 constraints of type <knapsack>
138.82/139.35 c 16520 constraints of type <setppc>
138.82/139.35 c 28 constraints of type <linear>
138.82/139.35 c 11032 constraints of type <logicor>
138.82/139.35 c transformed objective value is always integral (scale: 1)
138.82/139.35 c Presolving Time: 1.20
138.82/139.39 c presolving:
138.92/139.42 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
138.92/139.42 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
138.92/139.44 c (0.1s) running MILP presolver
138.92/139.46 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
138.92/139.47 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
139.02/139.52 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
139.02/139.55 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
140.02/140.55 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
140.02/140.55 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
140.02/140.55 c (1.2s) probing aborted: 1000/1000 successive useless probings
140.02/140.59 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
140.12/140.65 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
140.12/140.65 c dynamic symmetry handling statistics:
140.12/140.65 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
140.12/140.65 c orbital reduction: no components
140.12/140.65 c lexicographic reduction: no permutations
140.12/140.65 c handled 4 out of 4 symmetry components
140.12/140.66 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
140.12/140.66 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
140.12/140.66 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
140.12/140.66 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
140.12/140.66 c 1144 constraints of type <knapsack>
140.12/140.66 c 16027 constraints of type <setppc>
140.12/140.66 c 28 constraints of type <linear>
140.12/140.66 c 10220 constraints of type <logicor>
140.12/140.66 c transformed objective value is always integral (scale: 1)
140.12/140.66 c Presolving Time: 1.27
140.12/140.66 c
168.33/168.98 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
168.33/168.98 c 29.6s| 1 | 0 | 36289 | - | 220M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
187.17/187.80 c 48.4s| 1 | 0 | 73399 | - | 231M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
192.56/193.23 c 53.9s| 1 | 0 | 83794 | - | 234M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
194.65/195.37 c 56.0s| 1 | 0 | 88628 | - | 237M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.500000e+01 | -- | Inf | unknown
194.65/195.37 c (node 1) LP solver hit time limit in LP 6 -- using pseudo solution instead
194.65/195.37 c
194.65/195.37 c SCIP Status : solving was interrupted [time limit reached]
194.65/195.37 c Solving Time (sec) : 56.00
194.65/195.37 c Solving Nodes : 1
194.65/195.37 c Primal Bound : -1.00000000000000e+20 (0 solutions)
194.65/195.37 c Dual Bound : -8.50000000000000e+01
194.65/195.37 c Gap : infinite
194.65/195.37 c SCIP status: 23 (TIMELIMIT)
194.65/195.37 c solveScip: freeing transform (!can_skip_free_transform)
194.75/195.41 c SCIP LP bound tightened UB: 211 -> 126
194.75/195.41 c pb_solver_status: sst_unknown
194.75/195.41 c LB_goalvalue: 0
194.75/195.41 c UB_goalvalue: 126
194.75/195.41 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
194.75/195.41 c SCIP returned: sst_unknown
194.75/195.41 c SCIP primal LB: -oo, dual UB: 126
194.75/195.41 c assumptions:
194.75/195.41 c invoking solver with time budget: 40.000000
234.73/235.53 c sat_solver_result: sst_unknown
234.73/235.53 c SAT solver timed out; proceeding to cooperative SCIP call
234.73/235.53 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 126
234.73/235.53 c scip solving with time budget: 78.400000
234.73/235.53 c solveScip
234.73/235.53 c initScipForCoop
234.73/235.53 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
234.73/235.55 c presolving:
234.73/235.58 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
234.73/235.58 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
234.83/235.60 c (0.1s) running MILP presolver
234.83/235.62 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
234.83/235.63 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
234.83/235.68 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
234.93/235.72 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
235.93/236.72 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
235.93/236.72 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
235.93/236.72 c (1.2s) probing aborted: 1000/1000 successive useless probings
235.93/236.76 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
236.02/236.82 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
236.02/236.83 c dynamic symmetry handling statistics:
236.02/236.83 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
236.02/236.83 c orbital reduction: no components
236.02/236.83 c lexicographic reduction: no permutations
236.02/236.83 c handled 4 out of 4 symmetry components
236.02/236.84 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
236.02/236.84 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
236.02/236.84 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
236.02/236.84 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
236.02/236.84 c 1144 constraints of type <knapsack>
236.02/236.84 c 16027 constraints of type <setppc>
236.02/236.84 c 28 constraints of type <linear>
236.02/236.84 c 10220 constraints of type <logicor>
236.02/236.84 c transformed objective value is always integral (scale: 1)
236.02/236.84 c Presolving Time: 1.29
236.02/236.84 c
264.25/265.16 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
264.25/265.16 c 29.6s| 1 | 0 | 36289 | - | 235M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
283.09/284.06 c 48.5s| 1 | 0 | 73399 | - | 236M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
288.56/289.50 c 54.0s| 1 | 0 | 83794 | - | 236M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
300.73/301.71 c 66.2s| 1 | 0 | 99198 | - | 236M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.904073e+01 | -- | Inf | unknown
304.31/305.36 c 69.8s| 1 | 0 |105943 | - | 240M | 0 |9561 | 27k| 28k| 984 | 4 | 82 | 0 |-8.957260e+01 | -- | Inf | unknown
312.89/313.93 c 78.4s| 1 | 0 |118195 | - | 244M | 0 |9561 | 27k| 28k|1240 | 5 | 83 | 0 |-8.957260e+01 | -- | Inf | unknown
312.89/313.93 c (node 1) LP solver hit time limit in LP 8 -- using pseudo solution instead
312.89/313.93 c
312.89/313.93 c SCIP Status : solving was interrupted [time limit reached]
312.89/313.93 c Solving Time (sec) : 78.40
312.89/313.93 c Solving Nodes : 1
312.89/313.93 c Primal Bound : -1.00000000000000e+20 (0 solutions)
312.89/313.93 c Dual Bound : -8.95725971370143e+01
312.89/313.93 c Gap : infinite
312.89/313.93 c SCIP status: 23 (TIMELIMIT)
312.89/313.93 c SCIP LP bound tightened UB: 126 -> 122
312.89/313.93 c pb_solver_status: sst_unknown
312.89/313.93 c LB_goalvalue: 0
312.89/313.93 c UB_goalvalue: 122
312.89/313.93 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
312.89/313.93 c SCIP returned: sst_unknown
312.89/313.93 c SCIP primal LB: -oo, dual UB: 122
312.89/313.93 c assumptions:
312.89/313.93 c invoking solver with time budget: 40.000000
352.99/354.13 c sat_solver_result: sst_unknown
352.99/354.13 c SAT solver timed out; proceeding to cooperative SCIP call
352.99/354.13 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 122
352.99/354.13 c scip solving with time budget: 109.760000
352.99/354.13 c solveScip
352.99/354.13 c initScipForCoop
352.99/354.13 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
352.99/354.13 c SCIPfreeTransform due to timeout and having shadow nodes
352.99/354.13 c forcing SCIPfreeTransform before solve
352.99/354.17 c Running SCIP presolve for solve-time propagation (rounds=3)
352.99/354.19 c presolving:
353.08/354.24 c (0.1s) running MILP presolver
353.08/354.25 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
353.08/354.27 c (round 1, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16520 clqs, 0 implints
353.17/354.31 c (round 2, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 29564 upgd conss, 0 impls, 16520 clqs, 0 implints
354.17/355.36 c (1.2s) probing: 1000/9632 (10.4%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
354.17/355.37 c (1.2s) probing: 1001/9632 (10.4%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
354.17/355.37 c (1.2s) probing aborted: 1000/1000 successive useless probings
354.27/355.42 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
354.27/355.42 c 0 deleted vars, 896 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
354.27/355.42 c 0 implications, 21256 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
354.27/355.42 c presolved problem has 9632 variables (9632 bin, 0 int, 0 cont) and 28724 constraints
354.27/355.42 c 1144 constraints of type <knapsack>
354.27/355.42 c 16520 constraints of type <setppc>
354.27/355.42 c 28 constraints of type <linear>
354.27/355.42 c 11032 constraints of type <logicor>
354.27/355.42 c transformed objective value is always integral (scale: 1)
354.27/355.42 c Presolving Time: 1.23
354.27/355.47 c presolving:
354.37/355.50 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
354.37/355.50 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
354.37/355.52 c (0.1s) running MILP presolver
354.37/355.54 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
354.37/355.55 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
354.47/355.60 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
354.47/355.63 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
355.47/356.65 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
355.47/356.65 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
355.47/356.65 c (1.2s) probing aborted: 1000/1000 successive useless probings
355.47/356.69 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
355.57/356.75 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
355.57/356.76 c dynamic symmetry handling statistics:
355.57/356.76 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
355.57/356.76 c orbital reduction: no components
355.57/356.76 c lexicographic reduction: no permutations
355.57/356.76 c handled 4 out of 4 symmetry components
355.57/356.77 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
355.57/356.77 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
355.57/356.77 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
355.57/356.77 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
355.57/356.77 c 1144 constraints of type <knapsack>
355.57/356.77 c 16027 constraints of type <setppc>
355.57/356.77 c 28 constraints of type <linear>
355.57/356.77 c 10220 constraints of type <logicor>
355.57/356.77 c transformed objective value is always integral (scale: 1)
355.57/356.77 c Presolving Time: 1.30
355.57/356.77 c
383.80/385.05 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
383.80/385.05 c 29.6s| 1 | 0 | 36289 | - | 243M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
402.63/403.95 c 48.5s| 1 | 0 | 73399 | - | 244M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
408.01/409.37 c 53.9s| 1 | 0 | 83794 | - | 244M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
420.27/421.69 c 66.2s| 1 | 0 | 99198 | - | 244M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.904073e+01 | -- | Inf | unknown
423.96/425.34 c 69.9s| 1 | 0 |105943 | - | 244M | 0 |9561 | 27k| 28k| 984 | 4 | 82 | 0 |-8.957260e+01 | -- | Inf | unknown
433.65/435.10 c 79.7s| 1 | 0 |118683 | - | 245M | 0 |9561 | 27k| 28k|1240 | 5 | 83 | 0 |-1.010000e+02 | -- | Inf | unknown
436.52/437.98 c 82.5s| 1 | 0 |123624 | - | 248M | 0 |9561 | 27k| 28k|1446 | 6 | 84 | 0 |-1.010000e+02 | -- | Inf | unknown
440.31/441.75 c 86.3s| 1 | 0 |129864 | - | 252M | 0 |9561 | 27k| 29k|1623 | 7 | 86 | 0 |-1.010000e+02 | -- | Inf | unknown
444.00/445.43 c 90.0s| 1 | 0 |135620 | - | 255M | 0 |9561 | 27k| 29k|1781 | 8 | 88 | 0 |-1.010000e+02 | -- | Inf | unknown
449.28/450.74 c 95.3s| 1 | 0 |143565 | - | 258M | 0 |9561 | 27k| 29k|1952 | 9 | 90 | 0 |-1.010000e+02 | -- | Inf | unknown
455.17/456.60 c 101s| 1 | 0 |152132 | - | 261M | 0 |9561 | 27k| 29k|2116 | 10 | 91 | 0 |-1.010000e+02 | -- | Inf | unknown
458.76/460.22 c 105s| 1 | 0 |157899 | - | 266M | 0 |9561 | 27k| 29k|2241 | 11 | 93 | 0 |-1.110000e+02 | -- | Inf | unknown
461.45/462.96 c 108s| 1 | 0 |162295 | - | 268M | 0 |9561 | 27k| 29k|2369 | 12 | 95 | 0 |-1.110000e+02 | -- | Inf | unknown
463.74/465.21 c 110s| 1 | 0 |165738 | - | 271M | 0 |9561 | 27k| 29k|2477 | 13 | 96 | 0 |-1.110000e+02 | -- | Inf | unknown
463.74/465.21 c (node 1) LP solver hit time limit in LP 16 -- using pseudo solution instead
463.74/465.21 c
463.74/465.21 c SCIP Status : solving was interrupted [time limit reached]
463.74/465.21 c Solving Time (sec) : 109.76
463.74/465.21 c Solving Nodes : 1
463.74/465.21 c Primal Bound : -1.00000000000000e+20 (0 solutions)
463.74/465.21 c Dual Bound : -1.11000000000000e+02
463.74/465.21 c Gap : infinite
463.74/465.21 c SCIP status: 23 (TIMELIMIT)
463.74/465.21 c solveScip: freeing transform (!can_skip_free_transform)
463.74/465.25 c SCIP LP bound tightened UB: 122 -> 100
463.74/465.25 c pb_solver_status: sst_unknown
463.74/465.25 c LB_goalvalue: 0
463.74/465.25 c UB_goalvalue: 100
463.74/465.25 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
463.74/465.25 c SCIP returned: sst_unknown
463.74/465.25 c SCIP primal LB: -oo, dual UB: 100
463.74/465.25 c assumptions:
463.74/465.25 c invoking solver with time budget: 40.000000
503.72/505.37 c sat_solver_result: sst_unknown
503.72/505.37 c SAT solver timed out; proceeding to cooperative SCIP call
503.72/505.37 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 100
503.72/505.37 c scip solving with time budget: 153.664000
503.72/505.37 c solveScip
503.72/505.37 c initScipForCoop
503.72/505.37 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
503.72/505.39 c presolving:
503.82/505.42 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
503.82/505.42 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
503.82/505.44 c (0.1s) running MILP presolver
503.82/505.46 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
503.82/505.47 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
503.92/505.52 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
503.92/505.55 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
504.92/506.58 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
504.92/506.58 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
504.92/506.58 c (1.2s) probing aborted: 1000/1000 successive useless probings
505.02/506.61 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
505.02/506.68 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
505.02/506.68 c dynamic symmetry handling statistics:
505.02/506.68 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
505.02/506.68 c orbital reduction: no components
505.02/506.68 c lexicographic reduction: no permutations
505.02/506.68 c handled 4 out of 4 symmetry components
505.02/506.69 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
505.02/506.69 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
505.02/506.69 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
505.02/506.69 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
505.02/506.69 c 1144 constraints of type <knapsack>
505.02/506.69 c 16027 constraints of type <setppc>
505.02/506.69 c 28 constraints of type <linear>
505.02/506.69 c 10220 constraints of type <logicor>
505.02/506.69 c transformed objective value is always integral (scale: 1)
505.02/506.69 c Presolving Time: 1.30
505.02/506.69 c
533.24/534.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
533.24/534.99 c 29.6s| 1 | 0 | 36289 | - | 269M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
552.08/553.89 c 48.5s| 1 | 0 | 73399 | - | 270M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
557.57/559.33 c 54.0s| 1 | 0 | 83794 | - | 270M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
569.73/571.53 c 66.2s| 1 | 0 | 99198 | - | 270M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.904073e+01 | -- | Inf | unknown
573.42/575.20 c 69.8s| 1 | 0 |105943 | - | 270M | 0 |9561 | 27k| 28k| 984 | 4 | 82 | 0 |-8.957260e+01 | -- | Inf | unknown
582.99/584.89 c 79.5s| 1 | 0 |118683 | - | 271M | 0 |9561 | 27k| 28k|1240 | 5 | 83 | 0 |-1.010000e+02 | -- | Inf | unknown
585.88/587.78 c 82.4s| 1 | 0 |123624 | - | 271M | 0 |9561 | 27k| 28k|1446 | 6 | 84 | 0 |-1.010000e+02 | -- | Inf | unknown
589.67/591.54 c 86.2s| 1 | 0 |129864 | - | 271M | 0 |9561 | 27k| 29k|1623 | 7 | 86 | 0 |-1.010000e+02 | -- | Inf | unknown
593.36/595.22 c 89.9s| 1 | 0 |135620 | - | 271M | 0 |9561 | 27k| 29k|1781 | 8 | 88 | 0 |-1.010000e+02 | -- | Inf | unknown
598.64/600.52 c 95.2s| 1 | 0 |143565 | - | 271M | 0 |9561 | 27k| 29k|1952 | 9 | 90 | 0 |-1.010000e+02 | -- | Inf | unknown
604.42/606.39 c 101s| 1 | 0 |152132 | - | 271M | 0 |9561 | 27k| 29k|2116 | 10 | 91 | 0 |-1.010000e+02 | -- | Inf | unknown
608.12/610.04 c 105s| 1 | 0 |157899 | - | 271M | 0 |9561 | 27k| 29k|2241 | 11 | 93 | 0 |-1.110000e+02 | -- | Inf | unknown
610.80/612.79 c 107s| 1 | 0 |162295 | - | 271M | 0 |9561 | 27k| 29k|2369 | 12 | 95 | 0 |-1.110000e+02 | -- | Inf | unknown
613.79/615.79 c 110s| 1 | 0 |167072 | - | 271M | 0 |9561 | 27k| 29k|2477 | 13 | 96 | 0 |-1.110000e+02 | -- | Inf | unknown
616.39/618.39 c 113s| 1 | 0 |171230 | - | 274M | 0 |9561 | 27k| 30k|2586 | 14 | 97 | 0 |-1.110000e+02 | -- | Inf | unknown
619.68/621.69 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
619.68/621.69 c 116s| 1 | 0 |176765 | - | 277M | 0 |9561 | 27k| 30k|2702 | 15 | 98 | 0 |-1.110000e+02 | -- | Inf | unknown
621.97/623.90 c 119s| 1 | 0 |180338 | - | 280M | 0 |9561 | 27k| 30k|2812 | 16 | 100 | 0 |-1.110000e+02 | -- | Inf | unknown
624.96/626.95 c 122s| 1 | 0 |185341 | - | 283M | 0 |9561 | 27k| 30k|2924 | 17 | 101 | 0 |-1.110000e+02 | -- | Inf | unknown
627.75/629.74 c 124s| 1 | 0 |189740 | - | 287M | 0 |9561 | 27k| 30k|3035 | 18 | 102 | 0 |-1.110000e+02 | -- | Inf | unknown
630.24/632.26 c 127s| 1 | 0 |193814 | - | 290M | 0 |9561 | 27k| 30k|3143 | 19 | 103 | 0 |-1.110000e+02 | -- | Inf | unknown
632.94/634.94 c 130s| 1 | 0 |198166 | - | 293M | 0 |9561 | 27k| 30k|3251 | 20 | 104 | 0 |-1.120000e+02 | -- | Inf | unknown
633.53/635.56 c 130s| 1 | 0 |198983 | - | 293M | 0 |9561 | 27k| 30k|3266 | 21 | 105 | 0 |-1.120000e+02 | -- | Inf | unknown
634.15/636.15 c 131s| 1 | 0 |199642 | - | 293M | 0 |9561 | 27k| 30k|3274 | 22 | 107 | 0 |-1.120000e+02 | -- | Inf | unknown
634.83/636.82 c 131s| 1 | 0 |200399 | - | 293M | 0 |9561 | 27k| 30k|3280 | 23 | 109 | 0 |-1.120000e+02 | -- | Inf | unknown
635.15/637.17 c 132s| 1 | 0 |200660 | - | 293M | 0 |9561 | 27k| 30k|3287 | 24 | 111 | 0 |-1.120000e+02 | -- | Inf | unknown
635.83/637.82 c 132s| 1 | 0 |201384 | - | 293M | 0 |9561 | 27k| 30k|3293 | 25 | 112 | 0 |-1.120000e+02 | -- | Inf | unknown
636.53/638.50 c 133s| 1 | 0 |202222 | - | 293M | 0 |9561 | 27k| 30k|3301 | 26 | 113 | 0 |-1.120000e+02 | -- | Inf | unknown
636.92/639.00 c 134s| 1 | 0 |202663 | - | 293M | 0 |9561 | 27k| 29k|3307 | 27 | 115 | 0 |-1.120000e+02 | -- | Inf | unknown
637.22/639.29 c 134s| 1 | 0 |202847 | - | 293M | 0 |9561 | 27k| 29k|3312 | 28 | 117 | 0 |-1.120000e+02 | -- | Inf | unknown
637.62/639.68 c 134s| 1 | 0 |203165 | - | 293M | 0 |9561 | 27k| 29k|3322 | 29 | 118 | 0 |-1.120000e+02 | -- | Inf | unknown
638.22/640.25 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
638.22/640.25 c 135s| 1 | 0 |203742 | - | 293M | 0 |9561 | 27k| 29k|3327 | 30 | 120 | 0 |-1.120000e+02 | -- | Inf | unknown
656.98/659.04 c 154s| 1 | 2 |225777 | - | 293M | 0 |9561 | 27k| 29k|3327 | 30 | 125 | 0 |-1.120000e+02 | -- | Inf | unknown
656.98/659.04 c
656.98/659.04 c SCIP Status : solving was interrupted [time limit reached]
656.98/659.04 c Solving Time (sec) : 153.67
656.98/659.04 c Solving Nodes : 1
656.98/659.04 c Primal Bound : -1.00000000000000e+20 (0 solutions)
656.98/659.04 c Dual Bound : -1.12000000000000e+02
656.98/659.04 c Gap : infinite
656.98/659.04 c SCIP status: 23 (TIMELIMIT)
656.98/659.04 c SCIP LP bound tightened UB: 100 -> 99
656.98/659.04 c pb_solver_status: sst_unknown
656.98/659.04 c LB_goalvalue: 0
656.98/659.04 c UB_goalvalue: 99
656.98/659.04 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
656.98/659.04 c SCIP returned: sst_unknown
656.98/659.04 c SCIP primal LB: -oo, dual UB: 99
656.98/659.04 c assumptions:
656.98/659.04 c invoking solver with time budget: 40.000000
696.96/699.16 c sat_solver_result: sst_unknown
696.96/699.16 c SAT solver timed out; proceeding to cooperative SCIP call
696.96/699.16 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 99
696.96/699.16 c scip solving with time budget: 215.129600
696.96/699.16 c solveScip
696.96/699.16 c initScipForCoop
696.96/699.16 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
696.96/699.16 c SCIPfreeTransform due to timeout and having shadow nodes
696.96/699.16 c forcing SCIPfreeTransform before solve
697.04/699.20 c Running SCIP presolve for solve-time propagation (rounds=3)
697.04/699.22 c presolving:
697.04/699.27 c (0.1s) running MILP presolver
697.04/699.28 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
697.04/699.29 c (round 1, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16520 clqs, 0 implints
697.14/699.34 c (round 2, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 29564 upgd conss, 0 impls, 16520 clqs, 0 implints
698.14/700.39 c (1.2s) probing: 1000/9632 (10.4%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
698.14/700.39 c (1.2s) probing: 1001/9632 (10.4%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
698.14/700.39 c (1.2s) probing aborted: 1000/1000 successive useless probings
698.24/700.45 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
698.24/700.45 c 0 deleted vars, 896 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
698.24/700.45 c 0 implications, 21256 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
698.24/700.45 c presolved problem has 9632 variables (9632 bin, 0 int, 0 cont) and 28724 constraints
698.24/700.45 c 1144 constraints of type <knapsack>
698.24/700.45 c 16520 constraints of type <setppc>
698.24/700.45 c 28 constraints of type <linear>
698.24/700.45 c 11032 constraints of type <logicor>
698.24/700.45 c transformed objective value is always integral (scale: 1)
698.24/700.45 c Presolving Time: 1.23
698.34/700.50 c presolving:
698.34/700.52 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
698.34/700.53 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
698.34/700.55 c (0.1s) running MILP presolver
698.34/700.56 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
698.34/700.58 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
698.44/700.63 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
698.44/700.66 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
699.44/701.68 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
699.44/701.68 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
699.44/701.68 c (1.2s) probing aborted: 1000/1000 successive useless probings
699.54/701.72 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
699.54/701.78 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
699.54/701.79 c dynamic symmetry handling statistics:
699.54/701.79 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
699.54/701.79 c orbital reduction: no components
699.54/701.79 c lexicographic reduction: no permutations
699.54/701.79 c handled 4 out of 4 symmetry components
699.64/701.80 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
699.64/701.80 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
699.64/701.80 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
699.64/701.80 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
699.64/701.80 c 1144 constraints of type <knapsack>
699.64/701.80 c 16027 constraints of type <setppc>
699.64/701.80 c 28 constraints of type <linear>
699.64/701.80 c 10220 constraints of type <logicor>
699.64/701.80 c transformed objective value is always integral (scale: 1)
699.64/701.80 c Presolving Time: 1.30
699.64/701.80 c
727.76/730.04 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
727.76/730.04 c 29.6s| 1 | 0 | 36289 | - | 291M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
746.59/748.94 c 48.5s| 1 | 0 | 73399 | - | 292M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
751.98/754.32 c 53.8s| 1 | 0 | 83794 | - | 292M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
764.14/766.57 c 66.1s| 1 | 0 | 99198 | - | 292M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.904073e+01 | -- | Inf | unknown
767.83/770.23 c 69.8s| 1 | 0 |105943 | - | 292M | 0 |9561 | 27k| 28k| 984 | 4 | 82 | 0 |-8.957260e+01 | -- | Inf | unknown
777.50/779.91 c 79.4s| 1 | 0 |118683 | - | 293M | 0 |9561 | 27k| 28k|1240 | 5 | 83 | 0 |-1.010000e+02 | -- | Inf | unknown
780.40/782.80 c 82.3s| 1 | 0 |123624 | - | 293M | 0 |9561 | 27k| 28k|1446 | 6 | 84 | 0 |-1.010000e+02 | -- | Inf | unknown
784.18/786.61 c 86.1s| 1 | 0 |129864 | - | 293M | 0 |9561 | 27k| 29k|1623 | 7 | 86 | 0 |-1.010000e+02 | -- | Inf | unknown
787.87/790.34 c 89.9s| 1 | 0 |135620 | - | 293M | 0 |9561 | 27k| 29k|1781 | 8 | 88 | 0 |-1.010000e+02 | -- | Inf | unknown
793.16/795.65 c 95.2s| 1 | 0 |143565 | - | 293M | 0 |9561 | 27k| 29k|1952 | 9 | 90 | 0 |-1.010000e+02 | -- | Inf | unknown
799.04/801.51 c 101s| 1 | 0 |152132 | - | 293M | 0 |9561 | 27k| 29k|2116 | 10 | 91 | 0 |-1.010000e+02 | -- | Inf | unknown
802.64/805.15 c 105s| 1 | 0 |157899 | - | 293M | 0 |9561 | 27k| 29k|2241 | 11 | 93 | 0 |-1.110000e+02 | -- | Inf | unknown
805.42/807.90 c 107s| 1 | 0 |162295 | - | 293M | 0 |9561 | 27k| 29k|2369 | 12 | 95 | 0 |-1.110000e+02 | -- | Inf | unknown
808.31/810.89 c 110s| 1 | 0 |167072 | - | 293M | 0 |9561 | 27k| 29k|2477 | 13 | 96 | 0 |-1.110000e+02 | -- | Inf | unknown
811.01/813.50 c 113s| 1 | 0 |171230 | - | 293M | 0 |9561 | 27k| 30k|2586 | 14 | 97 | 0 |-1.110000e+02 | -- | Inf | unknown
814.30/816.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
814.30/816.83 c 116s| 1 | 0 |176765 | - | 293M | 0 |9561 | 27k| 30k|2702 | 15 | 98 | 0 |-1.110000e+02 | -- | Inf | unknown
816.50/819.08 c 119s| 1 | 0 |180338 | - | 293M | 0 |9561 | 27k| 30k|2812 | 16 | 100 | 0 |-1.110000e+02 | -- | Inf | unknown
819.59/822.13 c 122s| 1 | 0 |185341 | - | 293M | 0 |9561 | 27k| 30k|2924 | 17 | 101 | 0 |-1.110000e+02 | -- | Inf | unknown
822.27/824.89 c 124s| 1 | 0 |189740 | - | 293M | 0 |9561 | 27k| 30k|3035 | 18 | 102 | 0 |-1.110000e+02 | -- | Inf | unknown
824.86/827.44 c 127s| 1 | 0 |193814 | - | 293M | 0 |9561 | 27k| 30k|3143 | 19 | 103 | 0 |-1.110000e+02 | -- | Inf | unknown
827.57/830.12 c 130s| 1 | 0 |198166 | - | 293M | 0 |9561 | 27k| 30k|3251 | 20 | 104 | 0 |-1.120000e+02 | -- | Inf | unknown
828.15/830.74 c 130s| 1 | 0 |198983 | - | 293M | 0 |9561 | 27k| 30k|3266 | 21 | 105 | 0 |-1.120000e+02 | -- | Inf | unknown
828.75/831.34 c 131s| 1 | 0 |199642 | - | 293M | 0 |9561 | 27k| 30k|3274 | 22 | 107 | 0 |-1.120000e+02 | -- | Inf | unknown
829.35/832.01 c 132s| 1 | 0 |200399 | - | 293M | 0 |9561 | 27k| 30k|3280 | 23 | 109 | 0 |-1.120000e+02 | -- | Inf | unknown
829.75/832.36 c 132s| 1 | 0 |200660 | - | 293M | 0 |9561 | 27k| 30k|3287 | 24 | 111 | 0 |-1.120000e+02 | -- | Inf | unknown
830.35/833.01 c 133s| 1 | 0 |201384 | - | 293M | 0 |9561 | 27k| 30k|3293 | 25 | 112 | 0 |-1.120000e+02 | -- | Inf | unknown
831.05/833.69 c 133s| 1 | 0 |202222 | - | 293M | 0 |9561 | 27k| 30k|3301 | 26 | 113 | 0 |-1.120000e+02 | -- | Inf | unknown
831.56/834.19 c 134s| 1 | 0 |202663 | - | 293M | 0 |9561 | 27k| 29k|3307 | 27 | 115 | 0 |-1.120000e+02 | -- | Inf | unknown
831.84/834.48 c 134s| 1 | 0 |202847 | - | 293M | 0 |9561 | 27k| 29k|3312 | 28 | 117 | 0 |-1.120000e+02 | -- | Inf | unknown
832.24/834.87 c 134s| 1 | 0 |203165 | - | 293M | 0 |9561 | 27k| 29k|3322 | 29 | 118 | 0 |-1.120000e+02 | -- | Inf | unknown
832.84/835.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
832.84/835.45 c 135s| 1 | 0 |203742 | - | 293M | 0 |9561 | 27k| 29k|3327 | 30 | 120 | 0 |-1.120000e+02 | -- | Inf | unknown
914.70/917.57 c 217s| 1 | 2 |259645 | - | 294M | 0 |9561 | 27k| 29k|3327 | 30 | 135 | 0 |-1.120000e+02 | -- | Inf | unknown
914.70/917.57 c
914.70/917.57 c SCIP Status : solving was interrupted [time limit reached]
914.70/917.57 c Solving Time (sec) : 217.10
914.70/917.57 c Solving Nodes : 1
914.70/917.57 c Primal Bound : -1.00000000000000e+20 (0 solutions)
914.70/917.57 c Dual Bound : -1.12000000000000e+02
914.70/917.57 c Gap : infinite
914.70/917.57 c SCIP status: 23 (TIMELIMIT)
914.70/917.57 c solveScip: freeing transform (!can_skip_free_transform)
914.79/917.62 c pb_solver_status: sst_unknown
914.79/917.62 c LB_goalvalue: 0
914.79/917.62 c UB_goalvalue: 99
914.79/917.62 c Both SAT and SCIP timed out; boosting budgets to sat=80.000000 scip=430.259200
914.79/917.62 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
914.79/917.62 c SCIP returned: sst_unknown
914.79/917.62 c SCIP primal LB: -oo, dual UB: 99
914.79/917.62 c assumptions:
914.79/917.62 c invoking solver with time budget: 80.000000
994.76/997.86 c sat_solver_result: sst_unknown
994.76/997.86 c SAT solver timed out; proceeding to cooperative SCIP call
994.76/997.86 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 99
994.76/997.86 c scip solving with time budget: 430.259200
994.76/997.86 c solveScip
994.76/997.86 c initScipForCoop
994.76/997.86 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
994.76/997.88 c presolving:
994.86/997.91 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
994.86/997.91 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
994.86/997.93 c (0.1s) running MILP presolver
994.86/997.95 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
994.86/997.97 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
994.97/998.01 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
994.97/998.05 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
995.97/999.06 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
995.97/999.06 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
995.97/999.06 c (1.2s) probing aborted: 1000/1000 successive useless probings
995.97/999.10 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
996.07/999.16 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
996.07/999.17 c dynamic symmetry handling statistics:
996.07/999.17 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
996.07/999.17 c orbital reduction: no components
996.07/999.17 c lexicographic reduction: no permutations
996.07/999.17 c handled 4 out of 4 symmetry components
996.07/999.18 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
996.07/999.18 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
996.07/999.18 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
996.07/999.18 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
996.07/999.18 c 1144 constraints of type <knapsack>
996.07/999.18 c 16027 constraints of type <setppc>
996.07/999.18 c 28 constraints of type <linear>
996.07/999.18 c 10220 constraints of type <logicor>
996.07/999.18 c transformed objective value is always integral (scale: 1)
996.07/999.18 c Presolving Time: 1.30
996.07/999.18 c
1024.27/1027.43 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1024.27/1027.43 c 29.6s| 1 | 0 | 36289 | - | 290M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
1042.93/1046.15 c 48.3s| 1 | 0 | 73399 | - | 291M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
1048.30/1051.57 c 53.7s| 1 | 0 | 83794 | - | 291M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
1060.47/1063.75 c 65.9s| 1 | 0 | 99198 | - | 292M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.904073e+01 | -- | Inf | unknown
1064.06/1067.39 c 69.5s| 1 | 0 |105943 | - | 292M | 0 |9561 | 27k| 28k| 984 | 4 | 82 | 0 |-8.957260e+01 | -- | Inf | unknown
1073.74/1077.06 c 79.2s| 1 | 0 |118683 | - | 293M | 0 |9561 | 27k| 28k|1240 | 5 | 83 | 0 |-1.010000e+02 | -- | Inf | unknown
1076.62/1079.94 c 82.1s| 1 | 0 |123624 | - | 293M | 0 |9561 | 27k| 28k|1446 | 6 | 84 | 0 |-1.010000e+02 | -- | Inf | unknown
1080.31/1083.68 c 85.8s| 1 | 0 |129864 | - | 293M | 0 |9561 | 27k| 29k|1623 | 7 | 86 | 0 |-1.010000e+02 | -- | Inf | unknown
1084.00/1087.36 c 89.5s| 1 | 0 |135620 | - | 293M | 0 |9561 | 27k| 29k|1781 | 8 | 88 | 0 |-1.010000e+02 | -- | Inf | unknown
1089.18/1092.58 c 94.7s| 1 | 0 |143565 | - | 293M | 0 |9561 | 27k| 29k|1952 | 9 | 90 | 0 |-1.010000e+02 | -- | Inf | unknown
1095.07/1098.42 c 101s| 1 | 0 |152132 | - | 293M | 0 |9561 | 27k| 29k|2116 | 10 | 91 | 0 |-1.010000e+02 | -- | Inf | unknown
1098.67/1102.05 c 104s| 1 | 0 |157899 | - | 293M | 0 |9561 | 27k| 29k|2241 | 11 | 93 | 0 |-1.110000e+02 | -- | Inf | unknown
1101.35/1104.78 c 107s| 1 | 0 |162295 | - | 293M | 0 |9561 | 27k| 29k|2369 | 12 | 95 | 0 |-1.110000e+02 | -- | Inf | unknown
1104.34/1107.76 c 110s| 1 | 0 |167072 | - | 293M | 0 |9561 | 27k| 29k|2477 | 13 | 96 | 0 |-1.110000e+02 | -- | Inf | unknown
1106.93/1110.36 c 113s| 1 | 0 |171230 | - | 293M | 0 |9561 | 27k| 30k|2586 | 14 | 97 | 0 |-1.110000e+02 | -- | Inf | unknown
1110.22/1113.67 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1110.22/1113.67 c 116s| 1 | 0 |176765 | - | 293M | 0 |9561 | 27k| 30k|2702 | 15 | 98 | 0 |-1.110000e+02 | -- | Inf | unknown
1112.41/1115.87 c 118s| 1 | 0 |180338 | - | 293M | 0 |9561 | 27k| 30k|2812 | 16 | 100 | 0 |-1.110000e+02 | -- | Inf | unknown
1115.51/1118.90 c 121s| 1 | 0 |185341 | - | 293M | 0 |9561 | 27k| 30k|2924 | 17 | 101 | 0 |-1.110000e+02 | -- | Inf | unknown
1118.20/1121.68 c 124s| 1 | 0 |189740 | - | 293M | 0 |9561 | 27k| 30k|3035 | 18 | 102 | 0 |-1.110000e+02 | -- | Inf | unknown
1120.70/1124.19 c 126s| 1 | 0 |193814 | - | 293M | 0 |9561 | 27k| 30k|3143 | 19 | 103 | 0 |-1.110000e+02 | -- | Inf | unknown
1123.38/1126.85 c 129s| 1 | 0 |198166 | - | 293M | 0 |9561 | 27k| 30k|3251 | 20 | 104 | 0 |-1.120000e+02 | -- | Inf | unknown
1123.98/1127.47 c 130s| 1 | 0 |198983 | - | 293M | 0 |9561 | 27k| 30k|3266 | 21 | 105 | 0 |-1.120000e+02 | -- | Inf | unknown
1124.59/1128.07 c 130s| 1 | 0 |199642 | - | 293M | 0 |9561 | 27k| 30k|3274 | 22 | 107 | 0 |-1.120000e+02 | -- | Inf | unknown
1125.28/1128.73 c 131s| 1 | 0 |200399 | - | 293M | 0 |9561 | 27k| 30k|3280 | 23 | 109 | 0 |-1.120000e+02 | -- | Inf | unknown
1125.59/1129.07 c 131s| 1 | 0 |200660 | - | 293M | 0 |9561 | 27k| 30k|3287 | 24 | 111 | 0 |-1.120000e+02 | -- | Inf | unknown
1126.27/1129.73 c 132s| 1 | 0 |201384 | - | 293M | 0 |9561 | 27k| 30k|3293 | 25 | 112 | 0 |-1.120000e+02 | -- | Inf | unknown
1126.97/1130.41 c 133s| 1 | 0 |202222 | - | 293M | 0 |9561 | 27k| 30k|3301 | 26 | 113 | 0 |-1.120000e+02 | -- | Inf | unknown
1127.47/1130.90 c 133s| 1 | 0 |202663 | - | 293M | 0 |9561 | 27k| 29k|3307 | 27 | 115 | 0 |-1.120000e+02 | -- | Inf | unknown
1127.68/1131.19 c 133s| 1 | 0 |202847 | - | 293M | 0 |9561 | 27k| 29k|3312 | 28 | 117 | 0 |-1.120000e+02 | -- | Inf | unknown
1128.07/1131.58 c 134s| 1 | 0 |203165 | - | 293M | 0 |9561 | 27k| 29k|3322 | 29 | 118 | 0 |-1.120000e+02 | -- | Inf | unknown
1128.68/1132.15 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1128.68/1132.15 c 134s| 1 | 0 |203742 | - | 293M | 0 |9561 | 27k| 29k|3327 | 30 | 120 | 0 |-1.120000e+02 | -- | Inf | unknown
1423.84/1428.18 c 430s| 1 | 2 |274426 | - | 294M | 0 |9561 | 27k| 29k|3327 | 30 | 143 | 0 |-1.120000e+02 | -- | Inf | unknown
1423.84/1428.18 c
1423.84/1428.18 c SCIP Status : solving was interrupted [time limit reached]
1423.84/1428.18 c Solving Time (sec) : 430.33
1423.84/1428.18 c Solving Nodes : 1
1423.84/1428.18 c Primal Bound : -1.00000000000000e+20 (0 solutions)
1423.84/1428.18 c Dual Bound : -1.12000000000000e+02
1423.84/1428.18 c Gap : infinite
1423.84/1428.18 c SCIP status: 23 (TIMELIMIT)
1423.84/1428.18 c pb_solver_status: sst_unknown
1423.84/1428.18 c LB_goalvalue: 0
1423.84/1428.18 c UB_goalvalue: 99
1423.84/1428.18 c Both SAT and SCIP timed out; boosting budgets to sat=160.000000 scip=860.518400
1423.84/1428.18 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
1423.84/1428.18 c SCIP returned: sst_unknown
1423.84/1428.18 c SCIP primal LB: -oo, dual UB: 99
1423.84/1428.18 c assumptions:
1423.84/1428.18 c invoking solver with time budget: 160.000000
1583.89/1588.62 c sat_solver_result: sst_unknown
1583.89/1588.62 c SAT solver timed out; proceeding to cooperative SCIP call
1583.89/1588.62 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 99
1583.89/1588.62 c scip solving with time budget: 860.518400
1583.89/1588.62 c solveScip
1583.89/1588.62 c initScipForCoop
1583.89/1588.62 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
1583.89/1588.62 c SCIPfreeTransform due to timeout and having shadow nodes
1583.89/1588.62 c forcing SCIPfreeTransform before solve
1583.89/1588.66 c Running SCIP presolve for solve-time propagation (rounds=3)
1583.89/1588.68 c presolving:
1583.99/1588.73 c (0.1s) running MILP presolver
1583.99/1588.74 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1583.99/1588.76 c (round 1, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16520 clqs, 0 implints
1584.09/1588.80 c (round 2, exhaustive) 0 del vars, 28 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 29564 upgd conss, 0 impls, 16520 clqs, 0 implints
1585.09/1589.84 c (1.2s) probing: 1000/9632 (10.4%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
1585.09/1589.84 c (1.2s) probing: 1001/9632 (10.4%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
1585.09/1589.84 c (1.2s) probing aborted: 1000/1000 successive useless probings
1585.19/1589.90 c presolving (3 rounds: 3 fast, 3 medium, 3 exhaustive):
1585.19/1589.90 c 0 deleted vars, 896 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
1585.19/1589.90 c 0 implications, 21256 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1585.19/1589.90 c presolved problem has 9632 variables (9632 bin, 0 int, 0 cont) and 28724 constraints
1585.19/1589.90 c 1144 constraints of type <knapsack>
1585.19/1589.90 c 16520 constraints of type <setppc>
1585.19/1589.90 c 28 constraints of type <linear>
1585.19/1589.90 c 11032 constraints of type <logicor>
1585.19/1589.90 c transformed objective value is always integral (scale: 1)
1585.19/1589.90 c Presolving Time: 1.22
1585.19/1589.95 c presolving:
1585.19/1589.97 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
1585.19/1589.98 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
1585.19/1590.00 c (0.1s) running MILP presolver
1585.30/1590.02 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1585.30/1590.03 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
1585.30/1590.08 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
1585.40/1590.11 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
1586.40/1591.12 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
1586.40/1591.12 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
1586.40/1591.12 c (1.2s) probing aborted: 1000/1000 successive useless probings
1586.40/1591.16 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1586.49/1591.22 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
1586.49/1591.23 c dynamic symmetry handling statistics:
1586.49/1591.23 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
1586.49/1591.23 c orbital reduction: no components
1586.49/1591.23 c lexicographic reduction: no permutations
1586.49/1591.23 c handled 4 out of 4 symmetry components
1586.49/1591.24 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
1586.49/1591.24 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
1586.49/1591.24 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1586.49/1591.24 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
1586.49/1591.24 c 1144 constraints of type <knapsack>
1586.49/1591.24 c 16027 constraints of type <setppc>
1586.49/1591.24 c 28 constraints of type <linear>
1586.49/1591.24 c 10220 constraints of type <logicor>
1586.49/1591.24 c transformed objective value is always integral (scale: 1)
1586.49/1591.24 c Presolving Time: 1.29
1586.49/1591.24 c
1614.70/1619.59 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1614.70/1619.59 c 29.7s| 1 | 0 | 36289 | - | 291M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
1633.55/1638.49 c 48.6s| 1 | 0 | 73399 | - | 292M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
1639.03/1643.90 c 54.0s| 1 | 0 | 83794 | - | 292M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
1651.11/1656.07 c 66.2s| 1 | 0 | 99198 | - | 292M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.904073e+01 | -- | Inf | unknown
1654.79/1659.71 c 69.8s| 1 | 0 |105943 | - | 292M | 0 |9561 | 27k| 28k| 984 | 4 | 82 | 0 |-8.957260e+01 | -- | Inf | unknown
1664.46/1669.40 c 79.5s| 1 | 0 |118683 | - | 294M | 0 |9561 | 27k| 28k|1240 | 5 | 83 | 0 |-1.010000e+02 | -- | Inf | unknown
1667.25/1672.27 c 82.3s| 1 | 0 |123624 | - | 294M | 0 |9561 | 27k| 28k|1446 | 6 | 84 | 0 |-1.010000e+02 | -- | Inf | unknown
1671.05/1676.07 c 86.1s| 1 | 0 |129864 | - | 294M | 0 |9561 | 27k| 29k|1623 | 7 | 86 | 0 |-1.010000e+02 | -- | Inf | unknown
1674.73/1679.77 c 89.9s| 1 | 0 |135620 | - | 294M | 0 |9561 | 27k| 29k|1781 | 8 | 88 | 0 |-1.010000e+02 | -- | Inf | unknown
1679.92/1685.00 c 95.1s| 1 | 0 |143565 | - | 294M | 0 |9561 | 27k| 29k|1952 | 9 | 90 | 0 |-1.010000e+02 | -- | Inf | unknown
1685.80/1690.84 c 101s| 1 | 0 |152132 | - | 294M | 0 |9561 | 27k| 29k|2116 | 10 | 91 | 0 |-1.010000e+02 | -- | Inf | unknown
1689.39/1694.44 c 105s| 1 | 0 |157899 | - | 294M | 0 |9561 | 27k| 29k|2241 | 11 | 93 | 0 |-1.110000e+02 | -- | Inf | unknown
1692.09/1697.18 c 107s| 1 | 0 |162295 | - | 294M | 0 |9561 | 27k| 29k|2369 | 12 | 95 | 0 |-1.110000e+02 | -- | Inf | unknown
1695.17/1700.20 c 110s| 1 | 0 |167072 | - | 294M | 0 |9561 | 27k| 29k|2477 | 13 | 96 | 0 |-1.110000e+02 | -- | Inf | unknown
1697.76/1702.80 c 113s| 1 | 0 |171230 | - | 294M | 0 |9561 | 27k| 30k|2586 | 14 | 97 | 0 |-1.110000e+02 | -- | Inf | unknown
1701.07/1706.11 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1701.07/1706.11 c 116s| 1 | 0 |176765 | - | 294M | 0 |9561 | 27k| 30k|2702 | 15 | 98 | 0 |-1.110000e+02 | -- | Inf | unknown
1703.25/1708.31 c 118s| 1 | 0 |180338 | - | 294M | 0 |9561 | 27k| 30k|2812 | 16 | 100 | 0 |-1.110000e+02 | -- | Inf | unknown
1706.24/1711.35 c 121s| 1 | 0 |185341 | - | 294M | 0 |9561 | 27k| 30k|2924 | 17 | 101 | 0 |-1.110000e+02 | -- | Inf | unknown
1709.04/1714.13 c 124s| 1 | 0 |189740 | - | 294M | 0 |9561 | 27k| 30k|3035 | 18 | 102 | 0 |-1.110000e+02 | -- | Inf | unknown
1711.52/1716.64 c 127s| 1 | 0 |193814 | - | 294M | 0 |9561 | 27k| 30k|3143 | 19 | 103 | 0 |-1.110000e+02 | -- | Inf | unknown
1714.22/1719.34 c 129s| 1 | 0 |198166 | - | 294M | 0 |9561 | 27k| 30k|3251 | 20 | 104 | 0 |-1.120000e+02 | -- | Inf | unknown
1714.81/1719.96 c 130s| 1 | 0 |198983 | - | 294M | 0 |9561 | 27k| 30k|3266 | 21 | 105 | 0 |-1.120000e+02 | -- | Inf | unknown
1715.41/1720.56 c 131s| 1 | 0 |199642 | - | 294M | 0 |9561 | 27k| 30k|3274 | 22 | 107 | 0 |-1.120000e+02 | -- | Inf | unknown
1716.11/1721.22 c 131s| 1 | 0 |200399 | - | 294M | 0 |9561 | 27k| 30k|3280 | 23 | 109 | 0 |-1.120000e+02 | -- | Inf | unknown
1716.41/1721.57 c 132s| 1 | 0 |200660 | - | 294M | 0 |9561 | 27k| 30k|3287 | 24 | 111 | 0 |-1.120000e+02 | -- | Inf | unknown
1717.11/1722.22 c 132s| 1 | 0 |201384 | - | 294M | 0 |9561 | 27k| 30k|3293 | 25 | 112 | 0 |-1.120000e+02 | -- | Inf | unknown
1717.80/1722.90 c 133s| 1 | 0 |202222 | - | 294M | 0 |9561 | 27k| 30k|3301 | 26 | 113 | 0 |-1.120000e+02 | -- | Inf | unknown
1718.20/1723.39 c 133s| 1 | 0 |202663 | - | 294M | 0 |9561 | 27k| 29k|3307 | 27 | 115 | 0 |-1.120000e+02 | -- | Inf | unknown
1718.50/1723.68 c 134s| 1 | 0 |202847 | - | 294M | 0 |9561 | 27k| 29k|3312 | 28 | 117 | 0 |-1.120000e+02 | -- | Inf | unknown
1718.92/1724.06 c 134s| 1 | 0 |203165 | - | 294M | 0 |9561 | 27k| 29k|3322 | 29 | 118 | 0 |-1.120000e+02 | -- | Inf | unknown
1719.50/1724.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1719.50/1724.64 c 135s| 1 | 0 |203742 | - | 294M | 0 |9561 | 27k| 29k|3327 | 30 | 120 | 0 |-1.120000e+02 | -- | Inf | unknown
2143.46/2149.83 c 560s| 1 | 2 |274576 | - | 294M | 0 |9561 | 27k| 29k|3327 | 30 | 143 | 26 |-1.120000e+02 | -- | Inf | unknown
2443.70/2450.91 c
2443.70/2450.91 c SCIP Status : solving was interrupted [time limit reached]
2443.70/2450.91 c Solving Time (sec) : 860.99
2443.70/2450.91 c Solving Nodes : 21
2443.70/2450.91 c Primal Bound : -1.00000000000000e+20 (0 solutions)
2443.70/2450.91 c Dual Bound : -1.13000000000000e+02
2443.70/2450.91 c Gap : infinite
2443.70/2450.91 c SCIP status: 23 (TIMELIMIT)
2443.70/2450.91 c solveScip: freeing transform (!can_skip_free_transform)
2443.70/2450.95 c SCIP LP bound tightened UB: 99 -> 98
2443.70/2450.95 c pb_solver_status: sst_unknown
2443.70/2450.95 c LB_goalvalue: 0
2443.70/2450.95 c UB_goalvalue: 98
2443.70/2450.95 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
2443.70/2450.95 c SCIP returned: sst_unknown
2443.70/2450.95 c SCIP primal LB: -oo, dual UB: 98
2443.70/2450.95 c assumptions:
2443.70/2450.95 c invoking solver with time budget: 160.000000
2603.76/2611.41 c sat_solver_result: sst_unknown
2603.76/2611.41 c SAT solver timed out; proceeding to cooperative SCIP call
2603.76/2611.41 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 98
2603.76/2611.41 c scip solving with time budget: 1204.725760
2603.76/2611.41 c solveScip
2603.76/2611.41 c initScipForCoop
2603.76/2611.41 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
2603.76/2611.44 c presolving:
2603.76/2611.47 c (round 1, fast) 56 del vars, 840 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16492 clqs, 0 implints
2603.76/2611.47 c (round 2, fast) 71 del vars, 1305 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
2603.76/2611.49 c (0.1s) running MILP presolver
2603.86/2611.51 c (0.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
2603.86/2611.52 c (round 3, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 0 upgd conss, 0 impls, 16027 clqs, 0 implints
2603.86/2611.57 c (round 4, exhaustive) 71 del vars, 1333 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
2603.96/2611.60 c (round 5, exhaustive) 71 del vars, 2201 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 868 chg coeffs, 28259 upgd conss, 0 impls, 16027 clqs, 0 implints
2604.96/2612.61 c (1.2s) probing: 1000/9561 (10.5%) - 0 fixings, 0 aggregations, 4733 implications, 0 bound changes
2604.96/2612.61 c (1.2s) probing: 1001/9561 (10.5%) - 0 fixings, 0 aggregations, 4736 implications, 0 bound changes
2604.96/2612.61 c (1.2s) probing aborted: 1000/1000 successive useless probings
2604.96/2612.64 c (1.2s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
2605.06/2612.71 c (1.3s) symmetry computation finished: 23 generators found (max: 1500, log10 of symmetry group size: 14.70) (symcode time: 0.04)
2605.06/2612.71 c dynamic symmetry handling statistics:
2605.06/2612.71 c orbitopal reduction: 4 components: 342x6, 342x6, 341x11, 341x4
2605.06/2612.71 c orbital reduction: no components
2605.06/2612.71 c lexicographic reduction: no permutations
2605.06/2612.71 c handled 4 out of 4 symmetry components
2605.06/2612.72 c presolving (6 rounds: 6 fast, 4 medium, 4 exhaustive):
2605.06/2612.72 c 71 deleted vars, 2201 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 868 changed coefficients
2605.06/2612.72 c 0 implications, 20763 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
2605.06/2612.72 c presolved problem has 9561 variables (9561 bin, 0 int, 0 cont) and 27419 constraints
2605.06/2612.72 c 1144 constraints of type <knapsack>
2605.06/2612.72 c 16027 constraints of type <setppc>
2605.06/2612.72 c 28 constraints of type <linear>
2605.06/2612.72 c 10220 constraints of type <logicor>
2605.06/2612.72 c transformed objective value is always integral (scale: 1)
2605.06/2612.72 c Presolving Time: 1.28
2605.06/2612.72 c
2633.18/2640.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2633.18/2640.99 c 29.6s| 1 | 0 | 36289 | - | 310M | 0 |9561 | 27k| 27k| 0 | 0 | 76 | 0 |-5.168497e+01 | -- | Inf | unknown
2651.93/2659.70 c 48.3s| 1 | 0 | 73399 | - | 311M | 0 |9561 | 27k| 27k| 232 | 1 | 78 | 0 |-6.400000e+01 | -- | Inf | unknown
2657.22/2665.05 c 53.6s| 1 | 0 | 83794 | - | 311M | 0 |9561 | 27k| 27k| 465 | 2 | 79 | 0 |-8.500000e+01 | -- | Inf | unknown
2669.38/2677.24 c 65.8s| 1 | 0 | 99198 | - | 312M | 0 |9561 | 27k| 28k| 726 | 3 | 80 | 0 |-8.904073e+01 | -- | Inf | unknown
2672.97/2680.89 c 69.5s| 1 | 0 |105943 | - | 312M | 0 |9561 | 27k| 28k| 984 | 4 | 82 | 0 |-8.957260e+01 | -- | Inf | unknown
2682.64/2690.56 c 79.1s| 1 | 0 |118683 | - | 313M | 0 |9561 | 27k| 28k|1240 | 5 | 83 | 0 |-1.010000e+02 | -- | Inf | unknown
2685.53/2693.43 c 82.0s| 1 | 0 |123624 | - | 313M | 0 |9561 | 27k| 28k|1446 | 6 | 84 | 0 |-1.010000e+02 | -- | Inf | unknown
2689.23/2697.17 c 85.8s| 1 | 0 |129864 | - | 313M | 0 |9561 | 27k| 29k|1623 | 7 | 86 | 0 |-1.010000e+02 | -- | Inf | unknown
2692.91/2700.88 c 89.5s| 1 | 0 |135620 | - | 313M | 0 |9561 | 27k| 29k|1781 | 8 | 88 | 0 |-1.010000e+02 | -- | Inf | unknown
2698.11/2706.10 c 94.7s| 1 | 0 |143565 | - | 313M | 0 |9561 | 27k| 29k|1952 | 9 | 90 | 0 |-1.010000e+02 | -- | Inf | unknown
2703.98/2711.94 c 101s| 1 | 0 |152132 | - | 313M | 0 |9561 | 27k| 29k|2116 | 10 | 91 | 0 |-1.010000e+02 | -- | Inf | unknown
2707.57/2715.57 c 104s| 1 | 0 |157899 | - | 313M | 0 |9561 | 27k| 29k|2241 | 11 | 93 | 0 |-1.110000e+02 | -- | Inf | unknown
2710.36/2718.31 c 107s| 1 | 0 |162295 | - | 313M | 0 |9561 | 27k| 29k|2369 | 12 | 95 | 0 |-1.110000e+02 | -- | Inf | unknown
2713.35/2721.33 c 110s| 1 | 0 |167072 | - | 313M | 0 |9561 | 27k| 29k|2477 | 13 | 96 | 0 |-1.110000e+02 | -- | Inf | unknown
2715.94/2723.92 c 113s| 1 | 0 |171230 | - | 313M | 0 |9561 | 27k| 30k|2586 | 14 | 97 | 0 |-1.110000e+02 | -- | Inf | unknown
2719.23/2727.24 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2719.23/2727.24 c 116s| 1 | 0 |176765 | - | 313M | 0 |9561 | 27k| 30k|2702 | 15 | 98 | 0 |-1.110000e+02 | -- | Inf | unknown
2721.43/2729.44 c 118s| 1 | 0 |180338 | - | 313M | 0 |9561 | 27k| 30k|2812 | 16 | 100 | 0 |-1.110000e+02 | -- | Inf | unknown
2724.42/2732.47 c 121s| 1 | 0 |185341 | - | 313M | 0 |9561 | 27k| 30k|2924 | 17 | 101 | 0 |-1.110000e+02 | -- | Inf | unknown
2727.21/2735.25 c 124s| 1 | 0 |189740 | - | 313M | 0 |9561 | 27k| 30k|3035 | 18 | 102 | 0 |-1.110000e+02 | -- | Inf | unknown
2729.70/2737.78 c 126s| 1 | 0 |193814 | - | 313M | 0 |9561 | 27k| 30k|3143 | 19 | 103 | 0 |-1.110000e+02 | -- | Inf | unknown
2732.39/2740.46 c 129s| 1 | 0 |198166 | - | 313M | 0 |9561 | 27k| 30k|3251 | 20 | 104 | 0 |-1.120000e+02 | -- | Inf | unknown
2733.00/2741.08 c 130s| 1 | 0 |198983 | - | 313M | 0 |9561 | 27k| 30k|3266 | 21 | 105 | 0 |-1.120000e+02 | -- | Inf | unknown
2733.59/2741.67 c 130s| 1 | 0 |199642 | - | 313M | 0 |9561 | 27k| 30k|3274 | 22 | 107 | 0 |-1.120000e+02 | -- | Inf | unknown
2734.29/2742.34 c 131s| 1 | 0 |200399 | - | 313M | 0 |9561 | 27k| 30k|3280 | 23 | 109 | 0 |-1.120000e+02 | -- | Inf | unknown
2734.59/2742.69 c 131s| 1 | 0 |200660 | - | 313M | 0 |9561 | 27k| 30k|3287 | 24 | 111 | 0 |-1.120000e+02 | -- | Inf | unknown
2735.29/2743.34 c 132s| 1 | 0 |201384 | - | 313M | 0 |9561 | 27k| 30k|3293 | 25 | 112 | 0 |-1.120000e+02 | -- | Inf | unknown
2736.00/2744.02 c 133s| 1 | 0 |202222 | - | 313M | 0 |9561 | 27k| 30k|3301 | 26 | 113 | 0 |-1.120000e+02 | -- | Inf | unknown
2736.48/2744.51 c 133s| 1 | 0 |202663 | - | 313M | 0 |9561 | 27k| 29k|3307 | 27 | 115 | 0 |-1.120000e+02 | -- | Inf | unknown
2736.78/2744.80 c 133s| 1 | 0 |202847 | - | 313M | 0 |9561 | 27k| 29k|3312 | 28 | 117 | 0 |-1.120000e+02 | -- | Inf | unknown
2737.09/2745.19 c 134s| 1 | 0 |203165 | - | 313M | 0 |9561 | 27k| 29k|3322 | 29 | 118 | 0 |-1.120000e+02 | -- | Inf | unknown
2737.68/2745.76 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2737.68/2745.76 c 134s| 1 | 0 |203742 | - | 313M | 0 |9561 | 27k| 29k|3327 | 30 | 120 | 0 |-1.120000e+02 | -- | Inf | unknown
3165.46/3174.72 c 563s| 1 | 2 |274576 | - | 313M | 0 |9561 | 27k| 29k|3327 | 30 | 143 | 26 |-1.120000e+02 | -- | Inf | unknown
3600.09/3610.60
3600.09/3610.60 *** TERMINATED *** by signal
3600.09/3610.60 c
3600.09/3610.60 s UNKNOWN
3600.09/3610.60 c _____________________________________________________________________________
3600.09/3610.60 c std/band forms : 1200,0
3600.09/3610.60 c 2cl/3cl ITE-codings : 330380,0
3600.09/3610.60 c BDD/srt/adr Max costs : 14255,1551,0
3600.09/3610.60 c BDDraw/bin/mul/srt/adr: 896,0,0,304,0
3600.09/3610.60 c BDD nodes : 345545
3600.09/3610.60 c Es1/CC detections : 0,0
3600.09/3610.60 c CC sort : 276
3600.09/3610.60 c SAT/UNSAT calls : 0,0
3600.09/3610.60 c regenrated variables : 0
3600.09/3610.60 c eliminated fixed lits : 0
3600.09/3610.60 c goal lit flips : 0
3600.09/3610.60 c goal stages : 0
3600.09/3610.60 c goal shrink : 0
3600.09/3610.60 c goal coeff separations: 0
3600.09/3610.60 c restarts : 70941
3600.09/3610.60 c conflicts : 7390759 (2053 /sec)
3600.09/3610.60 c decisions : 86794308 (24109 /sec)
3600.09/3610.60 c propagations : 6309616506 (1752620 /sec)
3600.09/3610.60 c inspects : 0 (0 /sec)
3600.09/3610.60 c CPU time (solving tm) : 3600 s (635.4 s, SAT 0 s, UNSAT 0 s)
3600.09/3610.60 c SAT solver time : 635.4 s
3600.09/3610.60 c SAT solver SAT time : 0 s
3600.09/3610.60 c SAT solver UNSAT time : 0 s
3600.09/3610.60 c SAT solver TO time : 635.4 s
3600.09/3610.60 c Time for SCIP : 1960 s
3600.09/3610.60 c Coop SCIP LB improvements : 0
3600.09/3610.60 c Coop SCIP UB improvements : 5
3600.09/3610.60 c SCIP globally fixed variables : 0
3600.09/3610.60 c SAT globally fixed variables : 0
3600.09/3610.60 c SCIP freeTransform calls : 17
3600.09/3610.60 c Time for Opt-base : 0.001573 s
3600.09/3610.60 c Steps for Opt-base : 0
3600.09/3610.60 c Time for BDD coding : 0.6628 s
3600.09/3610.60 c Time for srt coding : 0.0122 s
3600.09/3610.60 c Inner solver invocations : 0
3600.09/3610.60 c Inner solving count : 0
3600.09/3610.60 c _____________________________________________________________________________