0.00/0.01 exec HOME/naps_release -v2 -mc -cSCIP -scip-solve-prop -scip-stage-prop -given-time=3600 HOME/instance-4780634-1782138160.opb
0.00/0.02 c NaPS 1.03a50.
0.00/0.02 c Using SAT solver: CaDiCaL 3.0.0
0.00/0.02 c Input file name: HOME/instance-4780634-1782138160.opb
0.00/0.02 c Parsing PB file...
0.00/0.02 c goal was devided by 1 with offset 772.
0.49/0.55 c assumptions before coding:
0.58/0.63 c initScipForCoop
0.58/0.65 c Running SCIP presolver (time limit: 10 sec)...
0.58/0.65 c solveScip
0.58/0.65 c initScipForCoop
0.58/0.65 c Cooperative mode: scip_coop_offset=772.000000
0.58/0.65 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
0.58/0.65 c Running SCIP presolve for solve-time propagation (rounds=3)
0.58/0.68 c presolving:
0.67/0.72 c (round 1, fast) 13 del vars, 0 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
0.67/0.79 c (0.1s) running MILP presolver
0.77/0.82 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
0.77/0.83 c (round 2, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
0.86/0.98 c (0.3s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.86/0.98 c (0.3s) probing aborted: 50/50 successive totally useless probings
0.98/1.10 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
0.98/1.10 c 13 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
0.98/1.10 c 0 implications, 1 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
0.98/1.10 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
0.98/1.10 c 1066 constraints of type <knapsack>
0.98/1.10 c 1 constraints of type <setppc>
0.98/1.10 c 5 constraints of type <linear>
0.98/1.10 c transformed objective value is always integral (scale: 1)
0.98/1.10 c Presolving Time: 0.42
1.08/1.13 c presolving:
1.08/1.18 c (round 1, fast) 13 del vars, 0 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
1.17/1.25 c (0.1s) running MILP presolver
1.17/1.28 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1.17/1.29 c (round 2, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
1.26/1.34 c (round 3, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1067 upgd conss, 0 impls, 1 clqs, 0 implints
1.36/1.40 c (round 4, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1072 upgd conss, 0 impls, 1 clqs, 0 implints
1.36/1.48 c (0.4s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.36/1.48 c (0.4s) probing aborted: 50/50 successive totally useless probings
1.46/1.59 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1.57/1.63 c (0.5s) no symmetry present (symcode time: 0.00)
1.66/1.72 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
1.66/1.72 c 13 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
1.66/1.72 c 0 implications, 1 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1.66/1.72 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
1.66/1.72 c 1071 constraints of type <knapsack>
1.66/1.72 c 1 constraints of type <setppc>
1.66/1.72 c transformed objective value is always integral (scale: 1)
1.66/1.72 c Presolving Time: 0.59
1.66/1.72 c
1.86/1.93 c in SCIP_DECL_EVENTEXEC found by SCIP
1.86/1.93 o 404
1.86/1.94 c Model check passed
1.86/1.94 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1.86/1.94 c p 0.8s| 1 | 0 | 0 | - | locks| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 |-4.040000e+02 | Inf | unknown
1.86/1.95 c in SCIP_DECL_EVENTEXEC found by SCIP
1.86/1.95 o 319
1.86/1.96 c Model check passed
1.86/1.96 c i 0.8s| 1 | 0 | 0 | - | oneopt| 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1.86/1.98 c 0.9s| 1 | 0 | 249 | - | 346M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2.16/2.29 c 1.2s| 1 | 0 | 442 | - | 371M | 0 |1276 |1072 |1238 | 166 | 1 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2.56/2.60 c 1.5s| 1 | 0 | 599 | - | 394M | 0 |1276 |1072 |1369 | 297 | 2 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2.86/2.90 c 1.8s| 1 | 0 | 741 | - | 415M | 0 |1276 |1072 |1454 | 382 | 3 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3.07/3.19 c 2.1s| 1 | 0 | 819 | - | 439M | 0 |1276 |1072 |1503 | 431 | 4 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3.46/3.51 c 2.4s| 1 | 0 | 957 | - | 468M | 0 |1276 |1072 |1582 | 510 | 5 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3.75/3.82 c 2.7s| 1 | 0 | 1065 | - | 486M | 0 |1276 |1072 |1657 | 585 | 6 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
4.06/4.15 c 3.0s| 1 | 0 | 1144 | - | 510M | 0 |1276 |1072 |1718 | 646 | 7 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
4.35/4.48 c 3.4s| 1 | 0 | 1210 | - | 549M | 0 |1276 |1072 |1775 | 703 | 8 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
4.75/4.80 c 3.7s| 1 | 0 | 1301 | - | 558M | 0 |1276 |1072 |1824 | 752 | 9 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
4.97/5.10 c 4.0s| 1 | 0 | 1377 | - | 599M | 0 |1276 |1072 |1874 | 802 | 10 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
5.25/5.33 c 4.2s| 1 | 0 | 1437 | - | 602M | 0 |1276 |1072 |1754 | 847 | 11 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
5.96/6.06 c 5.0s| 1 | 2 | 2844 | - | 603M | 0 |1276 |1079 |1754 | 847 | 11 | 7 | 19 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
11.04/11.11 c
11.04/11.11 c SCIP Status : solving was interrupted [time limit reached]
11.04/11.11 c Solving Time (sec) : 10.00
11.04/11.11 c Solving Nodes : 13
11.04/11.11 c Primal Bound : -3.19000000000000e+02 (2 solutions)
11.04/11.11 c Dual Bound : +0.00000000000000e+00
11.04/11.11 c Gap : infinite
11.04/11.12 c SCIP status: 23 (TIMELIMIT)
11.04/11.12 c solveScip: freeing transform (!can_skip_free_transform)
11.13/11.22 c SCIP presolver: sst_sat
11.13/11.22 c Converting 1082 PB-constraints to clauses...
11.13/11.22 c -- Clauses(.)/Splits(s): estimatedAdderCost: 775
11.13/11.23 c Try to convert by bdds
11.52/11.66 c d: 1
11.52/11.66 c estimatedAdderCost: 777
11.52/11.66 c Try to convert by bdds
11.94/12.05 c d: 1
11.94/12.05 c estimatedAdderCost: 776
11.94/12.05 c Try to convert by bdds
12.32/12.49 c d: 1
12.32/12.49 c estimatedAdderCost: 776
12.32/12.49 c Try to convert by bdds
12.72/12.89 c d: 1
12.72/12.89 c estimatedAdderCost: 778
12.72/12.89 c Try to convert by bdds
13.22/13.34 c d: 1
13.22/13.34 c estimatedAdderCost: 778
13.22/13.34 c Try to convert by bdds
13.61/13.75 c d: 1
13.61/13.75 c estimatedAdderCost: 779
13.61/13.75 c Try to convert by bdds
14.11/14.20 c d: 1
14.11/14.20 c estimatedAdderCost: 777
14.11/14.20 c Try to convert by bdds
14.51/14.61 c d: 1
14.51/14.61 c estimatedAdderCost: 777
14.51/14.61 c Try to convert by bdds
14.92/15.09 c d: 1
14.92/15.09 c estimatedAdderCost: 778
14.92/15.09 c Try to convert by bdds
15.41/15.50 c d: 1
15.41/15.50 c estimatedAdderCost: 777
15.41/15.50 c Try to convert by bdds
15.80/15.96 c d: 1
15.80/15.96 c estimatedAdderCost: 778
15.80/15.96 c Try to convert by bdds
16.20/16.37 c d: 1
16.20/16.37 c estimatedAdderCost: 778
16.20/16.37 c Try to convert by bdds
16.70/16.82 c d: 1
16.70/16.82 c estimatedAdderCost: 778
16.70/16.82 c Try to convert by bdds
17.10/17.23 c d: 1
17.10/17.23 c estimatedAdderCost: 778
17.10/17.23 c Try to convert by bdds
17.59/17.70 c d: 1
17.59/17.70 c estimatedAdderCost: 777
17.59/17.70 c Try to convert by bdds
18.01/18.11 c d: 1
18.01/18.11 c estimatedAdderCost: 777
18.01/18.11 c Try to convert by bdds
18.39/18.59 c d: 1
18.39/18.59 c estimatedAdderCost: 777
18.39/18.59 c Try to convert by bdds
18.79/19.00 c d: 1
18.79/19.00 c estimatedAdderCost: 775
18.79/19.00 c Try to convert by bdds
19.38/19.52 c d: 1
19.38/19.52 c estimatedAdderCost: 775
19.38/19.52 c Try to convert by bdds
19.78/19.94 c d: 1
19.78/19.94 c estimatedAdderCost: 775
19.78/19.94 c Try to convert by bdds
20.28/20.43 c d: 1
20.28/20.43 c estimatedAdderCost: 778
20.28/20.43 c Try to convert by bdds
20.68/20.85 c d: 1
20.68/20.85 c estimatedAdderCost: 777
20.68/20.85 c Try to convert by bdds
21.18/21.33 c d: 1
21.18/21.33 c estimatedAdderCost: 776
21.18/21.33 c Try to convert by bdds
21.57/21.74 c d: 1
21.57/21.74 c estimatedAdderCost: 777
21.57/21.74 c Try to convert by bdds
22.07/22.22 c d: 1
22.07/22.22 c estimatedAdderCost: 776
22.07/22.22 c Try to convert by bdds
22.47/22.63 c d: 1
22.47/22.63 c estimatedAdderCost: 779
22.47/22.63 c Try to convert by bdds
22.98/23.12 c d: 1
22.98/23.12 c estimatedAdderCost: 777
22.98/23.12 c Try to convert by bdds
23.36/23.53 c d: 1
23.36/23.53 c estimatedAdderCost: 779
23.36/23.53 c Try to convert by bdds
23.76/24.00 c d: 1
23.76/24.00 c estimatedAdderCost: 776
23.76/24.00 c Try to convert by bdds
24.26/24.41 c d: 1
24.26/24.41 c estimatedAdderCost: 779
24.26/24.41 c Try to convert by bdds
24.67/24.89 c d: 1
24.67/24.89 c estimatedAdderCost: 777
24.67/24.89 c Try to convert by bdds
25.16/25.30 c d: 1
25.16/25.30 c estimatedAdderCost: 778
25.16/25.30 c Try to convert by bdds
25.56/25.79 c d: 1
25.56/25.79 c estimatedAdderCost: 778
25.56/25.79 c Try to convert by bdds
26.06/26.21 c d: 1
26.06/26.21 c estimatedAdderCost: 777
26.06/26.21 c Try to convert by bdds
26.56/26.71 c d: 1
26.56/26.71 c estimatedAdderCost: 779
26.56/26.71 c Try to convert by bdds
26.97/27.13 c d: 1
26.97/27.13 c estimatedAdderCost: 779
26.97/27.13 c Try to convert by bdds
27.55/27.72 c d: 1
27.55/27.72 c estimatedAdderCost: 777
27.55/27.72 c Try to convert by bdds
27.96/28.13 c d: 1
27.96/28.13 c estimatedAdderCost: 776
27.96/28.13 c Try to convert by bdds
28.45/28.63 c d: 1
28.45/28.63 c estimatedAdderCost: 776
28.45/28.63 c Try to convert by bdds
28.86/29.05 c d: 1
28.86/29.05 c estimatedAdderCost: 778
28.86/29.05 c Try to convert by bdds
29.34/29.55 c d: 1
29.34/29.55 c estimatedAdderCost: 777
29.34/29.55 c Try to convert by bdds
29.74/29.97 c d: 1
29.74/29.97 c estimatedAdderCost: 775
29.74/29.97 c Try to convert by bdds
30.24/30.48 c d: 1
30.24/30.48 c estimatedAdderCost: 776
30.24/30.48 c Try to convert by bdds
30.64/30.89 c d: 1
30.64/30.89 c estimatedAdderCost: 777
30.64/30.89 c Try to convert by bdds
31.13/31.39 c d: 1
31.13/31.39 c estimatedAdderCost: 778
31.13/31.39 c Try to convert by bdds
31.63/31.81 c d: 1
31.63/31.81 c estimatedAdderCost: 777
31.63/31.81 c Try to convert by bdds
32.13/32.32 c d: 1
32.13/32.32 c estimatedAdderCost: 779
32.13/32.32 c Try to convert by bdds
32.53/32.73 c d: 1
32.53/32.73 c estimatedAdderCost: 777
32.53/32.73 c Try to convert by bdds
33.03/33.24 c d: 1
33.03/33.24 c estimatedAdderCost: 779
33.03/33.24 c Try to convert by bdds
33.42/33.63 c d: 1
33.42/33.63 c estimatedAdderCost: 776
33.42/33.63 c Try to convert by bdds
33.93/34.15 c d: 1
33.93/34.15 c estimatedAdderCost: 779
33.93/34.15 c Try to convert by bdds
34.32/34.55 c d: 1
34.32/34.55 c estimatedAdderCost: 777
34.32/34.55 c Try to convert by bdds
34.83/35.07 c d: 1
34.83/35.07 c estimatedAdderCost: 778
34.83/35.07 c Try to convert by bdds
35.22/35.48 c d: 1
35.22/35.48 c estimatedAdderCost: 776
35.22/35.48 c Try to convert by bdds
35.71/36.01 c d: 1
35.71/36.01 c estimatedAdderCost: 776
35.71/36.01 c Try to convert by bdds
36.21/36.42 c d: 1
36.21/36.42 c estimatedAdderCost: 776
36.21/36.42 c Try to convert by bdds
36.71/36.95 c d: 1
36.71/36.95 c estimatedAdderCost: 777
36.71/36.95 c Try to convert by bdds
37.11/37.35 c d: 1
37.11/37.35 c estimatedAdderCost: 777
37.11/37.35 c Try to convert by bdds
37.60/37.88 c d: 1
37.60/37.88 c estimatedAdderCost: 778
37.60/37.88 c Try to convert by bdds
38.00/38.29 c d: 1
38.00/38.29 c estimatedAdderCost: 778
38.00/38.29 c Try to convert by bdds
38.60/38.83 c d: 1
38.60/38.83 c estimatedAdderCost: 776
38.60/38.83 c Try to convert by bdds
39.00/39.24 c d: 1
39.00/39.24 c estimatedAdderCost: 777
39.00/39.24 c Try to convert by bdds
39.50/39.78 c d: 1
39.50/39.78 c estimatedAdderCost: 778
39.50/39.78 c Try to convert by bdds
39.99/40.20 c d: 1
39.99/40.20 c estimatedAdderCost: 776
39.99/40.20 c Try to convert by bdds
40.49/40.74 c d: 1
40.49/40.74 c estimatedAdderCost: 775
40.49/40.74 c Try to convert by bdds
40.90/41.16 c d: 1
40.90/41.16 c estimatedAdderCost: 776
40.90/41.16 c Try to convert by bdds
41.39/41.69 c d: 1
41.39/41.69 c estimatedAdderCost: 775
41.39/41.69 c Try to convert by bdds
41.80/42.09 c d: 1
41.80/42.09 c estimatedAdderCost: 776
41.80/42.09 c Try to convert by bdds
42.38/42.64 c d: 1
42.38/42.64 c estimatedAdderCost: 776
42.38/42.64 c Try to convert by bdds
42.79/43.05 c d: 1
42.79/43.05 c estimatedAdderCost: 775
42.79/43.05 c Try to convert by bdds
43.27/43.59 c d: 1
43.27/43.59 c estimatedAdderCost: 777
43.27/43.59 c Try to convert by bdds
43.67/44.00 c d: 1
43.67/44.00 c estimatedAdderCost: 776
43.67/44.00 c Try to convert by bdds
44.47/44.71 c d: 1
44.47/44.71 c estimatedAdderCost: 776
44.47/44.71 c Try to convert by bdds
44.88/45.14 c d: 1
44.88/45.14 c estimatedAdderCost: 778
44.88/45.14 c Try to convert by bdds
45.37/45.69 c d: 1
45.37/45.69 c estimatedAdderCost: 778
45.37/45.69 c Try to convert by bdds
45.88/46.11 c d: 1
45.88/46.11 c estimatedAdderCost: 776
45.88/46.11 c Try to convert by bdds
46.36/46.66 c d: 1
46.36/46.66 c estimatedAdderCost: 777
46.36/46.66 c Try to convert by bdds
46.77/47.09 c d: 1
46.77/47.09 c estimatedAdderCost: 776
46.77/47.09 c Try to convert by bdds
47.36/47.64 c d: 1
47.36/47.64 c estimatedAdderCost: 779
47.36/47.64 c Try to convert by bdds
47.77/48.06 c d: 1
47.77/48.06 c estimatedAdderCost: 777
47.77/48.06 c Try to convert by bdds
48.35/48.61 c d: 1
48.35/48.61 c estimatedAdderCost: 776
48.35/48.61 c Try to convert by bdds
48.76/49.04 c d: 1
48.76/49.04 c estimatedAdderCost: 778
48.76/49.04 c Try to convert by bdds
49.25/49.59 c d: 1
49.25/49.59 c estimatedAdderCost: 778
49.25/49.59 c Try to convert by bdds
49.76/50.02 c d: 1
49.76/50.02 c estimatedAdderCost: 777
49.76/50.02 c Try to convert by bdds
50.24/50.58 c d: 1
50.24/50.58 c estimatedAdderCost: 778
50.24/50.58 c Try to convert by bdds
50.64/51.00 c d: 1
50.64/51.00 c estimatedAdderCost: 775
50.64/51.00 c Try to convert by bdds
51.24/51.56 c d: 1
51.24/51.56 c estimatedAdderCost: 775
51.24/51.56 c Try to convert by bdds
51.64/51.98 c d: 1
51.64/51.98 c estimatedAdderCost: 779
51.64/51.98 c Try to convert by bdds
52.23/52.55 c d: 1
52.23/52.55 c estimatedAdderCost: 776
52.23/52.55 c Try to convert by bdds
52.63/52.97 c d: 1
52.63/52.97 c estimatedAdderCost: 777
52.63/52.97 c Try to convert by bdds
53.23/53.53 c d: 1
53.23/53.53 c estimatedAdderCost: 777
53.23/53.53 c Try to convert by bdds
53.63/53.95 c d: 1
53.63/53.95 c estimatedAdderCost: 777
53.63/53.95 c Try to convert by bdds
54.23/54.51 c d: 1
54.23/54.51 c estimatedAdderCost: 779
54.23/54.51 c Try to convert by bdds
54.63/54.94 c d: 1
54.63/54.94 c estimatedAdderCost: 777
54.63/54.94 c Try to convert by bdds
55.23/55.50 c d: 1
55.23/55.50 c estimatedAdderCost: 779
55.23/55.50 c Try to convert by bdds
55.63/55.92 c d: 1
55.63/55.92 c estimatedAdderCost: 775
55.63/55.92 c Try to convert by bdds
56.12/56.48 c d: 1
56.12/56.48 c estimatedAdderCost: 775
56.12/56.48 c Try to convert by bdds
56.62/56.91 c d: 1
56.62/56.91 c estimatedAdderCost: 779
56.62/56.91 c Try to convert by bdds
57.12/57.48 c d: 1
57.12/57.48 c estimatedAdderCost: 777
57.12/57.48 c Try to convert by bdds
57.62/57.91 c d: 1
57.62/57.91 c estimatedAdderCost: 776
57.62/57.91 c Try to convert by bdds
58.11/58.47 c d: 1
58.11/58.47 c estimatedAdderCost: 776
58.11/58.47 c Try to convert by bdds
58.61/58.90 c d: 1
58.61/58.90 c estimatedAdderCost: 775
58.61/58.90 c Try to convert by bdds
59.11/59.47 c d: 1
59.11/59.47 c estimatedAdderCost: 777
59.11/59.47 c Try to convert by bdds
59.61/59.90 c d: 1
59.61/59.90 c estimatedAdderCost: 776
59.61/59.90 c Try to convert by bdds
60.10/60.48 c d: 1
60.10/60.48 c estimatedAdderCost: 777
60.10/60.48 c Try to convert by bdds
60.60/60.91 c d: 1
60.60/60.91 c estimatedAdderCost: 777
60.60/60.91 c Try to convert by bdds
61.10/61.49 c d: 1
61.10/61.49 c estimatedAdderCost: 778
61.10/61.49 c Try to convert by bdds
61.59/61.93 c d: 1
61.59/61.93 c estimatedAdderCost: 777
61.59/61.93 c Try to convert by bdds
62.19/62.50 c d: 1
62.19/62.50 c estimatedAdderCost: 776
62.19/62.50 c Try to convert by bdds
62.59/62.94 c d: 1
62.59/62.94 c estimatedAdderCost: 778
62.59/62.94 c Try to convert by bdds
63.18/63.51 c d: 1
63.18/63.51 c estimatedAdderCost: 777
63.18/63.51 c Try to convert by bdds
63.58/63.94 c d: 1
63.58/63.94 c estimatedAdderCost: 776
63.58/63.94 c Try to convert by bdds
64.18/64.52 c d: 1
64.18/64.52 c estimatedAdderCost: 777
64.18/64.52 c Try to convert by bdds
64.58/64.96 c d: 1
64.58/64.96 c estimatedAdderCost: 776
64.58/64.96 c Try to convert by bdds
65.17/65.53 c d: 1
65.17/65.53 c estimatedAdderCost: 776
65.17/65.53 c Try to convert by bdds
65.57/65.97 c d: 1
65.57/65.97 c estimatedAdderCost: 777
65.57/65.97 c Try to convert by bdds
66.17/66.52 c d: 1
66.17/66.52 c estimatedAdderCost: 776
66.17/66.52 c Try to convert by bdds
66.57/66.96 c d: 1
66.57/66.96 c estimatedAdderCost: 778
66.57/66.96 c Try to convert by bdds
67.17/67.54 c d: 1
67.17/67.54 c estimatedAdderCost: 778
67.17/67.54 c Try to convert by bdds
67.56/67.98 c d: 1
67.56/67.98 c estimatedAdderCost: 778
67.56/67.98 c Try to convert by bdds
68.16/68.56 c d: 1
68.16/68.56 c estimatedAdderCost: 778
68.16/68.56 c Try to convert by bdds
68.56/68.99 c d: 1
68.56/68.99 c estimatedAdderCost: 778
68.56/68.99 c Try to convert by bdds
69.15/69.58 c d: 1
69.15/69.58 c estimatedAdderCost: 777
69.15/69.58 c Try to convert by bdds
69.66/70.02 c d: 1
69.66/70.02 c estimatedAdderCost: 779
69.66/70.02 c Try to convert by bdds
70.26/70.61 c d: 1
70.26/70.61 c estimatedAdderCost: 777
70.26/70.61 c Try to convert by bdds
70.67/71.06 c d: 1
70.67/71.06 c estimatedAdderCost: 776
70.67/71.06 c Try to convert by bdds
71.25/71.65 c d: 1
71.25/71.65 c estimatedAdderCost: 777
71.25/71.65 c Try to convert by bdds
71.66/72.10 c d: 1
71.66/72.10 c estimatedAdderCost: 778
71.66/72.10 c Try to convert by bdds
72.25/72.69 c d: 1
72.25/72.69 c estimatedAdderCost: 776
72.25/72.69 c Try to convert by bdds
72.76/73.13 c d: 1
72.76/73.13 c estimatedAdderCost: 779
72.76/73.13 c Try to convert by bdds
73.34/73.73 c d: 1
73.34/73.73 c estimatedAdderCost: 777
73.34/73.73 c Try to convert by bdds
73.75/74.16 c d: 1
73.75/74.16 c estimatedAdderCost: 776
73.75/74.16 c Try to convert by bdds
74.34/74.75 c d: 1
74.34/74.75 c estimatedAdderCost: 777
74.34/74.75 c Try to convert by bdds
74.84/75.20 c d: 1
74.84/75.20 c estimatedAdderCost: 778
74.84/75.20 c Try to convert by bdds
75.33/75.79 c d: 1
75.33/75.79 c estimatedAdderCost: 778
75.33/75.79 c Try to convert by bdds
75.83/76.22 c d: 1
75.83/76.22 c estimatedAdderCost: 777
75.83/76.22 c Try to convert by bdds
76.43/76.82 c d: 1
76.43/76.82 c estimatedAdderCost: 777
76.43/76.82 c Try to convert by bdds
76.82/77.26 c d: 1
76.82/77.26 c estimatedAdderCost: 776
76.82/77.26 c Try to convert by bdds
77.42/77.86 c d: 1
77.42/77.86 c estimatedAdderCost: 777
77.42/77.86 c Try to convert by bdds
77.92/78.30 c d: 1
77.92/78.30 c estimatedAdderCost: 775
77.92/78.30 c Try to convert by bdds
78.41/78.89 c d: 1
78.41/78.89 c estimatedAdderCost: 776
78.41/78.89 c Try to convert by bdds
78.91/79.34 c d: 1
78.91/79.34 c estimatedAdderCost: 778
78.91/79.34 c Try to convert by bdds
79.51/79.93 c d: 1
79.51/79.93 c estimatedAdderCost: 778
79.51/79.93 c Try to convert by bdds
79.91/80.37 c d: 1
79.91/80.37 c estimatedAdderCost: 776
79.91/80.37 c Try to convert by bdds
80.91/81.31 c d: 1
80.91/81.31 c estimatedAdderCost: 779
80.91/81.31 c Try to convert by bdds
81.31/81.77 c d: 1
81.31/81.77 c estimatedAdderCost: 777
81.31/81.77 c Try to convert by bdds
81.90/82.36 c d: 1
81.90/82.36 c estimatedAdderCost: 779
81.90/82.36 c Try to convert by bdds
82.40/82.81 c d: 1
82.40/82.81 c estimatedAdderCost: 776
82.40/82.81 c Try to convert by bdds
83.00/83.42 c d: 1
83.00/83.42 c estimatedAdderCost: 777
83.00/83.42 c Try to convert by bdds
83.40/83.87 c d: 1
83.40/83.87 c estimatedAdderCost: 780
83.40/83.87 c Try to convert by bdds
83.99/84.47 c d: 1
83.99/84.47 c estimatedAdderCost: 776
83.99/84.47 c Try to convert by bdds
84.49/84.92 c d: 1
84.49/84.92 c estimatedAdderCost: 779
84.49/84.92 c Try to convert by bdds
85.09/85.54 c d: 1
85.09/85.54 c estimatedAdderCost: 776
85.09/85.54 c Try to convert by bdds
85.49/85.99 c d: 1
85.49/85.99 c estimatedAdderCost: 777
85.49/85.99 c Try to convert by bdds
86.08/86.59 c d: 1
86.08/86.59 c estimatedAdderCost: 775
86.08/86.59 c Try to convert by bdds
86.59/87.04 c d: 1
86.59/87.04 c estimatedAdderCost: 779
86.59/87.04 c Try to convert by bdds
87.18/87.64 c d: 1
87.18/87.64 c estimatedAdderCost: 777
87.18/87.64 c Try to convert by bdds
87.59/88.09 c d: 1
87.59/88.09 c estimatedAdderCost: 777
87.59/88.09 c Try to convert by bdds
88.17/88.66 c d: 1
88.17/88.66 c estimatedAdderCost: 777
88.17/88.66 c Try to convert by bdds
88.68/89.11 c d: 1
88.68/89.11 c estimatedAdderCost: 778
88.68/89.11 c Try to convert by bdds
89.27/89.71 c d: 1
89.27/89.71 c estimatedAdderCost: 775
89.27/89.71 c Try to convert by bdds
89.68/90.17 c d: 1
89.68/90.17 c estimatedAdderCost: 777
89.68/90.17 c Try to convert by bdds
90.27/90.77 c d: 1
90.27/90.77 c estimatedAdderCost: 777
90.27/90.77 c Try to convert by bdds
90.76/91.22 c d: 1
90.76/91.22 c estimatedAdderCost: 776
90.76/91.22 c Try to convert by bdds
91.36/91.83 c d: 1
91.36/91.83 c estimatedAdderCost: 777
91.36/91.83 c Try to convert by bdds
91.76/92.28 c d: 1
91.76/92.28 c estimatedAdderCost: 776
91.76/92.28 c Try to convert by bdds
92.35/92.89 c d: 1
92.35/92.89 c estimatedAdderCost: 779
92.35/92.89 c Try to convert by bdds
92.85/93.34 c d: 1
92.85/93.34 c estimatedAdderCost: 776
92.85/93.34 c Try to convert by bdds
93.45/93.96 c d: 1
93.45/93.96 c estimatedAdderCost: 777
93.45/93.96 c Try to convert by bdds
93.95/94.42 c d: 1
93.95/94.42 c estimatedAdderCost: 777
93.95/94.42 c Try to convert by bdds
94.56/95.04 c d: 1
94.56/95.04 c estimatedAdderCost: 777
94.56/95.04 c Try to convert by bdds
94.94/95.50 c d: 1
94.94/95.50 c estimatedAdderCost: 777
94.94/95.50 c Try to convert by bdds
95.55/96.11 c d: 1
95.55/96.11 c estimatedAdderCost: 778
95.55/96.11 c Try to convert by bdds
96.04/96.57 c d: 1
96.04/96.57 c estimatedAdderCost: 778
96.04/96.57 c Try to convert by bdds
96.73/97.20 c d: 1
96.73/97.20 c estimatedAdderCost: 777
96.73/97.20 c Try to convert by bdds
97.13/97.66 c d: 1
97.13/97.66 c estimatedAdderCost: 778
97.13/97.66 c Try to convert by bdds
97.73/98.28 c d: 1
97.73/98.28 c estimatedAdderCost: 777
97.73/98.28 c Try to convert by bdds
98.23/98.74 c d: 1
98.23/98.74 c estimatedAdderCost: 776
98.23/98.74 c Try to convert by bdds
98.82/99.35 c d: 1
98.82/99.35 c estimatedAdderCost: 776
98.82/99.35 c Try to convert by bdds
99.32/99.82 c d: 1
99.32/99.82 c estimatedAdderCost: 776
99.32/99.82 c Try to convert by bdds
99.93/100.43 c d: 1
99.93/100.43 c estimatedAdderCost: 774
99.93/100.43 c Try to convert by bdds
100.32/100.90 c d: 1
100.32/100.90 c estimatedAdderCost: 777
100.32/100.90 c Try to convert by bdds
101.02/101.51 c d: 1
101.02/101.51 c estimatedAdderCost: 776
101.02/101.51 c Try to convert by bdds
101.42/101.97 c d: 1
101.42/101.97 c estimatedAdderCost: 779
101.42/101.97 c Try to convert by bdds
102.12/102.60 c d: 1
102.12/102.60 c estimatedAdderCost: 777
102.12/102.60 c Try to convert by bdds
102.53/103.07 c d: 1
102.53/103.07 c estimatedAdderCost: 777
102.53/103.07 c Try to convert by bdds
103.21/103.70 c d: 1
103.21/103.70 c estimatedAdderCost: 777
103.21/103.70 c Try to convert by bdds
103.62/104.17 c d: 1
103.62/104.17 c estimatedAdderCost: 776
103.62/104.17 c Try to convert by bdds
104.20/104.78 c d: 1
104.20/104.78 c estimatedAdderCost: 778
104.20/104.78 c Try to convert by bdds
104.70/105.25 c d: 1
104.70/105.25 c estimatedAdderCost: 780
104.70/105.25 c Try to convert by bdds
105.30/105.86 c d: 1
105.30/105.86 c estimatedAdderCost: 776
105.30/105.86 c Try to convert by bdds
105.80/106.32 c d: 1
105.80/106.32 c estimatedAdderCost: 778
105.80/106.32 c Try to convert by bdds
106.39/106.95 c d: 1
106.39/106.95 c estimatedAdderCost: 776
106.39/106.95 c Try to convert by bdds
106.89/107.41 c d: 1
106.89/107.41 c estimatedAdderCost: 779
106.89/107.41 c Try to convert by bdds
107.50/108.03 c d: 1
107.50/108.03 c estimatedAdderCost: 777
107.50/108.03 c Try to convert by bdds
107.98/108.50 c d: 1
107.98/108.50 c estimatedAdderCost: 779
107.98/108.50 c Try to convert by bdds
108.59/109.14 c d: 1
108.59/109.14 c estimatedAdderCost: 777
108.59/109.14 c Try to convert by bdds
109.08/109.60 c d: 1
109.08/109.60 c estimatedAdderCost: 775
109.08/109.60 c Try to convert by bdds
109.68/110.23 c d: 1
109.68/110.23 c estimatedAdderCost: 775
109.68/110.23 c Try to convert by bdds
110.17/110.70 c d: 1
110.17/110.70 c estimatedAdderCost: 779
110.17/110.70 c Try to convert by bdds
110.77/111.34 c d: 1
110.77/111.34 c estimatedAdderCost: 777
110.77/111.34 c Try to convert by bdds
111.27/111.80 c d: 1
111.27/111.80 c estimatedAdderCost: 774
111.27/111.80 c Try to convert by bdds
111.87/112.44 c d: 1
111.87/112.44 c estimatedAdderCost: 776
111.87/112.44 c Try to convert by bdds
112.36/112.91 c d: 1
112.36/112.91 c estimatedAdderCost: 777
112.36/112.91 c Try to convert by bdds
112.97/113.52 c d: 1
112.97/113.52 c estimatedAdderCost: 775
112.97/113.52 c Try to convert by bdds
113.37/113.98 c d: 1
113.37/113.98 c estimatedAdderCost: 777
113.37/113.98 c Try to convert by bdds
114.06/114.61 c d: 1
114.06/114.61 c estimatedAdderCost: 776
114.06/114.61 c Try to convert by bdds
114.47/115.08 c d: 1
114.47/115.08 c estimatedAdderCost: 776
114.47/115.08 c Try to convert by bdds
115.16/115.70 c d: 1
115.16/115.70 c estimatedAdderCost: 776
115.16/115.70 c Try to convert by bdds
115.57/116.16 c d: 1
115.57/116.16 c estimatedAdderCost: 778
115.57/116.16 c Try to convert by bdds
116.15/116.79 c d: 1
116.15/116.79 c estimatedAdderCost: 776
116.15/116.79 c Try to convert by bdds
116.65/117.25 c d: 1
116.65/117.25 c estimatedAdderCost: 777
116.65/117.25 c Try to convert by bdds
117.25/117.87 c d: 1
117.25/117.87 c estimatedAdderCost: 778
117.25/117.87 c Try to convert by bdds
117.75/118.34 c d: 1
117.75/118.34 c estimatedAdderCost: 779
117.75/118.34 c Try to convert by bdds
118.34/118.98 c d: 1
118.34/118.98 c estimatedAdderCost: 777
118.34/118.98 c Try to convert by bdds
118.84/119.44 c d: 1
118.84/119.44 c estimatedAdderCost: 777
118.84/119.44 c Try to convert by bdds
119.45/120.06 c d: 1
119.45/120.06 c estimatedAdderCost: 775
119.45/120.06 c Try to convert by bdds
119.93/120.52 c d: 1
119.93/120.52 c estimatedAdderCost: 775
119.93/120.52 c Try to convert by bdds
120.54/121.15 c d: 1
120.54/121.15 c estimatedAdderCost: 776
120.54/121.15 c Try to convert by bdds
121.03/121.62 c d: 1
121.03/121.62 c estimatedAdderCost: 777
121.03/121.62 c Try to convert by bdds
121.63/122.24 c d: 1
121.63/122.24 c estimatedAdderCost: 778
121.63/122.24 c Try to convert by bdds
122.12/122.70 c d: 1
122.12/122.70 c estimatedAdderCost: 777
122.12/122.70 c Try to convert by bdds
122.72/123.33 c d: 1
122.72/123.33 c estimatedAdderCost: 776
122.72/123.33 c Try to convert by bdds
123.12/123.80 c d: 1
123.12/123.80 c estimatedAdderCost: 776
123.12/123.80 c Try to convert by bdds
123.81/124.42 c d: 1
123.81/124.42 c estimatedAdderCost: 774
123.81/124.42 c Try to convert by bdds
124.21/124.88 c d: 1
124.21/124.88 c estimatedAdderCost: 778
124.21/124.88 c Try to convert by bdds
124.91/125.51 c d: 1
124.91/125.51 c estimatedAdderCost: 777
124.91/125.51 c Try to convert by bdds
125.31/125.96 c d: 1
125.31/125.96 c estimatedAdderCost: 777
125.31/125.96 c Try to convert by bdds
125.90/126.59 c d: 1
125.90/126.59 c estimatedAdderCost: 778
125.90/126.59 c Try to convert by bdds
126.41/127.05 c d: 1
126.41/127.05 c estimatedAdderCost: 778
126.41/127.05 c Try to convert by bdds
127.00/127.68 c d: 1
127.00/127.68 c estimatedAdderCost: 777
127.00/127.68 c Try to convert by bdds
127.51/128.15 c d: 1
127.51/128.15 c estimatedAdderCost: 776
127.51/128.15 c Try to convert by bdds
128.09/128.78 c d: 1
128.09/128.78 c estimatedAdderCost: 776
128.09/128.78 c Try to convert by bdds
128.59/129.25 c d: 1
128.59/129.25 c estimatedAdderCost: 776
128.59/129.25 c Try to convert by bdds
129.19/129.88 c d: 1
129.19/129.88 c estimatedAdderCost: 777
129.19/129.88 c Try to convert by bdds
129.69/130.35 c d: 1
129.69/130.35 c estimatedAdderCost: 778
129.69/130.35 c Try to convert by bdds
130.29/130.97 c d: 1
130.29/130.97 c estimatedAdderCost: 778
130.29/130.97 c Try to convert by bdds
130.79/131.44 c d: 1
130.79/131.44 c estimatedAdderCost: 778
130.79/131.44 c Try to convert by bdds
131.40/132.07 c d: 1
131.40/132.07 c estimatedAdderCost: 777
131.40/132.07 c Try to convert by bdds
131.88/132.54 c d: 1
131.88/132.54 c estimatedAdderCost: 779
131.88/132.54 c Try to convert by bdds
132.49/133.18 c d: 1
132.49/133.18 c estimatedAdderCost: 777
132.49/133.18 c Try to convert by bdds
132.98/133.65 c d: 1
132.98/133.65 c estimatedAdderCost: 776
132.98/133.65 c Try to convert by bdds
133.57/134.29 c d: 1
133.57/134.29 c estimatedAdderCost: 777
133.57/134.29 c Try to convert by bdds
134.07/134.77 c d: 1
134.07/134.77 c estimatedAdderCost: 778
134.07/134.77 c Try to convert by bdds
134.77/135.43 c d: 1
134.77/135.43 c estimatedAdderCost: 778
134.77/135.43 c Try to convert by bdds
135.26/135.90 c d: 1
135.26/135.90 c estimatedAdderCost: 776
135.26/135.90 c Try to convert by bdds
135.86/136.55 c d: 1
135.86/136.55 c estimatedAdderCost: 777
135.86/136.55 c Try to convert by bdds
136.37/137.02 c d: 1
136.37/137.02 c estimatedAdderCost: 775
136.37/137.02 c Try to convert by bdds
136.95/137.66 c d: 1
136.95/137.66 c estimatedAdderCost: 777
136.95/137.66 c Try to convert by bdds
137.46/138.14 c d: 1
137.46/138.14 c estimatedAdderCost: 777
137.46/138.14 c Try to convert by bdds
138.05/138.78 c d: 1
138.05/138.78 c estimatedAdderCost: 779
138.05/138.78 c Try to convert by bdds
138.55/139.26 c d: 1
138.55/139.26 c estimatedAdderCost: 777
138.55/139.26 c Try to convert by bdds
139.24/139.90 c d: 1
139.24/139.90 c estimatedAdderCost: 776
139.24/139.90 c Try to convert by bdds
139.64/140.38 c d: 1
139.64/140.38 c estimatedAdderCost: 776
139.64/140.38 c Try to convert by bdds
140.35/141.01 c d: 1
140.35/141.01 c estimatedAdderCost: 778
140.35/141.01 c Try to convert by bdds
140.73/141.49 c d: 1
140.73/141.49 c estimatedAdderCost: 778
140.73/141.49 c Try to convert by bdds
141.44/142.15 c d: 1
141.44/142.15 c estimatedAdderCost: 778
141.44/142.15 c Try to convert by bdds
141.93/142.62 c d: 1
141.93/142.62 c estimatedAdderCost: 778
141.93/142.62 c Try to convert by bdds
142.52/143.24 c d: 1
142.52/143.24 c estimatedAdderCost: 777
142.52/143.24 c Try to convert by bdds
143.02/143.72 c d: 1
143.02/143.72 c estimatedAdderCost: 777
143.02/143.72 c Try to convert by bdds
143.62/144.36 c d: 1
143.62/144.36 c estimatedAdderCost: 777
143.62/144.36 c Try to convert by bdds
144.12/144.84 c d: 1
144.12/144.84 c estimatedAdderCost: 777
144.12/144.84 c Try to convert by bdds
144.71/145.47 c d: 1
144.71/145.47 c estimatedAdderCost: 775
144.71/145.47 c Try to convert by bdds
145.21/145.94 c d: 1
145.21/145.94 c estimatedAdderCost: 777
145.21/145.94 c Try to convert by bdds
145.81/146.58 c d: 1
145.81/146.58 c estimatedAdderCost: 778
145.81/146.58 c Try to convert by bdds
146.32/147.05 c d: 1
146.32/147.05 c estimatedAdderCost: 777
146.32/147.05 c Try to convert by bdds
146.90/147.69 c d: 1
146.90/147.69 c estimatedAdderCost: 779
146.90/147.69 c Try to convert by bdds
147.42/148.14 c d: 1
147.42/148.14 c estimatedAdderCost: 777
147.42/148.14 c Try to convert by bdds
148.00/148.77 c d: 1
148.00/148.77 c estimatedAdderCost: 778
148.00/148.77 c Try to convert by bdds
148.50/149.25 c d: 1
148.50/149.25 c estimatedAdderCost: 777
148.50/149.25 c Try to convert by bdds
149.09/149.88 c d: 1
149.09/149.88 c estimatedAdderCost: 777
149.09/149.88 c Try to convert by bdds
149.59/150.35 c d: 1
149.59/150.35 c estimatedAdderCost: 777
149.59/150.35 c Try to convert by bdds
150.20/150.99 c d: 1
150.20/150.99 c estimatedAdderCost: 778
150.20/150.99 c Try to convert by bdds
150.70/151.44 c d: 1
150.70/151.44 c estimatedAdderCost: 777
150.70/151.44 c Try to convert by bdds
151.31/152.07 c d: 1
151.31/152.07 c estimatedAdderCost: 775
151.31/152.07 c Try to convert by bdds
151.79/152.54 c d: 1
151.79/152.54 c estimatedAdderCost: 775
151.79/152.54 c Try to convert by bdds
152.40/153.17 c d: 1
152.40/153.17 c estimatedAdderCost: 776
152.40/153.17 c Try to convert by bdds
152.88/153.64 c d: 1
152.88/153.64 c estimatedAdderCost: 777
152.88/153.64 c Try to convert by bdds
153.48/154.27 c d: 1
153.48/154.27 c estimatedAdderCost: 775
153.48/154.27 c Try to convert by bdds
153.98/154.74 c d: 1
153.98/154.74 c estimatedAdderCost: 777
153.98/154.74 c Try to convert by bdds
154.58/155.38 c d: 1
154.58/155.38 c estimatedAdderCost: 776
154.58/155.38 c Try to convert by bdds
155.07/155.85 c d: 1
155.07/155.85 c estimatedAdderCost: 777
155.07/155.85 c Try to convert by bdds
155.67/156.49 c d: 1
155.67/156.49 c estimatedAdderCost: 777
155.67/156.49 c Try to convert by bdds
156.17/156.96 c d: 1
156.17/156.96 c estimatedAdderCost: 778
156.17/156.96 c Try to convert by bdds
156.86/157.61 c d: 1
156.86/157.61 c estimatedAdderCost: 777
156.86/157.61 c Try to convert by bdds
157.27/158.08 c d: 1
157.27/158.08 c estimatedAdderCost: 777
157.27/158.08 c Try to convert by bdds
157.86/158.67 c d: 1
157.86/158.67 c estimatedAdderCost: 778
157.86/158.67 c Try to convert by bdds
158.37/159.13 c d: 1
158.37/159.13 c estimatedAdderCost: 777
158.37/159.13 c Try to convert by bdds
158.95/159.76 c d: 1
158.95/159.76 c estimatedAdderCost: 778
158.95/159.76 c Try to convert by bdds
159.45/160.24 c d: 1
159.45/160.24 c estimatedAdderCost: 775
159.45/160.24 c Try to convert by bdds
160.74/161.58 c d: 1
160.74/161.58 c estimatedAdderCost: 777
160.74/161.58 c Try to convert by bdds
161.25/162.05 c d: 1
161.25/162.05 c estimatedAdderCost: 776
161.25/162.05 c Try to convert by bdds
161.83/162.69 c d: 1
161.83/162.69 c estimatedAdderCost: 776
161.83/162.69 c Try to convert by bdds
162.35/163.15 c d: 1
162.35/163.15 c estimatedAdderCost: 777
162.35/163.15 c Try to convert by bdds
162.94/163.78 c d: 1
162.94/163.78 c estimatedAdderCost: 776
162.94/163.78 c Try to convert by bdds
163.43/164.25 c d: 1
163.43/164.25 c estimatedAdderCost: 777
163.43/164.25 c Try to convert by bdds
164.03/164.88 c d: 1
164.03/164.88 c estimatedAdderCost: 777
164.03/164.88 c Try to convert by bdds
164.53/165.35 c d: 1
164.53/165.35 c estimatedAdderCost: 778
164.53/165.35 c Try to convert by bdds
165.12/166.00 c d: 1
165.12/166.00 c estimatedAdderCost: 777
165.12/166.00 c Try to convert by bdds
165.62/166.46 c d: 1
165.62/166.46 c estimatedAdderCost: 777
165.62/166.46 c Try to convert by bdds
166.23/167.10 c d: 1
166.23/167.10 c estimatedAdderCost: 779
166.23/167.10 c Try to convert by bdds
166.72/167.57 c d: 1
166.72/167.57 c estimatedAdderCost: 777
166.72/167.57 c Try to convert by bdds
167.41/168.21 c d: 1
167.41/168.21 c estimatedAdderCost: 777
167.41/168.21 c Try to convert by bdds
167.81/168.67 c d: 1
167.81/168.67 c estimatedAdderCost: 777
167.81/168.67 c Try to convert by bdds
168.51/169.31 c d: 1
168.51/169.31 c estimatedAdderCost: 777
168.51/169.31 c Try to convert by bdds
168.91/169.78 c d: 1
168.91/169.78 c estimatedAdderCost: 778
168.91/169.78 c Try to convert by bdds
169.60/170.42 c d: 1
169.60/170.42 c estimatedAdderCost: 776
169.60/170.42 c Try to convert by bdds
170.00/170.89 c d: 1
170.00/170.89 c estimatedAdderCost: 778
170.00/170.89 c Try to convert by bdds
170.69/171.53 c d: 1
170.69/171.53 c estimatedAdderCost: 777
170.69/171.53 c Try to convert by bdds
171.09/172.00 c d: 1
171.09/172.00 c estimatedAdderCost: 776
171.09/172.00 c Try to convert by bdds
171.79/172.62 c d: 1
171.79/172.62 c estimatedAdderCost: 775
171.79/172.62 c Try to convert by bdds
172.20/173.09 c d: 1
172.20/173.09 c estimatedAdderCost: 779
172.20/173.09 c Try to convert by bdds
172.88/173.74 c d: 1
172.88/173.74 c estimatedAdderCost: 776
172.88/173.74 c Try to convert by bdds
173.38/174.21 c d: 1
173.38/174.21 c estimatedAdderCost: 777
173.38/174.21 c Try to convert by bdds
173.98/174.84 c d: 1
173.98/174.84 c estimatedAdderCost: 779
173.98/174.84 c Try to convert by bdds
174.48/175.32 c d: 1
174.48/175.32 c estimatedAdderCost: 778
174.48/175.32 c Try to convert by bdds
175.07/175.96 c d: 1
175.07/175.96 c estimatedAdderCost: 778
175.07/175.96 c Try to convert by bdds
175.57/176.43 c d: 1
175.57/176.43 c estimatedAdderCost: 777
175.57/176.43 c Try to convert by bdds
176.18/177.08 c d: 1
176.18/177.08 c estimatedAdderCost: 777
176.18/177.08 c Try to convert by bdds
176.66/177.55 c d: 1
176.66/177.55 c estimatedAdderCost: 777
176.66/177.55 c Try to convert by bdds
177.36/178.20 c d: 1
177.36/178.20 c estimatedAdderCost: 778
177.36/178.20 c Try to convert by bdds
177.76/178.67 c d: 1
177.76/178.67 c estimatedAdderCost: 778
177.76/178.67 c Try to convert by bdds
178.45/179.31 c d: 1
178.45/179.31 c estimatedAdderCost: 778
178.45/179.31 c Try to convert by bdds
178.95/179.80 c d: 1
178.95/179.80 c estimatedAdderCost: 778
178.95/179.80 c Try to convert by bdds
179.55/180.40 c d: 1
179.55/180.40 c estimatedAdderCost: 776
179.55/180.40 c Try to convert by bdds
179.95/180.87 c d: 1
179.95/180.87 c estimatedAdderCost: 776
179.95/180.87 c Try to convert by bdds
180.65/181.51 c d: 1
180.65/181.51 c estimatedAdderCost: 777
180.65/181.51 c Try to convert by bdds
181.05/181.98 c d: 1
181.05/181.98 c estimatedAdderCost: 778
181.05/181.98 c Try to convert by bdds
181.74/182.63 c d: 1
181.74/182.63 c estimatedAdderCost: 776
181.74/182.63 c Try to convert by bdds
182.16/183.09 c d: 1
182.16/183.09 c estimatedAdderCost: 777
182.16/183.09 c Try to convert by bdds
182.84/183.73 c d: 1
182.84/183.73 c estimatedAdderCost: 776
182.84/183.73 c Try to convert by bdds
183.34/184.22 c d: 1
183.34/184.22 c estimatedAdderCost: 777
183.34/184.22 c Try to convert by bdds
183.93/184.83 c d: 1
183.93/184.83 c estimatedAdderCost: 776
183.93/184.83 c Try to convert by bdds
184.43/185.30 c d: 1
184.43/185.30 c estimatedAdderCost: 776
184.43/185.30 c Try to convert by bdds
185.03/185.94 c d: 1
185.03/185.94 c estimatedAdderCost: 776
185.03/185.94 c Try to convert by bdds
185.52/186.42 c d: 1
185.52/186.42 c estimatedAdderCost: 778
185.52/186.42 c Try to convert by bdds
186.13/187.07 c d: 1
186.13/187.07 c estimatedAdderCost: 776
186.13/187.07 c Try to convert by bdds
186.62/187.55 c d: 1
186.62/187.55 c estimatedAdderCost: 777
186.62/187.55 c Try to convert by bdds
187.23/188.18 c d: 1
187.23/188.18 c estimatedAdderCost: 779
187.23/188.18 c Try to convert by bdds
187.71/188.66 c d: 1
187.71/188.66 c estimatedAdderCost: 776
187.71/188.66 c Try to convert by bdds
188.41/189.30 c d: 1
188.41/189.30 c estimatedAdderCost: 774
188.41/189.30 c Try to convert by bdds
188.81/189.78 c d: 1
188.81/189.78 c estimatedAdderCost: 775
188.81/189.78 c Try to convert by bdds
189.50/190.43 c d: 1
189.50/190.43 c estimatedAdderCost: 776
189.50/190.43 c Try to convert by bdds
189.90/190.89 c d: 1
189.90/190.89 c estimatedAdderCost: 777
189.90/190.89 c Try to convert by bdds
190.59/191.52 c d: 1
190.59/191.52 c estimatedAdderCost: 777
190.59/191.52 c Try to convert by bdds
190.99/192.00 c d: 1
190.99/192.00 c estimatedAdderCost: 777
190.99/192.00 c Try to convert by bdds
191.69/192.64 c d: 1
191.69/192.64 c estimatedAdderCost: 777
191.69/192.64 c Try to convert by bdds
192.20/193.12 c d: 1
192.20/193.12 c estimatedAdderCost: 778
192.20/193.12 c Try to convert by bdds
192.78/193.71 c d: 1
192.78/193.71 c estimatedAdderCost: 776
192.78/193.71 c Try to convert by bdds
193.19/194.17 c d: 1
193.19/194.17 c estimatedAdderCost: 778
193.19/194.17 c Try to convert by bdds
193.88/194.81 c d: 1
193.88/194.81 c estimatedAdderCost: 777
193.88/194.81 c Try to convert by bdds
194.28/195.28 c d: 1
194.28/195.28 c estimatedAdderCost: 778
194.28/195.28 c Try to convert by bdds
194.98/195.94 c d: 1
194.98/195.94 c estimatedAdderCost: 778
194.98/195.94 c Try to convert by bdds
195.48/196.41 c d: 1
195.48/196.41 c estimatedAdderCost: 778
195.48/196.41 c Try to convert by bdds
196.09/197.06 c d: 1
196.09/197.06 c estimatedAdderCost: 775
196.09/197.06 c Try to convert by bdds
196.57/197.54 c d: 1
196.57/197.54 c estimatedAdderCost: 778
196.57/197.54 c Try to convert by bdds
197.18/198.19 c d: 1
197.18/198.19 c estimatedAdderCost: 778
197.18/198.19 c Try to convert by bdds
197.67/198.67 c d: 1
197.67/198.67 c estimatedAdderCost: 774
197.67/198.67 c Try to convert by bdds
198.36/199.32 c d: 1
198.36/199.32 c estimatedAdderCost: 776
198.36/199.32 c Try to convert by bdds
198.86/199.80 c d: 1
198.86/199.80 c estimatedAdderCost: 778
198.86/199.80 c Try to convert by bdds
199.46/200.45 c d: 1
199.46/200.45 c estimatedAdderCost: 777
199.46/200.45 c Try to convert by bdds
199.95/200.93 c d: 1
199.95/200.93 c estimatedAdderCost: 777
199.95/200.93 c Try to convert by bdds
200.55/201.57 c d: 1
200.55/201.57 c estimatedAdderCost: 776
200.55/201.57 c Try to convert by bdds
201.06/202.06 c d: 1
201.06/202.06 c estimatedAdderCost: 777
201.06/202.06 c Try to convert by bdds
201.74/202.70 c d: 1
201.74/202.70 c estimatedAdderCost: 776
201.74/202.70 c Try to convert by bdds
202.15/203.18 c d: 1
202.15/203.18 c estimatedAdderCost: 776
202.15/203.18 c Try to convert by bdds
202.84/203.83 c d: 1
202.84/203.83 c estimatedAdderCost: 775
202.84/203.83 c Try to convert by bdds
203.33/204.32 c d: 1
203.33/204.32 c estimatedAdderCost: 775
203.33/204.32 c Try to convert by bdds
203.93/204.96 c d: 1
203.93/204.96 c estimatedAdderCost: 776
203.93/204.96 c Try to convert by bdds
204.43/205.45 c d: 1
204.43/205.45 c estimatedAdderCost: 778
204.43/205.45 c Try to convert by bdds
205.05/206.10 c d: 1
205.05/206.10 c estimatedAdderCost: 777
205.05/206.10 c Try to convert by bdds
205.53/206.58 c d: 1
205.53/206.58 c estimatedAdderCost: 777
205.53/206.58 c Try to convert by bdds
206.23/207.22 c d: 1
206.23/207.22 c estimatedAdderCost: 776
206.23/207.22 c Try to convert by bdds
206.72/207.70 c d: 1
206.72/207.70 c estimatedAdderCost: 778
206.72/207.70 c Try to convert by bdds
207.32/208.35 c d: 1
207.32/208.35 c estimatedAdderCost: 778
207.32/208.35 c Try to convert by bdds
207.82/208.83 c d: 1
207.82/208.83 c estimatedAdderCost: 777
207.82/208.83 c Try to convert by bdds
208.42/209.45 c d: 1
208.42/209.45 c estimatedAdderCost: 777
208.42/209.45 c Try to convert by bdds
208.91/209.92 c d: 1
208.91/209.92 c estimatedAdderCost: 776
208.91/209.92 c Try to convert by bdds
209.51/210.57 c d: 1
209.51/210.57 c estimatedAdderCost: 778
209.51/210.57 c Try to convert by bdds
210.02/211.05 c d: 1
210.02/211.05 c estimatedAdderCost: 776
210.02/211.05 c Try to convert by bdds
210.70/211.70 c d: 1
210.70/211.70 c estimatedAdderCost: 776
210.70/211.70 c Try to convert by bdds
211.12/212.19 c d: 1
211.12/212.19 c estimatedAdderCost: 775
211.12/212.19 c Try to convert by bdds
211.80/212.85 c d: 1
211.80/212.85 c estimatedAdderCost: 775
211.80/212.85 c Try to convert by bdds
212.30/213.33 c d: 1
212.30/213.33 c estimatedAdderCost: 778
212.30/213.33 c Try to convert by bdds
212.89/213.97 c d: 1
212.89/213.97 c estimatedAdderCost: 778
212.89/213.97 c Try to convert by bdds
213.39/214.45 c d: 1
213.39/214.45 c estimatedAdderCost: 777
213.39/214.45 c Try to convert by bdds
214.10/215.12 c d: 1
214.10/215.12 c estimatedAdderCost: 777
214.10/215.12 c Try to convert by bdds
214.58/215.60 c d: 1
214.58/215.60 c estimatedAdderCost: 776
214.58/215.60 c Try to convert by bdds
215.18/216.24 c d: 1
215.18/216.24 c estimatedAdderCost: 776
215.18/216.24 c Try to convert by bdds
215.68/216.72 c d: 1
215.68/216.72 c estimatedAdderCost: 776
215.68/216.72 c Try to convert by bdds
216.27/217.37 c d: 1
216.27/217.37 c estimatedAdderCost: 775
216.27/217.37 c Try to convert by bdds
216.77/217.85 c d: 1
216.77/217.85 c estimatedAdderCost: 778
216.77/217.85 c Try to convert by bdds
217.47/218.50 c d: 1
217.47/218.50 c estimatedAdderCost: 778
217.47/218.50 c Try to convert by bdds
217.87/218.96 c d: 1
217.87/218.96 c estimatedAdderCost: 774
217.87/218.96 c Try to convert by bdds
218.57/219.63 c d: 1
218.57/219.63 c estimatedAdderCost: 776
218.57/219.63 c Try to convert by bdds
218.98/220.11 c d: 1
218.98/220.11 c estimatedAdderCost: 777
218.98/220.11 c Try to convert by bdds
219.66/220.75 c d: 1
219.66/220.75 c estimatedAdderCost: 779
219.66/220.75 c Try to convert by bdds
220.16/221.24 c d: 1
220.16/221.24 c estimatedAdderCost: 778
220.16/221.24 c Try to convert by bdds
220.76/221.89 c d: 1
220.76/221.89 c estimatedAdderCost: 778
220.76/221.89 c Try to convert by bdds
221.26/222.36 c d: 1
221.26/222.36 c estimatedAdderCost: 202
221.26/222.36 c Try to convert by bdds
221.26/222.39 c d: 1
221.26/222.39 c estimatedAdderCost: 204
221.26/222.39 c Try to convert by bdds
221.36/222.41 c d: 1
221.36/222.41 c estimatedAdderCost: 204
221.36/222.41 c Try to convert by bdds
221.36/222.44 c d: 1
221.36/222.44 c estimatedAdderCost: 204
221.36/222.44 c Try to convert by bdds
221.36/222.46 c d: 1
221.36/222.46 c estimatedAdderCost: 203
221.36/222.46 c Try to convert by bdds
221.36/222.49 c d: 1
221.36/222.49 c estimatedAdderCost: 204
221.36/222.49 c Try to convert by bdds
221.46/222.52 c d: 1
221.46/222.52 c estimatedAdderCost: 202
221.46/222.52 c Try to convert by bdds
221.46/222.55 c d: 1
221.46/222.55 c estimatedAdderCost: 204
221.46/222.55 c Try to convert by bdds
221.46/222.57 c d: 1
221.46/222.57 c estimatedAdderCost: 203
221.46/222.57 c Try to convert by bdds
221.56/222.60 c d: 1
221.56/222.60 c estimatedAdderCost: 203
221.56/222.60 c Try to convert by bdds
221.56/222.62 c d: 1
221.56/222.62 c estimatedAdderCost: 202
221.56/222.62 c Try to convert by bdds
221.56/222.65 c d: 1
221.56/222.65 c estimatedAdderCost: 204
221.56/222.65 c Try to convert by bdds
221.56/222.68 c d: 1
221.56/222.68 c estimatedAdderCost: 206
221.56/222.68 c Try to convert by bdds
221.65/222.71 c d: 1
221.65/222.71 c estimatedAdderCost: 204
221.65/222.71 c Try to convert by bdds
221.65/222.73 c d: 1
221.65/222.73 c estimatedAdderCost: 205
221.65/222.73 c Try to convert by bdds
221.65/222.76 c d: 1
221.65/222.76 c estimatedAdderCost: 203
221.65/222.76 c Try to convert by bdds
221.65/222.79 c d: 1
221.65/222.79 c estimatedAdderCost: 203
221.65/222.79 c Try to convert by bdds
221.75/222.82 c d: 1
221.75/222.82 c estimatedAdderCost: 204
221.75/222.82 c Try to convert by bdds
221.75/222.84 c d: 1
221.75/222.84 c estimatedAdderCost: 206
221.75/222.84 c Try to convert by bdds
221.75/222.87 c d: 1
221.75/222.87 c estimatedAdderCost: 204
221.75/222.87 c Try to convert by bdds
221.75/222.89 c d: 1
221.75/222.89 c estimatedAdderCost: 204
221.75/222.89 c Try to convert by bdds
221.85/222.92 c d: 1
221.85/222.92 c estimatedAdderCost: 204
221.85/222.92 c Try to convert by bdds
221.85/222.95 c d: 1
221.85/222.95 c estimatedAdderCost: 204
221.85/222.95 c Try to convert by bdds
221.85/222.98 c d: 1
221.85/222.98 c estimatedAdderCost: 202
221.85/222.98 c Try to convert by bdds
221.85/223.00 c d: 1
221.85/223.00 c estimatedAdderCost: 204
221.85/223.00 c Try to convert by bdds
221.97/223.03 c d: 1
221.97/223.03 c estimatedAdderCost: 203
221.97/223.03 c Try to convert by bdds
221.97/223.05 c d: 1
221.97/223.05 c estimatedAdderCost: 203
221.97/223.05 c Try to convert by bdds
221.97/223.08 c d: 1
221.97/223.08 c estimatedAdderCost: 203
221.97/223.08 c Try to convert by bdds
221.97/223.10 c d: 1
221.97/223.10 c estimatedAdderCost: 206
221.97/223.10 c Try to convert by bdds
222.07/223.14 c d: 1
222.07/223.14 c estimatedAdderCost: 204
222.07/223.14 c Try to convert by bdds
222.07/223.16 c d: 1
222.07/223.16 c estimatedAdderCost: 204
222.07/223.16 c Try to convert by bdds
222.07/223.19 c d: 1
222.07/223.19 c estimatedAdderCost: 204
222.07/223.19 c Try to convert by bdds
222.15/223.21 c d: 1
222.15/223.21 c estimatedAdderCost: 205
222.15/223.21 c Try to convert by bdds
222.15/223.24 c d: 1
222.15/223.24 c estimatedAdderCost: 203
222.15/223.24 c Try to convert by bdds
222.15/223.26 c d: 1
222.15/223.26 c estimatedAdderCost: 204
222.15/223.26 c Try to convert by bdds
222.15/223.29 c d: 1
222.15/223.29 c estimatedAdderCost: 203
222.15/223.29 c Try to convert by bdds
222.25/223.32 c d: 1
222.25/223.32 c estimatedAdderCost: 205
222.25/223.32 c Try to convert by bdds
222.25/223.35 c d: 1
222.25/223.35 c estimatedAdderCost: 203
222.25/223.35 c Try to convert by bdds
222.25/223.37 c d: 1
222.25/223.37 c estimatedAdderCost: 203
222.25/223.37 c Try to convert by bdds
222.35/223.40 c d: 1
222.35/223.40 c estimatedAdderCost: 205
222.35/223.40 c Try to convert by bdds
222.35/223.42 c d: 1
222.35/223.42 c estimatedAdderCost: 203
222.35/223.42 c Try to convert by bdds
222.35/223.46 c d: 1
222.35/223.46 c estimatedAdderCost: 203
222.35/223.46 c Try to convert by bdds
222.35/223.48 c d: 1
222.35/223.48 c estimatedAdderCost: 204
222.35/223.48 c Try to convert by bdds
222.45/223.51 c d: 1
222.45/223.51 c estimatedAdderCost: 205
222.45/223.51 c Try to convert by bdds
222.45/223.53 c d: 1
222.45/223.53 c estimatedAdderCost: 203
222.45/223.53 c Try to convert by bdds
222.45/223.56 c d: 1
222.45/223.56 c estimatedAdderCost: 203
222.45/223.56 c Try to convert by bdds
222.45/223.58 c d: 1
222.45/223.58 c estimatedAdderCost: 202
222.45/223.58 c Try to convert by bdds
222.55/223.62 c d: 1
222.55/223.62 c estimatedAdderCost: 204
222.55/223.62 c Try to convert by bdds
222.55/223.64 c d: 1
222.55/223.64 c estimatedAdderCost: 204
222.55/223.64 c Try to convert by bdds
222.55/223.67 c d: 1
222.55/223.67 c estimatedAdderCost: 204
222.55/223.67 c Try to convert by bdds
222.55/223.69 c d: 1
222.55/223.69 c estimatedAdderCost: 203
222.55/223.69 c Try to convert by bdds
222.65/223.72 c d: 1
222.65/223.72 c estimatedAdderCost: 205
222.65/223.72 c Try to convert by bdds
222.65/223.74 c d: 1
222.65/223.74 c estimatedAdderCost: 204
222.65/223.74 c Try to convert by bdds
222.65/223.77 c d: 1
222.65/223.77 c estimatedAdderCost: 202
222.65/223.77 c Try to convert by bdds
222.75/223.80 c d: 1
222.75/223.80 c estimatedAdderCost: 206
222.75/223.80 c Try to convert by bdds
222.75/223.83 c d: 1
222.75/223.83 c estimatedAdderCost: 204
222.75/223.83 c Try to convert by bdds
222.75/223.85 c d: 1
222.75/223.85 c estimatedAdderCost: 204
222.75/223.85 c Try to convert by bdds
222.75/223.88 c d: 1
222.75/223.88 c estimatedAdderCost: 203
222.75/223.88 c Try to convert by bdds
222.85/223.91 c d: 1
222.85/223.91 c estimatedAdderCost: 202
222.85/223.91 c Try to convert by bdds
222.85/223.94 c d: 1
222.85/223.94 c estimatedAdderCost: 204
222.85/223.94 c Try to convert by bdds
222.85/223.96 c d: 1
222.85/223.96 c estimatedAdderCost: 204
222.85/223.96 c Try to convert by bdds
222.85/223.99 c d: 1
222.85/223.99 c estimatedAdderCost: 203
222.85/223.99 c Try to convert by bdds
222.96/224.02 c d: 1
222.96/224.02 c estimatedAdderCost: 205
222.96/224.02 c Try to convert by bdds
222.96/224.05 c d: 1
222.96/224.05 c estimatedAdderCost: 203
222.96/224.05 c Try to convert by bdds
222.96/224.07 c d: 1
222.96/224.07 c estimatedAdderCost: 203
222.96/224.07 c Try to convert by bdds
222.96/224.10 c d: 1
222.96/224.10 c estimatedAdderCost: 204
222.96/224.10 c Try to convert by bdds
223.06/224.12 c d: 1
223.06/224.12 c estimatedAdderCost: 204
223.06/224.12 c Try to convert by bdds
223.06/224.16 c d: 1
223.06/224.16 c estimatedAdderCost: 202
223.06/224.16 c Try to convert by bdds
223.06/224.18 c d: 1
223.06/224.18 c estimatedAdderCost: 204
223.06/224.18 c Try to convert by bdds
223.15/224.21 c d: 1
223.15/224.21 c estimatedAdderCost: 204
223.15/224.21 c Try to convert by bdds
223.15/224.23 c d: 1
223.15/224.23 c estimatedAdderCost: 202
223.15/224.23 c Try to convert by bdds
223.15/224.26 c d: 1
223.15/224.26 c estimatedAdderCost: 204
223.15/224.26 c Try to convert by bdds
223.15/224.29 c d: 1
223.15/224.29 c estimatedAdderCost: 205
223.15/224.29 c Try to convert by bdds
223.25/224.32 c d: 1
223.25/224.32 c estimatedAdderCost: 203
223.25/224.32 c Try to convert by bdds
223.25/224.34 c d: 1
223.25/224.34 c estimatedAdderCost: 204
223.25/224.34 c Try to convert by bdds
223.25/224.37 c d: 1
223.25/224.37 c estimatedAdderCost: 204
223.25/224.37 c Try to convert by bdds
223.25/224.39 c d: 1
223.25/224.39 c estimatedAdderCost: 203
223.25/224.39 c Try to convert by bdds
223.35/224.42 c d: 1
223.35/224.42 c estimatedAdderCost: 204
223.35/224.42 c Try to convert by bdds
223.35/224.45 c d: 1
223.35/224.45 c estimatedAdderCost: 204
223.35/224.45 c Try to convert by bdds
223.35/224.48 c d: 1
223.35/224.48 c estimatedAdderCost: 206
223.35/224.48 c Try to convert by bdds
223.44/224.50 c d: 1
223.44/224.50 c estimatedAdderCost: 206
223.44/224.50 c Try to convert by bdds
223.44/224.53 c d: 1
223.44/224.53 c estimatedAdderCost: 204
223.44/224.53 c Try to convert by bdds
223.44/224.55 c d: 1
223.44/224.55 c estimatedAdderCost: 204
223.44/224.55 c Try to convert by bdds
223.44/224.58 c d: 1
223.44/224.58 c estimatedAdderCost: 204
223.44/224.58 c Try to convert by bdds
223.54/224.60 c d: 1
223.54/224.60 c estimatedAdderCost: 204
223.54/224.60 c Try to convert by bdds
223.54/224.64 c d: 1
223.54/224.64 c estimatedAdderCost: 203
223.54/224.64 c Try to convert by bdds
223.54/224.66 c d: 1
223.54/224.66 c estimatedAdderCost: 203
223.54/224.66 c Try to convert by bdds
223.54/224.69 c d: 1
223.54/224.69 c estimatedAdderCost: 203
223.54/224.69 c Try to convert by bdds
223.64/224.72 c d: 1
223.64/224.72 c estimatedAdderCost: 204
223.64/224.72 c Try to convert by bdds
223.64/224.75 c d: 1
223.64/224.75 c estimatedAdderCost: 204
223.64/224.75 c Try to convert by bdds
223.64/224.77 c d: 1
223.64/224.77 c estimatedAdderCost: 203
223.64/224.77 c Try to convert by bdds
223.74/224.80 c d: 1
223.74/224.80 c estimatedAdderCost: 203
223.74/224.80 c Try to convert by bdds
223.74/224.83 c d: 1
223.74/224.83 c estimatedAdderCost: 205
223.74/224.83 c Try to convert by bdds
223.74/224.86 c d: 1
223.74/224.86 c estimatedAdderCost: 203
223.74/224.86 c Try to convert by bdds
223.74/224.88 c d: 1
223.74/224.88 c estimatedAdderCost: 204
223.74/224.88 c Try to convert by bdds
223.84/224.91 c d: 1
223.84/224.91 c estimatedAdderCost: 202
223.84/224.91 c Try to convert by bdds
223.84/224.93 c d: 1
223.84/224.93 c estimatedAdderCost: 203
223.84/224.93 c Try to convert by bdds
223.84/224.96 c d: 1
223.84/224.96 c estimatedAdderCost: 205
223.84/224.96 c Try to convert by bdds
223.84/224.99 c d: 1
223.84/224.99 c estimatedAdderCost: 203
223.84/224.99 c Try to convert by bdds
223.96/225.02 c d: 1
223.96/225.02 c estimatedAdderCost: 203
223.96/225.02 c Try to convert by bdds
223.96/225.04 c d: 1
223.96/225.04 c estimatedAdderCost: 204
223.96/225.04 c Try to convert by bdds
223.96/225.07 c d: 1
223.96/225.07 c estimatedAdderCost: 206
223.96/225.07 c Try to convert by bdds
223.96/225.09 c d: 1
223.96/225.09 c estimatedAdderCost: 204
223.96/225.09 c Try to convert by bdds
224.06/225.12 c d: 1
224.06/225.12 c estimatedAdderCost: 202
224.06/225.12 c Try to convert by bdds
224.06/225.14 c d: 1
224.06/225.14 c estimatedAdderCost: 203
224.06/225.14 c Try to convert by bdds
224.06/225.17 c d: 1
224.06/225.17 c estimatedAdderCost: 204
224.06/225.17 c Try to convert by bdds
224.14/225.20 c d: 1
224.14/225.20 c estimatedAdderCost: 204
224.14/225.20 c Try to convert by bdds
224.14/225.23 c d: 1
224.14/225.23 c estimatedAdderCost: 203
224.14/225.23 c Try to convert by bdds
224.14/225.25 c d: 1
224.14/225.25 c estimatedAdderCost: 204
224.14/225.25 c Try to convert by bdds
224.14/225.28 c d: 1
224.14/225.28 c estimatedAdderCost: 204
224.14/225.28 c Try to convert by bdds
224.24/225.30 c d: 1
224.24/225.30 c estimatedAdderCost: 204
224.24/225.30 c Try to convert by bdds
224.24/225.34 c d: 1
224.24/225.34 c estimatedAdderCost: 203
224.24/225.34 c Try to convert by bdds
224.24/225.36 c d: 1
224.24/225.36 c estimatedAdderCost: 203
224.24/225.36 c Try to convert by bdds
224.24/225.39 c d: 1
224.24/225.39 c estimatedAdderCost: 204
224.24/225.39 c Try to convert by bdds
224.34/225.41 c d: 1
224.34/225.41 c estimatedAdderCost: 203
224.34/225.41 c Try to convert by bdds
224.34/225.44 c d: 1
224.34/225.44 c estimatedAdderCost: 204
224.34/225.44 c Try to convert by bdds
224.34/225.47 c d: 1
224.34/225.47 c estimatedAdderCost: 204
224.34/225.47 c Try to convert by bdds
224.44/225.50 c d: 1
224.44/225.50 c estimatedAdderCost: 204
224.44/225.50 c Try to convert by bdds
224.44/225.52 c d: 1
224.44/225.52 c estimatedAdderCost: 203
224.44/225.52 c Try to convert by bdds
224.44/225.55 c d: 1
224.44/225.55 c estimatedAdderCost: 204
224.44/225.55 c Try to convert by bdds
224.44/225.57 c d: 1
224.44/225.57 c estimatedAdderCost: 202
224.44/225.57 c Try to convert by bdds
224.54/225.60 c d: 1
224.54/225.60 c estimatedAdderCost: 204
224.54/225.60 c Try to convert by bdds
224.54/225.63 c d: 1
224.54/225.63 c estimatedAdderCost: 204
224.54/225.63 c Try to convert by bdds
224.54/225.66 c d: 1
224.54/225.66 c estimatedAdderCost: 202
224.54/225.66 c Try to convert by bdds
224.54/225.68 c d: 1
224.54/225.68 c estimatedAdderCost: 203
224.54/225.68 c Try to convert by bdds
224.64/225.71 c d: 1
224.64/225.71 c estimatedAdderCost: 205
224.64/225.71 c Try to convert by bdds
224.64/225.73 c d: 1
224.64/225.73 c estimatedAdderCost: 206
224.64/225.73 c Try to convert by bdds
224.64/225.77 c d: 1
224.64/225.77 c estimatedAdderCost: 204
224.64/225.77 c Try to convert by bdds
224.64/225.79 c d: 1
224.64/225.79 c estimatedAdderCost: 206
224.64/225.79 c Try to convert by bdds
224.74/225.82 c d: 1
224.74/225.82 c estimatedAdderCost: 204
224.74/225.82 c Try to convert by bdds
224.74/225.84 c d: 1
224.74/225.84 c estimatedAdderCost: 205
224.74/225.84 c Try to convert by bdds
224.74/225.87 c d: 1
224.74/225.87 c estimatedAdderCost: 203
224.74/225.87 c Try to convert by bdds
224.84/225.90 c d: 1
224.84/225.90 c estimatedAdderCost: 204
224.84/225.90 c Try to convert by bdds
224.84/225.93 c d: 1
224.84/225.93 c estimatedAdderCost: 203
224.84/225.93 c Try to convert by bdds
224.84/225.95 c d: 1
224.84/225.95 c estimatedAdderCost: 206
224.84/225.95 c Try to convert by bdds
224.84/225.99 c d: 1
224.84/225.99 c estimatedAdderCost: 204
224.84/225.99 c Try to convert by bdds
224.84/226.01 c d: 1
224.84/226.01 c estimatedAdderCost: 203
224.84/226.01 c Try to convert by bdds
224.95/226.04 c d: 1
224.95/226.04 c estimatedAdderCost: 205
224.95/226.04 c Try to convert by bdds
224.95/226.06 c d: 1
224.95/226.06 c estimatedAdderCost: 205
224.95/226.06 c Try to convert by bdds
224.95/226.09 c d: 1
224.95/226.09 c estimatedAdderCost: 203
224.95/226.09 c Try to convert by bdds
225.05/226.12 c d: 1
225.05/226.12 c estimatedAdderCost: 206
225.05/226.12 c Try to convert by bdds
225.05/226.15 c d: 1
225.05/226.15 c estimatedAdderCost: 204
225.05/226.15 c Try to convert by bdds
225.05/226.17 c d: 1
225.05/226.17 c estimatedAdderCost: 205
225.05/226.17 c Try to convert by bdds
225.14/226.20 c d: 1
225.14/226.20 c estimatedAdderCost: 203
225.14/226.20 c Try to convert by bdds
225.14/226.23 c d: 1
225.14/226.23 c estimatedAdderCost: 204
225.14/226.23 c Try to convert by bdds
225.14/226.26 c d: 1
225.14/226.26 c estimatedAdderCost: 202
225.14/226.26 c Try to convert by bdds
225.14/226.28 c d: 1
225.14/226.28 c estimatedAdderCost: 206
225.14/226.28 c Try to convert by bdds
225.24/226.31 c d: 1
225.24/226.31 c estimatedAdderCost: 204
225.24/226.31 c Try to convert by bdds
225.24/226.33 c d: 1
225.24/226.33 c estimatedAdderCost: 204
225.24/226.33 c Try to convert by bdds
225.24/226.36 c d: 1
225.24/226.36 c estimatedAdderCost: 204
225.24/226.36 c Try to convert by bdds
225.24/226.39 c d: 1
225.24/226.39 c estimatedAdderCost: 204
225.24/226.39 c Try to convert by bdds
225.33/226.42 c d: 1
225.33/226.42 c estimatedAdderCost: 203
225.33/226.42 c Try to convert by bdds
225.33/226.44 c d: 1
225.33/226.44 c estimatedAdderCost: 203
225.33/226.44 c Try to convert by bdds
225.33/226.47 c d: 1
225.33/226.47 c estimatedAdderCost: 205
225.33/226.47 c Try to convert by bdds
225.33/226.49 c d: 1
225.33/226.49 c estimatedAdderCost: 204
225.33/226.49 c Try to convert by bdds
225.43/226.53 c d: 1
225.43/226.53 c estimatedAdderCost: 204
225.43/226.53 c Try to convert by bdds
225.43/226.55 c d: 1
225.43/226.55 c estimatedAdderCost: 204
225.43/226.55 c Try to convert by bdds
225.43/226.58 c d: 1
225.43/226.58 c estimatedAdderCost: 204
225.43/226.58 c Try to convert by bdds
225.53/226.61 c d: 1
225.53/226.61 c estimatedAdderCost: 203
225.53/226.61 c Try to convert by bdds
225.53/226.64 c d: 1
225.53/226.64 c estimatedAdderCost: 203
225.53/226.64 c Try to convert by bdds
225.53/226.66 c d: 1
225.53/226.66 c estimatedAdderCost: 203
225.53/226.66 c Try to convert by bdds
225.53/226.69 c d: 1
225.53/226.69 c estimatedAdderCost: 203
225.53/226.69 c Try to convert by bdds
225.63/226.71 c d: 1
225.63/226.71 c estimatedAdderCost: 202
225.63/226.71 c Try to convert by bdds
225.63/226.75 c d: 1
225.63/226.75 c estimatedAdderCost: 204
225.63/226.75 c Try to convert by bdds
225.63/226.77 c d: 1
225.63/226.77 c estimatedAdderCost: 203
225.63/226.77 c Try to convert by bdds
225.73/226.80 c d: 1
225.73/226.80 c estimatedAdderCost: 203
225.73/226.80 c Try to convert by bdds
225.73/226.82 c d: 1
225.73/226.82 c estimatedAdderCost: 203
225.73/226.82 c Try to convert by bdds
225.73/226.85 c d: 1
225.73/226.85 c estimatedAdderCost: 204
225.73/226.85 c Try to convert by bdds
225.73/226.87 c d: 1
225.73/226.87 c estimatedAdderCost: 205
225.73/226.87 c Try to convert by bdds
225.83/226.90 c d: 1
225.83/226.90 c estimatedAdderCost: 203
225.83/226.90 c Try to convert by bdds
225.83/226.93 c d: 1
225.83/226.93 c estimatedAdderCost: 204
225.83/226.93 c Try to convert by bdds
225.83/226.96 c d: 1
225.83/226.96 c estimatedAdderCost: 204
225.83/226.96 c Try to convert by bdds
225.83/226.98 c d: 1
225.83/226.98 c estimatedAdderCost: 203
225.83/226.98 c Try to convert by bdds
225.94/227.01 c d: 1
225.94/227.01 c estimatedAdderCost: 203
225.94/227.01 c Try to convert by bdds
225.94/227.03 c d: 1
225.94/227.03 c estimatedAdderCost: 204
225.94/227.03 c Try to convert by bdds
225.94/227.07 c d: 1
225.94/227.07 c estimatedAdderCost: 204
225.94/227.07 c Try to convert by bdds
225.94/227.09 c d: 1
225.94/227.09 c estimatedAdderCost: 204
225.94/227.09 c Try to convert by bdds
226.04/227.12 c d: 1
226.04/227.12 c estimatedAdderCost: 203
226.04/227.12 c Try to convert by bdds
226.04/227.14 c d: 1
226.04/227.14 c estimatedAdderCost: 205
226.04/227.14 c Try to convert by bdds
226.04/227.18 c d: 1
226.04/227.18 c estimatedAdderCost: 205
226.04/227.18 c Try to convert by bdds
226.13/227.20 c d: 1
226.13/227.20 c estimatedAdderCost: 204
226.13/227.20 c Try to convert by bdds
226.13/227.23 c d: 1
226.13/227.23 c estimatedAdderCost: 204
226.13/227.23 c Try to convert by bdds
226.13/227.26 c d: 1
226.13/227.26 c estimatedAdderCost: 203
226.13/227.26 c Try to convert by bdds
226.13/227.29 c d: 1
226.13/227.29 c estimatedAdderCost: 204
226.13/227.29 c Try to convert by bdds
226.23/227.31 c d: 1
226.23/227.31 c estimatedAdderCost: 204
226.23/227.31 c Try to convert by bdds
226.23/227.34 c d: 1
226.23/227.34 c estimatedAdderCost: 204
226.23/227.34 c Try to convert by bdds
226.23/227.36 c d: 1
226.23/227.36 c estimatedAdderCost: 203
226.23/227.36 c Try to convert by bdds
226.23/227.39 c d: 1
226.23/227.39 c estimatedAdderCost: 204
226.23/227.39 c Try to convert by bdds
226.33/227.41 c d: 1
226.33/227.41 c estimatedAdderCost: 205
226.33/227.41 c Try to convert by bdds
226.33/227.44 c d: 1
226.33/227.44 c estimatedAdderCost: 204
226.33/227.44 c Try to convert by bdds
226.33/227.47 c d: 1
226.33/227.47 c estimatedAdderCost: 206
226.33/227.47 c Try to convert by bdds
226.43/227.50 c d: 1
226.43/227.50 c estimatedAdderCost: 204
226.43/227.50 c Try to convert by bdds
226.43/227.52 c d: 1
226.43/227.52 c estimatedAdderCost: 205
226.43/227.52 c Try to convert by bdds
226.43/227.56 c d: 1
226.43/227.56 c estimatedAdderCost: 203
226.43/227.56 c Try to convert by bdds
226.43/227.58 c d: 1
226.43/227.58 c estimatedAdderCost: 204
226.43/227.58 c Try to convert by bdds
226.53/227.61 c d: 1
226.53/227.61 c estimatedAdderCost: 203
226.53/227.61 c Try to convert by bdds
226.53/227.63 c d: 1
226.53/227.63 c estimatedAdderCost: 205
226.53/227.63 c Try to convert by bdds
226.53/227.66 c d: 1
226.53/227.66 c estimatedAdderCost: 205
226.53/227.66 c Try to convert by bdds
226.53/227.69 c d: 1
226.53/227.69 c estimatedAdderCost: 204
226.53/227.69 c Try to convert by bdds
226.63/227.72 c d: 1
226.63/227.72 c estimatedAdderCost: 204
226.63/227.72 c Try to convert by bdds
226.63/227.74 c d: 1
226.63/227.74 c estimatedAdderCost: 104
226.63/227.74 c Try to convert by bdds
226.63/227.75 c d: 1
226.63/227.75 c estimatedAdderCost: 105
226.63/227.75 c Try to convert by bdds
226.63/227.75 c d: 1
226.63/227.75 c estimatedAdderCost: 104
226.63/227.75 c Try to convert by bdds
226.63/227.76 c d: 1
226.63/227.76 c estimatedAdderCost: 105
226.63/227.76 c Try to convert by bdds
226.63/227.76 c d: 1
226.63/227.76 c estimatedAdderCost: 103
226.63/227.76 c Try to convert by bdds
226.63/227.77 c d: 1
226.63/227.77 c estimatedAdderCost: 103
226.63/227.77 c Try to convert by bdds
226.63/227.78 c d: 1
226.63/227.78 c estimatedAdderCost: 104
226.63/227.78 c Try to convert by bdds
226.63/227.78 c d: 1
226.63/227.78 c estimatedAdderCost: 103
226.63/227.78 c Try to convert by bdds
226.63/227.79 c d: 1
226.63/227.79 c estimatedAdderCost: 103
226.63/227.79 c Try to convert by bdds
226.73/227.80 c d: 1
226.73/227.80 c estimatedAdderCost: 103
226.73/227.80 c Try to convert by bdds
226.73/227.80 c d: 1
226.73/227.80 c estimatedAdderCost: 103
226.73/227.80 c Try to convert by bdds
226.73/227.81 c d: 1
226.73/227.81 c estimatedAdderCost: 103
226.73/227.81 c Try to convert by bdds
226.73/227.82 c d: 1
226.73/227.82 c estimatedAdderCost: 104
226.73/227.82 c Try to convert by bdds
226.73/227.82 c d: 1
226.73/227.82 c estimatedAdderCost: 103
226.73/227.82 c Try to convert by bdds
226.73/227.83 c d: 1
226.73/227.83 c estimatedAdderCost: 103
226.73/227.83 c Try to convert by bdds
226.73/227.83 c d: 1
226.73/227.83 c estimatedAdderCost: 104
226.73/227.83 c Try to convert by bdds
226.73/227.84 c d: 1
226.73/227.84 c estimatedAdderCost: 103
226.73/227.84 c Try to convert by bdds
226.73/227.85 c d: 1
226.73/227.85 c estimatedAdderCost: 103
226.73/227.85 c Try to convert by bdds
226.73/227.85 c d: 1
226.73/227.85 c estimatedAdderCost: 104
226.73/227.85 c Try to convert by bdds
226.73/227.86 c d: 1
226.73/227.86 c estimatedAdderCost: 105
226.73/227.86 c Try to convert by bdds
226.73/227.87 c d: 1
226.73/227.87 c estimatedAdderCost: 103
226.73/227.87 c Try to convert by bdds
226.73/227.87 c d: 1
226.73/227.87 c estimatedAdderCost: 103
226.73/227.87 c Try to convert by bdds
226.73/227.88 c d: 1
226.73/227.88 c estimatedAdderCost: 103
226.73/227.88 c Try to convert by bdds
226.73/227.89 c d: 1
226.73/227.89 c estimatedAdderCost: 104
226.73/227.89 c Try to convert by bdds
226.73/227.89 c d: 1
226.73/227.89 c estimatedAdderCost: 103
226.73/227.89 c Try to convert by bdds
226.83/227.90 c d: 1
226.83/227.90 c estimatedAdderCost: 103
226.83/227.90 c Try to convert by bdds
226.83/227.90 c d: 1
226.83/227.90 c estimatedAdderCost: 103
226.83/227.90 c Try to convert by bdds
226.83/227.91 c d: 1
226.83/227.91 c estimatedAdderCost: 103
226.83/227.91 c Try to convert by bdds
226.83/227.92 c d: 1
226.83/227.92 c estimatedAdderCost: 105
226.83/227.92 c Try to convert by bdds
226.83/227.92 c d: 1
226.83/227.92 c estimatedAdderCost: 104
226.83/227.92 c Try to convert by bdds
226.83/227.93 c d: 1
226.83/227.93 c estimatedAdderCost: 103
226.83/227.93 c Try to convert by bdds
226.83/227.94 c d: 1
226.83/227.94 c estimatedAdderCost: 104
226.83/227.94 c Try to convert by bdds
226.83/227.94 c d: 1
226.83/227.94 c estimatedAdderCost: 104
226.83/227.94 c Try to convert by bdds
226.83/227.95 c d: 1
226.83/227.95 c estimatedAdderCost: 103
226.83/227.95 c Try to convert by bdds
226.83/227.95 c d: 1
226.83/227.95 c estimatedAdderCost: 104
226.83/227.95 c Try to convert by bdds
226.83/227.96 c d: 1
226.83/227.96 c estimatedAdderCost: 105
226.83/227.96 c Try to convert by bdds
226.83/227.97 c d: 1
226.83/227.97 c estimatedAdderCost: 104
226.83/227.97 c Try to convert by bdds
226.83/227.97 c d: 1
226.83/227.97 c estimatedAdderCost: 105
226.83/227.97 c Try to convert by bdds
226.83/227.98 c d: 1
226.83/227.98 c estimatedAdderCost: 103
226.83/227.98 c Try to convert by bdds
226.83/227.99 c d: 1
226.83/227.99 c estimatedAdderCost: 104
226.83/227.99 c Try to convert by bdds
226.83/227.99 c d: 1
226.83/227.99 c estimatedAdderCost: 103
226.83/227.99 c Try to convert by bdds
226.83/228.00 c d: 1
226.83/228.00 c estimatedAdderCost: 103
226.83/228.00 c Try to convert by bdds
226.83/228.00 c d: 1
226.83/228.00 c estimatedAdderCost: 104
226.83/228.00 c Try to convert by bdds
226.94/228.01 c d: 1
226.94/228.01 c estimatedAdderCost: 103
226.94/228.01 c Try to convert by bdds
226.94/228.02 c d: 1
226.94/228.02 c estimatedAdderCost: 104
226.94/228.02 c Try to convert by bdds
226.94/228.02 c d: 1
226.94/228.02 c estimatedAdderCost: 103
226.94/228.02 c Try to convert by bdds
226.94/228.03 c d: 1
226.94/228.03 c estimatedAdderCost: 102
226.94/228.03 c Try to convert by bdds
226.94/228.04 c d: 1
226.94/228.04 c estimatedAdderCost: 104
226.94/228.04 c Try to convert by bdds
226.94/228.04 c d: 1
226.94/228.04 c estimatedAdderCost: 105
226.94/228.04 c Try to convert by bdds
226.94/228.05 c d: 1
226.94/228.05 c estimatedAdderCost: 104
226.94/228.05 c Try to convert by bdds
226.94/228.05 c d: 1
226.94/228.05 c estimatedAdderCost: 103
226.94/228.05 c Try to convert by bdds
226.94/228.06 c d: 1
226.94/228.06 c estimatedAdderCost: 103
226.94/228.06 c Try to convert by bdds
226.94/228.07 c d: 1
226.94/228.07 c estimatedAdderCost: 104
226.94/228.07 c Try to convert by bdds
226.94/228.07 c d: 1
226.94/228.07 c estimatedAdderCost: 102
226.94/228.07 c Try to convert by bdds
226.94/228.08 c d: 1
226.94/228.08 c estimatedAdderCost: 103
226.94/228.08 c Try to convert by bdds
226.94/228.09 c d: 1
226.94/228.09 c estimatedAdderCost: 104
226.94/228.09 c Try to convert by bdds
226.94/228.09 c d: 1
226.94/228.09 c estimatedAdderCost: 103
226.94/228.09 c Try to convert by bdds
226.94/228.10 c d: 1
226.94/228.10 c estimatedAdderCost: 103
226.94/228.10 c Try to convert by bdds
226.94/228.10 c d: 1
226.94/228.10 c estimatedAdderCost: 103
226.94/228.10 c Try to convert by bdds
227.04/228.11 c d: 1
227.04/228.11 c estimatedAdderCost: 103
227.04/228.11 c Try to convert by bdds
227.04/228.12 c d: 1
227.04/228.12 c estimatedAdderCost: 104
227.04/228.12 c Try to convert by bdds
227.04/228.12 c d: 1
227.04/228.12 c estimatedAdderCost: 105
227.04/228.12 c Try to convert by bdds
227.04/228.13 c d: 1
227.04/228.13 c estimatedAdderCost: 103
227.04/228.13 c Try to convert by bdds
227.04/228.14 c d: 1
227.04/228.14 c estimatedAdderCost: 104
227.04/228.14 c Try to convert by bdds
227.04/228.14 c d: 1
227.04/228.14 c estimatedAdderCost: 105
227.04/228.14 c Try to convert by bdds
227.04/228.15 c d: 1
227.04/228.15 c estimatedAdderCost: 104
227.04/228.15 c Try to convert by bdds
227.04/228.16 c d: 1
227.04/228.16 c estimatedAdderCost: 103
227.04/228.16 c Try to convert by bdds
227.04/228.16 c d: 1
227.04/228.16 c estimatedAdderCost: 104
227.04/228.16 c Try to convert by bdds
227.04/228.17 c d: 1
227.04/228.17 c estimatedAdderCost: 103
227.04/228.17 c Try to convert by bdds
227.04/228.17 c d: 1
227.04/228.17 c estimatedAdderCost: 104
227.04/228.17 c Try to convert by bdds
227.04/228.18 c d: 1
227.04/228.18 c estimatedAdderCost: 104
227.04/228.18 c Try to convert by bdds
227.04/228.19 c d: 1
227.04/228.19 c estimatedAdderCost: 102
227.04/228.19 c Try to convert by bdds
227.04/228.19 c d: 1
227.04/228.19 c estimatedAdderCost: 104
227.04/228.19 c Try to convert by bdds
227.13/228.20 c d: 1
227.13/228.20 c estimatedAdderCost: 105
227.13/228.20 c Try to convert by bdds
227.13/228.21 c d: 1
227.13/228.21 c estimatedAdderCost: 105
227.13/228.21 c Try to convert by bdds
227.13/228.21 c d: 1
227.13/228.21 c estimatedAdderCost: 104
227.13/228.21 c Try to convert by bdds
227.13/228.22 c d: 1
227.13/228.22 c estimatedAdderCost: 103
227.13/228.22 c Try to convert by bdds
227.13/228.23 c d: 1
227.13/228.23 c estimatedAdderCost: 103
227.13/228.23 c Try to convert by bdds
227.13/228.23 c d: 1
227.13/228.23 c estimatedAdderCost: 103
227.13/228.23 c Try to convert by bdds
227.13/228.24 c d: 1
227.13/228.24 c estimatedAdderCost: 105
227.13/228.24 c Try to convert by bdds
227.13/228.24 c d: 1
227.13/228.24 c estimatedAdderCost: 104
227.13/228.24 c Try to convert by bdds
227.13/228.25 c d: 1
227.13/228.25 c estimatedAdderCost: 103
227.13/228.25 c Try to convert by bdds
227.13/228.26 c d: 1
227.13/228.26 c estimatedAdderCost: 103
227.13/228.26 c Try to convert by bdds
227.13/228.26 c d: 1
227.13/228.26 c estimatedAdderCost: 103
227.13/228.26 c Try to convert by bdds
227.13/228.27 c d: 1
227.13/228.27 c estimatedAdderCost: 104
227.13/228.27 c Try to convert by bdds
227.13/228.27 c d: 1
227.13/228.27 c estimatedAdderCost: 103
227.13/228.27 c Try to convert by bdds
227.13/228.28 c d: 1
227.13/228.28 c estimatedAdderCost: 103
227.13/228.28 c Try to convert by bdds
227.13/228.29 c d: 1
227.13/228.29 c estimatedAdderCost: 104
227.13/228.29 c Try to convert by bdds
227.13/228.29 c d: 1
227.13/228.29 c estimatedAdderCost: 104
227.13/228.29 c Try to convert by bdds
227.23/228.30 c d: 1
227.23/228.30 c estimatedAdderCost: 102
227.23/228.30 c Try to convert by bdds
227.23/228.31 c d: 1
227.23/228.31 c estimatedAdderCost: 104
227.23/228.31 c Try to convert by bdds
227.23/228.31 c d: 1
227.23/228.31 c estimatedAdderCost: 105
227.23/228.31 c Try to convert by bdds
227.23/228.32 c d: 1
227.23/228.32 c estimatedAdderCost: 102
227.23/228.32 c Try to convert by bdds
227.23/228.32 c d: 1
227.23/228.32 c estimatedAdderCost: 104
227.23/228.32 c Try to convert by bdds
227.23/228.33 c d: 1
227.23/228.33 c estimatedAdderCost: 103
227.23/228.33 c Try to convert by bdds
227.23/228.34 c d: 1
227.23/228.34 c estimatedAdderCost: 104
227.23/228.34 c Try to convert by bdds
227.23/228.34 c d: 1
227.23/228.34 c estimatedAdderCost: 103
227.23/228.34 c Try to convert by bdds
227.23/228.35 c d: 1
227.23/228.35 c estimatedAdderCost: 103
227.23/228.35 c Try to convert by bdds
227.23/228.36 c d: 1
227.23/228.36 c estimatedAdderCost: 104
227.23/228.36 c Try to convert by bdds
227.23/228.36 c d: 1
227.23/228.36 c estimatedAdderCost: 102
227.23/228.36 c Try to convert by bdds
227.23/228.37 c d: 1
227.23/228.37 c estimatedAdderCost: 105
227.23/228.37 c Try to convert by bdds
227.23/228.38 c d: 1
227.23/228.38 c estimatedAdderCost: 104
227.23/228.38 c Try to convert by bdds
227.23/228.38 c d: 1
227.23/228.38 c estimatedAdderCost: 103
227.23/228.38 c Try to convert by bdds
227.23/228.39 c d: 1
227.23/228.39 c estimatedAdderCost: 103
227.23/228.39 c Try to convert by bdds
227.23/228.39 c d: 1
227.23/228.39 c estimatedAdderCost: 103
227.23/228.39 c Try to convert by bdds
227.33/228.40 c d: 1
227.33/228.40 c estimatedAdderCost: 103
227.33/228.40 c Try to convert by bdds
227.33/228.41 c d: 1
227.33/228.41 c estimatedAdderCost: 104
227.33/228.41 c Try to convert by bdds
227.33/228.41 c d: 1
227.33/228.41 c estimatedAdderCost: 103
227.33/228.41 c Try to convert by bdds
227.33/228.42 c d: 1
227.33/228.42 c estimatedAdderCost: 102
227.33/228.42 c Try to convert by bdds
227.33/228.43 c d: 1
227.33/228.43 c estimatedAdderCost: 104
227.33/228.43 c Try to convert by bdds
227.33/228.43 c d: 1
227.33/228.43 c estimatedAdderCost: 103
227.33/228.43 c Try to convert by bdds
227.33/228.44 c d: 1
227.33/228.44 c estimatedAdderCost: 103
227.33/228.44 c Try to convert by bdds
227.33/228.44 c d: 1
227.33/228.44 c estimatedAdderCost: 103
227.33/228.44 c Try to convert by bdds
227.33/228.45 c d: 1
227.33/228.45 c estimatedAdderCost: 104
227.33/228.45 c Try to convert by bdds
227.33/228.46 c d: 1
227.33/228.46 c estimatedAdderCost: 103
227.33/228.46 c Try to convert by bdds
227.33/228.46 c d: 1
227.33/228.46 c estimatedAdderCost: 104
227.33/228.46 c Try to convert by bdds
227.33/228.47 c d: 1
227.33/228.47 c estimatedAdderCost: 103
227.33/228.47 c Try to convert by bdds
227.33/228.48 c d: 1
227.33/228.48 c estimatedAdderCost: 104
227.33/228.48 c Try to convert by bdds
227.33/228.48 c d: 1
227.33/228.48 c estimatedAdderCost: 102
227.33/228.48 c Try to convert by bdds
227.33/228.49 c d: 1
227.33/228.49 c estimatedAdderCost: 104
227.33/228.49 c Try to convert by bdds
227.33/228.49 c d: 1
227.33/228.49 c estimatedAdderCost: 103
227.33/228.49 c Try to convert by bdds
227.42/228.50 c d: 1
227.42/228.50 c estimatedAdderCost: 103
227.42/228.50 c Try to convert by bdds
227.42/228.51 c d: 1
227.42/228.51 c estimatedAdderCost: 103
227.42/228.51 c Try to convert by bdds
227.42/228.51 c d: 1
227.42/228.51 c estimatedAdderCost: 103
227.42/228.51 c Try to convert by bdds
227.42/228.52 c d: 1
227.42/228.52 c estimatedAdderCost: 105
227.42/228.52 c Try to convert by bdds
227.42/228.53 c d: 1
227.42/228.53 c estimatedAdderCost: 104
227.42/228.53 c Try to convert by bdds
227.42/228.53 c d: 1
227.42/228.53 c estimatedAdderCost: 104
227.42/228.53 c Try to convert by bdds
227.42/228.54 c d: 1
227.42/228.54 c estimatedAdderCost: 105
227.42/228.54 c Try to convert by bdds
227.42/228.54 c d: 1
227.42/228.54 c estimatedAdderCost: 104
227.42/228.54 c Try to convert by bdds
227.42/228.55 c d: 1
227.42/228.55 c estimatedAdderCost: 103
227.42/228.55 c Try to convert by bdds
227.42/228.56 c d: 1
227.42/228.56 c estimatedAdderCost: 103
227.42/228.56 c Try to convert by bdds
227.42/228.56 c d: 1
227.42/228.56 c estimatedAdderCost: 103
227.42/228.56 c Try to convert by bdds
227.42/228.57 c d: 1
227.42/228.57 c estimatedAdderCost: 104
227.42/228.57 c Try to convert by bdds
227.42/228.58 c d: 1
227.42/228.58 c estimatedAdderCost: 103
227.42/228.58 c Try to convert by bdds
227.42/228.58 c d: 1
227.42/228.58 c estimatedAdderCost: 103
227.42/228.58 c Try to convert by bdds
227.42/228.59 c d: 1
227.42/228.59 c estimatedAdderCost: 104
227.42/228.59 c Try to convert by bdds
227.42/228.59 c d: 1
227.42/228.59 c estimatedAdderCost: 103
227.42/228.59 c Try to convert by bdds
227.52/228.60 c d: 1
227.52/228.60 c estimatedAdderCost: 103
227.52/228.60 c Try to convert by bdds
227.52/228.61 c d: 1
227.52/228.61 c estimatedAdderCost: 104
227.52/228.61 c Try to convert by bdds
227.52/228.61 c d: 1
227.52/228.61 c estimatedAdderCost: 105
227.52/228.61 c Try to convert by bdds
227.52/228.62 c d: 1
227.52/228.62 c estimatedAdderCost: 103
227.52/228.62 c Try to convert by bdds
227.52/228.63 c d: 1
227.52/228.63 c estimatedAdderCost: 103
227.52/228.63 c Try to convert by bdds
227.52/228.63 c d: 1
227.52/228.63 c estimatedAdderCost: 103
227.52/228.63 c Try to convert by bdds
227.52/228.64 c d: 1
227.52/228.64 c estimatedAdderCost: 103
227.52/228.64 c Try to convert by bdds
227.52/228.64 c d: 1
227.52/228.64 c estimatedAdderCost: 104
227.52/228.64 c Try to convert by bdds
227.52/228.65 c d: 1
227.52/228.65 c estimatedAdderCost: 103
227.52/228.65 c Try to convert by bdds
227.52/228.66 c d: 1
227.52/228.66 c estimatedAdderCost: 104
227.52/228.66 c Try to convert by bdds
227.52/228.66 c d: 1
227.52/228.66 c estimatedAdderCost: 102
227.52/228.66 c Try to convert by bdds
227.52/228.67 c d: 1
227.52/228.67 c estimatedAdderCost: 105
227.52/228.67 c Try to convert by bdds
227.52/228.68 c d: 1
227.52/228.68 c estimatedAdderCost: 104
227.52/228.68 c Try to convert by bdds
227.52/228.68 c d: 1
227.52/228.68 c estimatedAdderCost: 105
227.52/228.68 c Try to convert by bdds
227.52/228.69 c d: 1
227.52/228.69 c estimatedAdderCost: 104
227.52/228.69 c Try to convert by bdds
227.52/228.70 c d: 1
227.52/228.70 c estimatedAdderCost: 103
227.52/228.70 c Try to convert by bdds
227.62/228.70 c d: 1
227.62/228.70 c estimatedAdderCost: 103
227.62/228.70 c Try to convert by bdds
227.62/228.71 c d: 1
227.62/228.71 c estimatedAdderCost: 104
227.62/228.71 c Try to convert by bdds
227.62/228.71 c d: 1
227.62/228.71 c estimatedAdderCost: 103
227.62/228.71 c Try to convert by bdds
227.62/228.72 c d: 1
227.62/228.72 c estimatedAdderCost: 104
227.62/228.72 c Try to convert by bdds
227.62/228.73 c d: 1
227.62/228.73 c estimatedAdderCost: 102
227.62/228.73 c Try to convert by bdds
227.62/228.73 c d: 1
227.62/228.73 c estimatedAdderCost: 103
227.62/228.73 c Try to convert by bdds
227.62/228.74 c d: 1
227.62/228.74 c estimatedAdderCost: 103
227.62/228.74 c Try to convert by bdds
227.62/228.75 c d: 1
227.62/228.75 c estimatedAdderCost: 104
227.62/228.75 c Try to convert by bdds
227.62/228.75 c d: 1
227.62/228.75 c estimatedAdderCost: 105
227.62/228.75 c Try to convert by bdds
227.62/228.76 c d: 1
227.62/228.76 c estimatedAdderCost: 103
227.62/228.76 c Try to convert by bdds
227.62/228.77 c d: 1
227.62/228.77 c estimatedAdderCost: 104
227.62/228.77 c Try to convert by bdds
227.62/228.77 c d: 1
227.62/228.77 c estimatedAdderCost: 105
227.62/228.77 c Try to convert by bdds
227.62/228.78 c d: 1
227.62/228.78 c estimatedAdderCost: 104
227.62/228.78 c Try to convert by bdds
227.62/228.78 c d: 1
227.62/228.78 c estimatedAdderCost: 104
227.62/228.78 c Try to convert by bdds
227.62/228.79 c d: 1
227.62/228.79 c estimatedAdderCost: 105
227.62/228.79 c Try to convert by bdds
227.72/228.80 c d: 1
227.72/228.80 c estimatedAdderCost: 103
227.72/228.80 c Try to convert by bdds
227.72/228.80 c d: 1
227.72/228.80 c estimatedAdderCost: 103
227.72/228.80 c Try to convert by bdds
227.72/228.81 c d: 1
227.72/228.81 c estimatedAdderCost: 105
227.72/228.81 c Try to convert by bdds
227.72/228.82 c d: 1
227.72/228.82 c estimatedAdderCost: 104
227.72/228.82 c Try to convert by bdds
227.72/228.82 c d: 1
227.72/228.82 c estimatedAdderCost: 103
227.72/228.82 c Try to convert by bdds
227.72/228.83 c d: 1
227.72/228.83 c estimatedAdderCost: 104
227.72/228.83 c Try to convert by bdds
227.72/228.83 c d: 1
227.72/228.83 c estimatedAdderCost: 103
227.72/228.83 c Try to convert by bdds
227.72/228.84 c d: 1
227.72/228.84 c estimatedAdderCost: 104
227.72/228.84 c Try to convert by bdds
227.72/228.85 c d: 1
227.72/228.85 c estimatedAdderCost: 103
227.72/228.85 c Try to convert by bdds
227.72/228.85 c d: 1
227.72/228.85 c estimatedAdderCost: 103
227.72/228.85 c Try to convert by bdds
227.72/228.86 c d: 1
227.72/228.86 c estimatedAdderCost: 104
227.72/228.86 c Try to convert by bdds
227.72/228.87 c d: 1
227.72/228.87 c estimatedAdderCost: 103
227.72/228.87 c Try to convert by bdds
227.72/228.87 c d: 1
227.72/228.87 c estimatedAdderCost: 104
227.72/228.87 c Try to convert by bdds
227.72/228.88 c d: 1
227.72/228.88 c estimatedAdderCost: 103
227.72/228.88 c Try to convert by bdds
227.72/228.88 c d: 1
227.72/228.88 c estimatedAdderCost: 104
227.72/228.88 c Try to convert by bdds
227.72/228.89 c d: 1
227.72/228.89 c estimatedAdderCost: 103
227.72/228.89 c Try to convert by bdds
227.82/228.90 c d: 1
227.82/228.90 c estimatedAdderCost: 102
227.82/228.90 c Try to convert by bdds
227.82/228.90 c d: 1
227.82/228.90 c estimatedAdderCost: 104
227.82/228.90 c Try to convert by bdds
227.82/228.91 c d: 1
227.82/228.91 c estimatedAdderCost: 104
227.82/228.91 c Try to convert by bdds
227.82/228.92 c d: 1
227.82/228.92 c estimatedAdderCost: 105
227.82/228.92 c Try to convert by bdds
227.82/228.92 c d: 1
227.82/228.92 c estimatedAdderCost: 105
227.82/228.92 c Try to convert by bdds
227.82/228.93 c d: 1
227.82/228.93 c estimatedAdderCost: 104
227.82/228.93 c Try to convert by bdds
227.82/228.93 c d: 1
227.82/228.93 c estimatedAdderCost: 104
227.82/228.93 c Try to convert by bdds
227.82/228.94 c d: 1
227.82/228.94 c estimatedAdderCost: 103
227.82/228.94 c Try to convert by bdds
227.82/228.95 c d: 1
227.82/228.95 c estimatedAdderCost: 104
227.82/228.95 c Try to convert by bdds
227.82/228.95 c d: 1
227.82/228.95 c estimatedAdderCost: 105
227.82/228.95 c Try to convert by bdds
227.82/228.96 c d: 1
227.82/228.96 c estimatedAdderCost: 104
227.82/228.96 c Try to convert by bdds
227.82/228.97 c d: 1
227.82/228.97 c estimatedAdderCost: 103
227.82/228.97 c Try to convert by bdds
227.82/228.97 c d: 1
227.82/228.97 c estimatedAdderCost: 103
227.82/228.97 c Try to convert by bdds
227.82/228.98 c d: 1
227.82/228.98 c estimatedAdderCost: 103
227.82/228.98 c Try to convert by bdds
227.82/228.98 c d: 1
227.82/228.98 c estimatedAdderCost: 103
227.82/228.98 c Try to convert by bdds
227.82/228.99 c d: 1
227.82/228.99 c estimatedAdderCost: 104
227.82/228.99 c Try to convert by bdds
227.82/229.00 c d: 1
227.82/229.00 c estimatedAdderCost: 103
227.82/229.00 c Try to convert by bdds
227.82/229.00 c d: 1
227.82/229.00 c estimatedAdderCost: 104
227.82/229.00 c Try to convert by bdds
227.93/229.01 c d: 1
227.93/229.01 c estimatedAdderCost: 103
227.93/229.01 c Try to convert by bdds
227.93/229.02 c d: 1
227.93/229.02 c estimatedAdderCost: 103
227.93/229.02 c Try to convert by bdds
227.93/229.02 c d: 1
227.93/229.02 c estimatedAdderCost: 104
227.93/229.02 c Try to convert by bdds
227.93/229.03 c d: 1
227.93/229.03 c estimatedAdderCost: 103
227.93/229.03 c Try to convert by bdds
227.93/229.03 c d: 1
227.93/229.03 c estimatedAdderCost: 103
227.93/229.03 c Try to convert by bdds
227.93/229.04 c d: 1
227.93/229.04 c estimatedAdderCost: 103
227.93/229.04 c Try to convert by bdds
227.93/229.05 c d: 1
227.93/229.05 c estimatedAdderCost: 104
227.93/229.05 c Try to convert by bdds
227.93/229.05 c d: 1
227.93/229.05 c estimatedAdderCost: 103
227.93/229.05 c Try to convert by bdds
227.93/229.06 c d: 1
227.93/229.06 c estimatedAdderCost: 105
227.93/229.06 c Try to convert by bdds
227.93/229.07 c d: 1
227.93/229.07 c estimatedAdderCost: 104
227.93/229.07 c Try to convert by bdds
227.93/229.07 c d: 1
227.93/229.07 c estimatedAdderCost: 104
227.93/229.07 c Try to convert by bdds
227.93/229.08 c d: 1
227.93/229.08 c estimatedAdderCost: 103
227.93/229.08 c Try to convert by bdds
227.93/229.08 c d: 1
227.93/229.08 c estimatedAdderCost: 103
227.93/229.08 c Try to convert by bdds
227.93/229.09 c d: 1
227.93/229.09 c estimatedAdderCost: 104
227.93/229.09 c Try to convert by bdds
227.93/229.10 c d: 1
227.93/229.10 c estimatedAdderCost: 104
227.93/229.10 c Try to convert by bdds
227.93/229.10 c d: 1
227.93/229.10 c estimatedAdderCost: 103
227.93/229.10 c Try to convert by bdds
227.93/229.11 c d: 1
227.93/229.11 c estimatedAdderCost: 104
227.93/229.11 c Try to convert by bdds
228.03/229.11 c d: 1
228.03/229.11 c estimatedAdderCost: 103
228.03/229.11 c Try to convert by bdds
228.03/229.12 c d: 1
228.03/229.12 c estimatedAdderCost: 104
228.03/229.12 c Try to convert by bdds
228.03/229.13 c d: 1
228.03/229.13 c estimatedAdderCost: 105
228.03/229.13 c Try to convert by bdds
228.03/229.13 c d: 1
228.03/229.13 c estimatedAdderCost: 104
228.03/229.13 c Try to convert by bdds
228.03/229.14 c d: 1
228.03/229.14 c estimatedAdderCost: 103
228.03/229.14 c Try to convert by bdds
228.03/229.14 c d: 1
228.03/229.14 c estimatedAdderCost: 103
228.03/229.14 c Try to convert by bdds
228.03/229.15 c d: 1
228.03/229.15 c estimatedAdderCost: 104
228.03/229.15 c Try to convert by bdds
228.03/229.16 c d: 1
228.03/229.16 c estimatedAdderCost: 103
228.03/229.16 c Try to convert by bdds
228.03/229.16 c d: 1
228.03/229.16 c estimatedAdderCost: 103
228.03/229.16 c Try to convert by bdds
228.03/229.17 c d: 1
228.03/229.17 c estimatedAdderCost: 104
228.03/229.17 c Try to convert by bdds
228.03/229.18 c d: 1
228.03/229.18 c estimatedAdderCost: 103
228.03/229.18 c Try to convert by bdds
228.03/229.18 c d: 1
228.03/229.18 c estimatedAdderCost: 103
228.03/229.18 c Try to convert by bdds
228.03/229.19 c d: 1
228.03/229.19 c estimatedAdderCost: 104
228.03/229.19 c Try to convert by bdds
228.03/229.19 c d: 1
228.03/229.19 c estimatedAdderCost: 103
228.03/229.19 c Try to convert by bdds
228.12/229.20 c d: 1
228.12/229.20 c estimatedAdderCost: 103
228.12/229.20 c Try to convert by bdds
228.12/229.21 c d: 1
228.12/229.21 c estimatedAdderCost: 104
228.12/229.21 c Try to convert by bdds
228.12/229.21 c d: 1
228.12/229.21 c estimatedAdderCost: 105
228.12/229.21 c Try to convert by bdds
228.12/229.22 c d: 1
228.12/229.22 c estimatedAdderCost: 105
228.12/229.22 c Try to convert by bdds
228.12/229.23 c d: 1
228.12/229.23 c estimatedAdderCost: 104
228.12/229.23 c Try to convert by bdds
228.12/229.23 c d: 1
228.12/229.23 c estimatedAdderCost: 104
228.12/229.23 c Try to convert by bdds
228.12/229.24 c d: 1
228.12/229.24 c estimatedAdderCost: 103
228.12/229.24 c Try to convert by bdds
228.12/229.24 c d: 1
228.12/229.24 c estimatedAdderCost: 104
228.12/229.24 c Try to convert by bdds
228.12/229.25 c d: 1
228.12/229.25 c estimatedAdderCost: 102
228.12/229.25 c Try to convert by bdds
228.12/229.26 c d: 1
228.12/229.26 c estimatedAdderCost: 104
228.12/229.26 c Try to convert by bdds
228.12/229.26 c d: 1
228.12/229.26 c estimatedAdderCost: 103
228.12/229.26 c Try to convert by bdds
228.12/229.27 c d: 1
228.12/229.27 c estimatedAdderCost: 104
228.12/229.27 c Try to convert by bdds
228.12/229.28 c d: 1
228.12/229.28 c estimatedAdderCost: 105
228.12/229.28 c Try to convert by bdds
228.12/229.28 c d: 1
228.12/229.28 c estimatedAdderCost: 101
228.12/229.28 c Try to convert by bdds
228.12/229.28 c d: 1
228.12/229.28 c estimatedAdderCost: 103
228.12/229.28 c Try to convert by bdds
228.12/229.28 c d: 1
228.12/229.28 c estimatedAdderCost: 103
228.12/229.28 c Try to convert by bdds
228.12/229.29 c d: 1
228.12/229.29 c estimatedAdderCost: 106
228.12/229.29 c Try to convert by bdds
228.12/229.30 c d: 1
228.12/229.30 c estimatedAdderCost: 104
228.12/229.30 c Try to convert by bdds
228.22/229.30 c d: 1
228.22/229.30 c estimatedAdderCost: 103
228.22/229.30 c Try to convert by bdds
228.22/229.31 c d: 1
228.22/229.31 c estimatedAdderCost: 103
228.22/229.31 c Try to convert by bdds
228.22/229.31 c d: 1
228.22/229.31 c estimatedAdderCost: 104
228.22/229.31 c Try to convert by bdds
228.22/229.32 c d: 1
228.22/229.32 c estimatedAdderCost: 104
228.22/229.32 c Try to convert by bdds
228.22/229.33 c d: 1
228.22/229.33 c estimatedAdderCost: 103
228.22/229.33 c Try to convert by bdds
228.22/229.33 c d: 1
228.22/229.33 c estimatedAdderCost: 102
228.22/229.33 c Try to convert by bdds
228.22/229.34 c d: 1
228.22/229.34 c estimatedAdderCost: 104
228.22/229.34 c Try to convert by bdds
228.22/229.35 c d: 1
228.22/229.35 c estimatedAdderCost: 104
228.22/229.35 c Try to convert by bdds
228.22/229.35 c d: 1
228.22/229.35 c estimatedAdderCost: 103
228.22/229.35 c Try to convert by bdds
228.22/229.36 c d: 1
228.22/229.36 c estimatedAdderCost: 104
228.22/229.36 c Try to convert by bdds
228.22/229.37 c d: 1
228.22/229.37 c estimatedAdderCost: 103
228.22/229.37 c Try to convert by bdds
228.22/229.37 c d: 1
228.22/229.37 c estimatedAdderCost: 105
228.22/229.37 c Try to convert by bdds
228.22/229.38 c d: 1
228.22/229.38 c estimatedAdderCost: 104
228.22/229.38 c Try to convert by bdds
228.22/229.38 c d: 1
228.22/229.38 c estimatedAdderCost: 104
228.22/229.38 c Try to convert by bdds
228.22/229.39 c d: 1
228.22/229.39 c estimatedAdderCost: 103
228.22/229.39 c Try to convert by bdds
228.32/229.40 c d: 1
228.32/229.40 c estimatedAdderCost: 104
228.32/229.40 c Try to convert by bdds
228.32/229.40 c d: 1
228.32/229.40 c estimatedAdderCost: 102
228.32/229.40 c Try to convert by bdds
228.32/229.41 c d: 1
228.32/229.41 c estimatedAdderCost: 104
228.32/229.41 c Try to convert by bdds
228.32/229.42 c d: 1
228.32/229.42 c estimatedAdderCost: 103
228.32/229.42 c Try to convert by bdds
228.32/229.42 c d: 1
228.32/229.42 c estimatedAdderCost: 105
228.32/229.42 c Try to convert by bdds
228.32/229.43 c d: 1
228.32/229.43 c estimatedAdderCost: 104
228.32/229.43 c Try to convert by bdds
228.32/229.43 c d: 1
228.32/229.43 c estimatedAdderCost: 103
228.32/229.43 c Try to convert by bdds
228.32/229.44 c d: 1
228.32/229.44 c estimatedAdderCost: 104
228.32/229.44 c Try to convert by bdds
228.32/229.45 c d: 1
228.32/229.45 c estimatedAdderCost: 105
228.32/229.45 c Try to convert by bdds
228.32/229.45 c d: 1
228.32/229.45 c estimatedAdderCost: 104
228.32/229.45 c Try to convert by bdds
228.32/229.46 c d: 1
228.32/229.46 c estimatedAdderCost: 103
228.32/229.46 c Try to convert by bdds
228.32/229.47 c d: 1
228.32/229.47 c estimatedAdderCost: 103
228.32/229.47 c Try to convert by bdds
228.32/229.47 c d: 1
228.32/229.47 c estimatedAdderCost: 103
228.32/229.47 c Try to convert by bdds
228.32/229.48 c d: 1
228.32/229.48 c estimatedAdderCost: 103
228.32/229.48 c Try to convert by bdds
228.32/229.48 c d: 1
228.32/229.48 c estimatedAdderCost: 105
228.32/229.48 c Try to convert by bdds
228.32/229.49 c d: 1
228.32/229.49 c estimatedAdderCost: 104
228.32/229.49 c Try to convert by bdds
228.43/229.50 c d: 1
228.43/229.50 c estimatedAdderCost: 102
228.43/229.50 c Try to convert by bdds
228.43/229.50 c d: 1
228.43/229.50 c estimatedAdderCost: 104
228.43/229.50 c Try to convert by bdds
228.43/229.51 c d: 1
228.43/229.51 c estimatedAdderCost: 103
228.43/229.51 c Try to convert by bdds
228.43/229.52 c d: 1
228.43/229.52 c estimatedAdderCost: 104
228.43/229.52 c Try to convert by bdds
228.43/229.52 c d: 1
228.43/229.52 c estimatedAdderCost: 103
228.43/229.52 c Try to convert by bdds
228.43/229.53 c d: 1
228.43/229.53 c estimatedAdderCost: 104
228.43/229.53 c Try to convert by bdds
228.43/229.53 c d: 1
228.43/229.53 c estimatedAdderCost: 103
228.43/229.53 c Try to convert by bdds
228.43/229.54 c d: 1
228.43/229.54 c estimatedAdderCost: 104
228.43/229.54 c Try to convert by bdds
228.43/229.55 c d: 1
228.43/229.55 c estimatedAdderCost: 103
228.43/229.55 c Try to convert by bdds
228.43/229.55 c d: 1
228.43/229.55 c estimatedAdderCost: 103
228.43/229.55 c Try to convert by bdds
228.43/229.56 c d: 1
228.43/229.56 c estimatedAdderCost: 103
228.43/229.56 c Try to convert by bdds
228.43/229.57 c d: 1
228.43/229.57 c estimatedAdderCost: 104
228.43/229.57 c Try to convert by bdds
228.43/229.57 c d: 1
228.43/229.57 c estimatedAdderCost: 104
228.43/229.57 c Try to convert by bdds
228.43/229.58 c d: 1
228.43/229.58 c estimatedAdderCost: 105
228.43/229.58 c Try to convert by bdds
228.43/229.58 c d: 1
228.43/229.58 c estimatedAdderCost: 104
228.43/229.58 c Try to convert by bdds
228.43/229.59 c d: 1
228.43/229.59 c estimatedAdderCost: 105
228.43/229.59 c Try to convert by bdds
228.53/229.60 c d: 1
228.53/229.60 c estimatedAdderCost: 103
228.53/229.60 c Try to convert by bdds
228.53/229.60 c d: 1
228.53/229.60 c estimatedAdderCost: 103
228.53/229.60 c Try to convert by bdds
228.53/229.61 c d: 1
228.53/229.61 c estimatedAdderCost: 103
228.53/229.61 c Try to convert by bdds
228.53/229.62 c d: 1
228.53/229.62 c estimatedAdderCost: 103
228.53/229.62 c Try to convert by bdds
228.53/229.62 c d: 1
228.53/229.62 c estimatedAdderCost: 103
228.53/229.62 c Try to convert by bdds
228.53/229.63 c d: 1
228.53/229.63 c estimatedAdderCost: 103
228.53/229.63 c Try to convert by bdds
228.53/229.63 c d: 1
228.53/229.63 c estimatedAdderCost: 103
228.53/229.63 c Try to convert by bdds
228.53/229.64 c d: 1
228.53/229.64 c estimatedAdderCost: 103
228.53/229.64 c Try to convert by bdds
228.53/229.65 c d: 1
228.53/229.65 c estimatedAdderCost: 104
228.53/229.65 c Try to convert by bdds
228.53/229.65 c d: 1
228.53/229.65 c estimatedAdderCost: 103
228.53/229.65 c Try to convert by bdds
228.53/229.66 c d: 1
228.53/229.66 c estimatedAdderCost: 104
228.53/229.66 c Try to convert by bdds
228.53/229.67 c d: 1
228.53/229.67 c estimatedAdderCost: 103
228.53/229.67 c Try to convert by bdds
228.53/229.67 c d: 1
228.53/229.67 c estimatedAdderCost: 103
228.53/229.67 c Try to convert by bdds
228.53/229.68 c d: 1
228.53/229.68 c estimatedAdderCost: 104
228.53/229.68 c Try to convert by bdds
228.53/229.68 c d: 1
228.53/229.68 c estimatedAdderCost: 103
228.53/229.68 c Try to convert by bdds
228.53/229.69 c d: 1
228.53/229.69 c estimatedAdderCost: 103
228.53/229.69 c Try to convert by bdds
228.63/229.70 c d: 1
228.63/229.70 c estimatedAdderCost: 102
228.63/229.70 c Try to convert by bdds
228.63/229.70 c d: 1
228.63/229.70 c estimatedAdderCost: 104
228.63/229.70 c Try to convert by bdds
228.63/229.71 c d: 1
228.63/229.71 c estimatedAdderCost: 103
228.63/229.71 c Try to convert by bdds
228.63/229.72 c d: 1
228.63/229.72 c estimatedAdderCost: 104
228.63/229.72 c Try to convert by bdds
228.63/229.72 c d: 1
228.63/229.72 c estimatedAdderCost: 104
228.63/229.72 c Try to convert by bdds
228.63/229.73 c d: 1
228.63/229.73 c estimatedAdderCost: 103
228.63/229.73 c Try to convert by bdds
228.63/229.74 c d: 1
228.63/229.74 c estimatedAdderCost: 103
228.63/229.74 c Try to convert by bdds
228.63/229.74 c d: 1
228.63/229.74 c estimatedAdderCost: 104
228.63/229.74 c Try to convert by bdds
228.63/229.75 c d: 1
228.63/229.75 c estimatedAdderCost: 105
228.63/229.75 c Try to convert by bdds
228.63/229.75 c d: 1
228.63/229.75 c estimatedAdderCost: 103
228.63/229.75 c Try to convert by bdds
228.63/229.76 c d: 1
228.63/229.76 c estimatedAdderCost: 103
228.63/229.76 c Try to convert by bdds
228.63/229.77 c d: 1
228.63/229.77 c estimatedAdderCost: 104
228.63/229.77 c Try to convert by bdds
228.63/229.77 c d: 1
228.63/229.77 c estimatedAdderCost: 102
228.63/229.77 c Try to convert by bdds
228.63/229.78 c d: 1
228.63/229.78 c estimatedAdderCost: 104
228.63/229.78 c Try to convert by bdds
228.63/229.78 c d: 1
228.63/229.78 c estimatedAdderCost: 104
228.63/229.78 c Try to convert by bdds
228.63/229.79 c d: 1
228.63/229.79 c estimatedAdderCost: 105
228.63/229.79 c Try to convert by bdds
228.73/229.80 c d: 1
228.73/229.80 c estimatedAdderCost: 103
228.73/229.80 c Try to convert by bdds
228.73/229.80 c d: 1
228.73/229.80 c estimatedAdderCost: 104
228.73/229.80 c Try to convert by bdds
228.73/229.81 c d: 1
228.73/229.81 c estimatedAdderCost: 104
228.73/229.81 c Try to convert by bdds
228.73/229.82 c d: 1
228.73/229.82 c estimatedAdderCost: 105
228.73/229.82 c Try to convert by bdds
228.73/229.82 c d: 1
228.73/229.82 c estimatedAdderCost: 104
228.73/229.82 c Try to convert by bdds
228.73/229.83 c d: 1
228.73/229.83 c estimatedAdderCost: 104
228.73/229.83 c Try to convert by bdds
228.73/229.83 c d: 1
228.73/229.83 c estimatedAdderCost: 103
228.73/229.83 c Try to convert by bdds
228.73/229.84 c d: 1
228.73/229.84 c estimatedAdderCost: 103
228.73/229.84 c Try to convert by bdds
228.73/229.85 c d: 1
228.73/229.85 c estimatedAdderCost: 104
228.73/229.85 c Try to convert by bdds
228.73/229.85 c d: 1
228.73/229.85 c estimatedAdderCost: 104
228.73/229.85 c Try to convert by bdds
228.73/229.86 c d: 1
228.73/229.86 c estimatedAdderCost: 103
228.73/229.86 c Try to convert by bdds
228.73/229.87 c d: 1
228.73/229.87 c estimatedAdderCost: 104
228.73/229.87 c Try to convert by bdds
228.73/229.87 c d: 1
228.73/229.87 c estimatedAdderCost: 103
228.73/229.87 c Try to convert by bdds
228.73/229.88 c d: 1
228.73/229.88 c estimatedAdderCost: 104
228.73/229.88 c Try to convert by bdds
228.73/229.88 c d: 1
228.73/229.88 c estimatedAdderCost: 103
228.73/229.88 c Try to convert by bdds
228.73/229.89 c d: 1
228.73/229.89 c estimatedAdderCost: 103
228.73/229.89 c Try to convert by bdds
228.83/229.90 c d: 1
228.83/229.90 c estimatedAdderCost: 104
228.83/229.90 c Try to convert by bdds
228.83/229.90 c d: 1
228.83/229.90 c estimatedAdderCost: 103
228.83/229.90 c Try to convert by bdds
228.83/229.91 c d: 1
228.83/229.91 c estimatedAdderCost: 103
228.83/229.91 c Try to convert by bdds
228.83/229.92 c d: 1
228.83/229.92 c estimatedAdderCost: 103
228.83/229.92 c Try to convert by bdds
228.83/229.92 c d: 1
228.83/229.92 c estimatedAdderCost: 103
228.83/229.92 c Try to convert by bdds
228.83/229.93 c d: 1
228.83/229.93 c estimatedAdderCost: 104
228.83/229.93 c Try to convert by bdds
228.83/229.93 c d: 1
228.83/229.93 c estimatedAdderCost: 103
228.83/229.93 c Try to convert by bdds
228.83/229.94 c d: 1
228.83/229.94 c estimatedAdderCost: 103
228.83/229.94 c Try to convert by bdds
228.83/229.95 c d: 1
228.83/229.95 c estimatedAdderCost: 102
228.83/229.95 c Try to convert by bdds
228.83/229.95 c d: 1
228.83/229.95 c estimatedAdderCost: 104
228.83/229.95 c Try to convert by bdds
228.83/229.96 c d: 1
228.83/229.96 c estimatedAdderCost: 103
228.83/229.96 c Try to convert by bdds
228.83/229.97 c d: 1
228.83/229.97 c estimatedAdderCost: 104
228.83/229.97 c Try to convert by bdds
228.83/229.97 c d: 1
228.83/229.97 c estimatedAdderCost: 105
228.83/229.97 c Try to convert by bdds
228.83/229.98 c d: 1
228.83/229.98 c estimatedAdderCost: 102
228.83/229.98 c Try to convert by bdds
228.83/229.98 c d: 1
228.83/229.98 c estimatedAdderCost: 102
228.83/229.98 c Try to convert by bdds
228.83/229.99 c d: 1
228.83/229.99 c estimatedAdderCost: 104
228.83/229.99 c Try to convert by bdds
228.83/230.00 c d: 1
228.83/230.00 c estimatedAdderCost: 105
228.83/230.00 c Try to convert by bdds
228.83/230.00 c d: 1
228.83/230.00 c estimatedAdderCost: 104
228.83/230.00 c Try to convert by bdds
228.94/230.01 c d: 1
228.94/230.01 c estimatedAdderCost: 103
228.94/230.01 c Try to convert by bdds
228.94/230.02 c d: 1
228.94/230.02 c estimatedAdderCost: 103
228.94/230.02 c Try to convert by bdds
228.94/230.02 c d: 1
228.94/230.02 c estimatedAdderCost: 104
228.94/230.02 c Try to convert by bdds
228.94/230.03 c d: 1
228.94/230.03 c estimatedAdderCost: 102
228.94/230.03 c Try to convert by bdds
228.94/230.03 c d: 1
228.94/230.03 c estimatedAdderCost: 104
228.94/230.03 c Try to convert by bdds
228.94/230.04 c d: 1
228.94/230.04 c estimatedAdderCost: 103
228.94/230.04 c Try to convert by bdds
228.94/230.05 c d: 1
228.94/230.05 c estimatedAdderCost: 105
228.94/230.05 c Try to convert by bdds
228.94/230.05 c d: 1
228.94/230.05 c estimatedAdderCost: 103
228.94/230.05 c Try to convert by bdds
228.94/230.06 c d: 1
228.94/230.06 c estimatedAdderCost: 103
228.94/230.06 c Try to convert by bdds
228.94/230.07 c d: 1
228.94/230.07 c estimatedAdderCost: 103
228.94/230.07 c Try to convert by bdds
228.94/230.07 c d: 1
228.94/230.07 c estimatedAdderCost: 102
228.94/230.07 c Try to convert by bdds
228.94/230.08 c d: 1
228.94/230.08 c estimatedAdderCost: 104
228.94/230.08 c Try to convert by bdds
228.94/230.08 c d: 1
228.94/230.08 c estimatedAdderCost: 104
228.94/230.08 c Try to convert by bdds
228.94/230.09 c d: 1
228.94/230.09 c estimatedAdderCost: 105
228.94/230.09 c Try to convert by bdds
228.94/230.10 c d: 1
228.94/230.10 c estimatedAdderCost: 104
228.94/230.10 c Try to convert by bdds
228.94/230.10 c d: 1
228.94/230.10 c estimatedAdderCost: 104
228.94/230.10 c Try to convert by bdds
229.04/230.11 c d: 1
229.04/230.11 c estimatedAdderCost: 103
229.04/230.11 c Try to convert by bdds
229.04/230.12 c d: 1
229.04/230.12 c estimatedAdderCost: 104
229.04/230.12 c Try to convert by bdds
229.04/230.12 c d: 1
229.04/230.12 c estimatedAdderCost: 103
229.04/230.12 c Try to convert by bdds
229.04/230.13 c d: 1
229.04/230.13 c estimatedAdderCost: 103
229.04/230.13 c Try to convert by bdds
229.04/230.13 c d: 1
229.04/230.13 c estimatedAdderCost: 104
229.04/230.13 c Try to convert by bdds
229.04/230.14 c d: 1
229.04/230.14 c estimatedAdderCost: 105
229.04/230.14 c Try to convert by bdds
229.04/230.15 c d: 1
229.04/230.15 c estimatedAdderCost: 105
229.04/230.15 c Try to convert by bdds
229.04/230.15 c d: 1
229.04/230.15 c estimatedAdderCost: 103
229.04/230.15 c Try to convert by bdds
229.04/230.16 c d: 1
229.04/230.16 c estimatedAdderCost: 103
229.04/230.16 c Try to convert by bdds
229.04/230.17 c d: 1
229.04/230.17 c estimatedAdderCost: 104
229.04/230.17 c Try to convert by bdds
229.04/230.17 c d: 1
229.04/230.17 c estimatedAdderCost: 45
229.04/230.17 c Try to convert by bdds
229.04/230.17 c d: 1
229.04/230.17 c estimatedAdderCost: 35
229.04/230.17 c Try to convert by bdds
229.04/230.17 c d: 1
229.04/230.17 c estimatedAdderCost: 45
229.04/230.17 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 47
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 51
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 40
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 34
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 46
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 51
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 45
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 43
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 43
229.04/230.18 c Try to convert by bdds
229.04/230.18 c d: 1
229.04/230.18 c estimatedAdderCost: 45
229.04/230.18 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 42
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 47
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 34
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 39
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 39
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 33
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 44
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 33
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 35
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 36
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 38
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 35
229.04/230.19 c Try to convert by bdds
229.04/230.19 c d: 1
229.04/230.19 c estimatedAdderCost: 31
229.04/230.19 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 47
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 45
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 42
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 35
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 45
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 42
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 38
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 45
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 39
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 51
229.12/230.20 c Try to convert by bdds
229.12/230.20 c d: 1
229.12/230.20 c estimatedAdderCost: 48
229.12/230.20 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 45
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 35
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 45
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 35
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 39
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 36
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 41
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 46
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 41
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 48
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 37
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 39
229.12/230.21 c Try to convert by bdds
229.12/230.21 c d: 1
229.12/230.21 c estimatedAdderCost: 38
229.12/230.21 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 46
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 39
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 46
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 37
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 33
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 33
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 34
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 45
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 36
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 35
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 38
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 54
229.12/230.22 c Try to convert by bdds
229.12/230.22 c d: 1
229.12/230.22 c estimatedAdderCost: 35
229.12/230.22 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 46
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 39
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 34
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 39
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 41
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 42
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 47
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 55
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 42
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 50
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 39
229.12/230.23 c Try to convert by bdds
229.12/230.23 c d: 1
229.12/230.23 c estimatedAdderCost: 48
229.12/230.23 c Try to convert by bdds
229.12/230.24 c d: 1
229.12/230.24 c estimatedAdderCost: 52
229.12/230.24 c Try to convert by bdds
229.12/230.24 c d: 1
229.12/230.24 c estimatedAdderCost: 46
229.12/230.24 c Try to convert by bdds
229.12/230.24 c d: 1
229.12/230.24 c estimatedAdderCost: 39
229.12/230.24 c Try to convert by bdds
229.12/230.24 c d: 1
229.12/230.24 c estimatedAdderCost: 38
229.12/230.24 c Try to convert by bdds
229.12/230.24 c d: 1
229.12/230.24 c estimatedAdderCost: 33
229.12/230.24 c Try to convert by bdds
229.12/230.24 c d: 1
229.12/230.24 c estimatedAdderCost: 43
229.12/230.24 c Try to convert by bdds
229.12/230.24 c d: 1
229.12/230.24 c
253.41/254.66 c pb_solver_status: sst_sat
253.41/254.66 c SCIP presolver nodes=13 > 1; boosting initial SCIP budget to 1000.0 sec
253.41/254.66 c total stages of optimization mode: 1
253.41/254.66 c Use UB found in presolve
253.41/254.66 c Use LB found in presolve
253.41/254.66 c minimizationMode: cmm_Binary
253.41/254.66 c goal coeffs: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
253.41/254.68 c Try to find a solution more than 559
253.51/254.73 c V: 1
253.51/254.73 c
253.51/254.74 c assumptions:
253.51/254.74 c invoking solver with time budget: 5.000000
305.27/306.77 c sat_solver_result: sst_unknown
305.27/306.77 c SAT solver timed out; proceeding to cooperative SCIP call
305.27/306.77 c Calling solveScip for cooperative mode with LB_goalvalue: 453, UB_goalvalue: 772
305.27/306.77 c scip solving with time budget: 1000.000000
305.27/306.77 c solveScip
305.27/306.77 c initScipForCoop
305.27/306.77 c Coop Mode: Using SCIP obj units for LB/UB: 453, +oo
305.27/306.78 c 2/2 feasible solutions given by solution candidate storage, new primal bound -3.190000e+02
305.27/306.78 c
305.36/306.80 c presolving:
305.36/306.84 c (round 1, fast) 13 del vars, 0 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
305.46/306.91 c (0.1s) running MILP presolver
305.46/306.94 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
305.46/306.96 c (round 2, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
305.58/307.01 c (round 3, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1067 upgd conss, 0 impls, 1 clqs, 0 implints
305.58/307.07 c (round 4, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1072 upgd conss, 0 impls, 1 clqs, 0 implints
305.68/307.15 c (0.4s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
305.68/307.15 c (0.4s) probing aborted: 50/50 successive totally useless probings
305.77/307.26 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
305.77/307.29 c (0.5s) no symmetry present (symcode time: 0.00)
305.87/307.38 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
305.87/307.38 c 13 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
305.87/307.38 c 0 implications, 1 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
305.87/307.38 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
305.87/307.38 c 1071 constraints of type <knapsack>
305.87/307.38 c 1 constraints of type <setppc>
305.87/307.38 c transformed objective value is always integral (scale: 1)
305.87/307.38 c Presolving Time: 0.59
305.87/307.39 c transformed 2/2 original solutions to the transformed problem space
305.87/307.39 c
306.17/307.62 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
306.17/307.62 c 0.9s| 1 | 0 | 249 | - | 522M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
306.46/307.93 c 1.2s| 1 | 0 | 445 | - | 535M | 0 |1276 |1072 |1238 | 166 | 1 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
306.76/308.25 c 1.5s| 1 | 0 | 601 | - | 544M | 0 |1276 |1072 |1370 | 298 | 2 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
307.06/308.54 c 1.8s| 1 | 0 | 698 | - | 557M | 0 |1276 |1072 |1445 | 373 | 3 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
307.36/308.86 c 2.1s| 1 | 0 | 809 | - | 558M | 0 |1276 |1072 |1521 | 449 | 4 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
307.67/309.17 c 2.4s| 1 | 0 | 923 | - | 558M | 0 |1276 |1072 |1593 | 521 | 5 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
307.95/309.49 c 2.7s| 1 | 0 | 1034 | - | 564M | 0 |1276 |1072 |1671 | 599 | 6 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
308.35/309.81 c 3.0s| 1 | 0 | 1144 | - | 577M | 0 |1276 |1072 |1735 | 663 | 7 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
308.66/310.12 c 3.3s| 1 | 0 | 1242 | - | 587M | 0 |1276 |1072 |1791 | 719 | 8 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
308.95/310.42 c 3.7s| 1 | 0 | 1307 | - | 591M | 0 |1276 |1072 |1840 | 768 | 9 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
309.24/310.70 c 3.9s| 1 | 0 | 1378 | - | 604M | 0 |1276 |1072 |1884 | 812 | 10 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
309.44/310.93 c 4.2s| 1 | 0 | 1447 | - | 605M | 0 |1276 |1072 |1762 | 853 | 11 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
315.02/316.52 c 9.8s| 1 | 2 | 13733 | - | 605M | 0 |1276 |1076 |1762 | 853 | 11 | 4 | 33 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
356.84/358.55 c 51.8s| 100 | 101 |117769 |1175.0 | 623M | 19 |1276 |1086 |1198 |1281 | 1 | 14 | 300 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
370.39/372.14 c 65.4s| 200 | 201 |182790 | 911.3 | 680M | 47 |1276 |1096 |1197 |1633 | 1 | 24 | 326 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
391.68/393.50 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
391.68/393.50 c 86.7s| 300 | 301 |218717 | 726.7 | 668M | 60 |1276 |1101 |1294 |2082 | 2 | 29 | 352 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
399.34/401.20 c 94.4s| 400 | 401 |240148 | 598.2 | 701M | 83 |1276 |1101 |1278 |2388 | 1 | 29 | 385 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
403.52/405.42 c 98.7s| 500 | 501 |254188 | 506.5 | 683M | 91 |1276 |1104 |1289 |2533 | 2 | 32 | 396 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
408.99/410.94 c 104s| 600 | 601 |271038 | 450.1 | 684M | 91 |1276 |1104 |1280 |2703 | 1 | 32 | 415 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
415.36/417.31 c 111s| 700 | 701 |288608 | 410.8 | 684M | 91 |1276 |1104 |1285 |2956 | 1 | 32 | 438 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
420.74/422.79 c 116s| 800 | 801 |304991 | 379.9 | 684M | 91 |1276 |1105 |1285 |3055 | 1 | 33 | 456 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
429.40/431.43 c 125s| 900 | 901 |336477 | 372.7 | 684M | 91 |1276 |1105 |1283 |3161 | 1 | 33 | 482 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
436.08/438.15 c 131s| 1000 | 1001 |357588 | 356.5 | 684M | 95 |1276 |1105 |1300 |3281 | 2 | 33 | 502 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
448.03/450.15 c 143s| 1100 | 1101 |400718 | 363.3 | 678M | 115 |1276 |1108 |1285 |3348 | 1 | 36 | 531 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
462.75/464.98 c 158s| 1200 | 1201 |450142 | 374.2 | 678M | 115 |1276 |1115 |1293 |3404 | 1 | 43 | 567 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
472.30/474.51 c 168s| 1300 | 1301 |483613 | 371.2 | 678M | 115 |1276 |1122 |1297 |3449 | 1 | 50 | 593 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
480.79/483.06 c 176s| 1400 | 1401 |516471 | 368.1 | 678M | 115 |1276 |1125 |1282 |3498 | 1 | 53 | 610 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
487.86/490.14 c 183s| 1500 | 1501 |542731 | 361.1 | 679M | 115 |1276 |1125 |1309 |3560 | 1 | 53 | 630 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
496.11/498.46 c 192s| 1600 | 1601 |573628 | 357.8 | 679M | 125 |1276 |1144 |1296 |3593 | 1 | 72 | 653 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
506.77/509.12 c 202s| 1700 | 1701 |610606 | 358.5 | 679M | 127 |1276 |1153 |1314 |3646 | 2 | 81 | 687 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
517.11/519.56 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
517.11/519.56 c 213s| 1800 | 1801 |648314 | 359.6 | 679M | 129 |1276 |1158 |1296 |3675 | 1 | 86 | 721 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
524.77/527.24 c 220s| 1900 | 1901 |676005 | 355.2 | 679M | 133 |1276 |1187 |1297 |3712 | 1 | 115 | 739 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
532.05/534.55 c 228s| 2000 | 1991 |705543 | 352.2 | 679M | 133 |1276 |1199 |1289 |3736 | 1 | 127 | 771 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
558.33/560.94 c 254s| 2100 | 2053 |814809 | 387.5 | 679M | 133 |1276 |1240 |1310 |3790 | 1 | 168 | 867 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
586.50/589.20 c 282s| 2200 | 2129 |913846 | 414.9 | 680M | 133 |1276 |1274 |1214 |4062 | 1 | 202 | 970 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
607.40/610.28 c 304s| 2300 | 2219 |985163 | 427.9 | 680M | 133 |1276 |1293 |1203 |4266 | 1 | 221 |1118 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
631.29/634.21 c 327s| 2400 | 2301 | 1067k| 444.3 | 681M | 133 |1276 |1315 |1224 |4455 | 1 | 243 |1303 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
647.82/650.89 c 344s| 2500 | 2373 | 1149k| 459.6 | 681M | 133 |1276 |1347 |1331 |4594 | 1 | 275 |1342 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
679.89/683.07 c 376s| 2600 | 2409 | 1271k| 488.6 | 681M | 133 |1276 |1432 |1327 |4615 | 0 | 360 |1563 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
704.16/707.46 c 401s| 2700 | 2485 | 1374k| 508.7 | 681M | 133 |1276 |1459 |1326 |4727 | 0 | 388 |1681 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
721.29/724.62 c 418s| 2800 | 2560 | 1460k| 521.2 | 681M | 133 |1276 |1492 |1327 |4880 | 1 | 423 |1700 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
735.32/738.72 c 432s| 2900 | 2582 | 1536k| 529.4 | 681M | 133 |1276 |1602 |1331 |4907 | 0 | 558 |1751 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
749.95/753.42 c 447s| 3000 | 2609 | 1611k| 536.8 | 681M | 133 |1276 |1681 |1334 |4934 | 1 | 664 |1804 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
774.04/777.63 c 471s| 3100 | 2688 | 1703k| 549.1 | 682M | 133 |1276 |1695 |1305 |4992 | 1 | 686 |1889 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
794.64/798.30 c 492s| 3200 | 2705 | 1801k| 562.8 | 681M | 133 |1276 |1767 |1324 |5027 | 0 | 788 |1971 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
826.71/830.57 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
826.71/830.57 c 524s| 3300 | 2777 | 1926k| 583.7 | 681M | 133 |1276 |1781 |1314 |5238 | 1 | 812 |2067 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
842.25/846.15 c 539s| 3400 | 2813 | 1994k| 586.3 | 681M | 133 |1276 |1832 |1307 |5289 | 1 | 892 |2118 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
858.36/862.34 c 556s| 3500 | 2863 | 2066k| 590.3 | 681M | 133 |1276 |1866 |1326 |5327 | 0 | 944 |2160 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
875.88/879.95 c 573s| 3600 | 2915 | 2140k| 594.3 | 682M | 133 |1276 |1904 |1304 |5380 | 1 |1000 |2213 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
888.13/892.22 c 585s| 3700 | 2971 | 2204k| 595.6 | 682M | 133 |1276 |1938 |1317 |5445 | 1 |1050 |2232 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
897.00/901.18 c 594s| 3800 | 3019 | 2248k| 591.4 | 682M | 133 |1276 |1972 |1311 |5490 | 1 |1107 |2256 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
908.34/912.59 c 606s| 3900 | 3077 | 2312k| 592.7 | 682M | 133 |1276 |2003 |1328 |5573 | 1 |1155 |2298 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
921.58/925.82 c 619s| 4000 | 3125 | 2357k| 589.1 | 682M | 133 |1276 |2031 |1324 |5624 | 1 |1198 |2388 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
930.04/934.32 c 628s| 4100 | 3186 | 2401k| 585.6 | 682M | 133 |1276 |2054 |1330 |5705 | 1 |1234 |2415 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
949.05/953.40 c 647s| 4200 | 3230 | 2479k| 590.2 | 682M | 133 |1276 |2110 |1314 |5724 | 1 |1309 |2533 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
969.06/973.59 c 667s| 4300 | 3293 | 2545k| 591.9 | 682M | 133 |1276 |2140 |1237 |5774 | 1 |1354 |2718 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
992.47/997.09 c 690s| 4400 | 3383 | 2632k| 598.2 | 683M | 133 |1276 |2143 |1257 |5966 | 1 |1360 |2848 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1009.88/1014.54 c 708s| 4500 | 3437 | 2722k| 604.8 | 683M | 133 |1276 |2187 |1327 |6042 | 1 |1418 |2865 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1027.90/1032.67 c 726s| 4600 | 3515 | 2815k| 612.0 | 683M | 133 |1276 |2201 |1283 |6179 | 2 |1441 |2891 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1036.86/1041.67 c 735s| 4700 | 3566 | 2867k| 609.8 | 683M | 133 |1276 |2246 |1323 |6220 | 1 |1506 |2896 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1043.53/1048.35 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1043.53/1048.35 c 742s| 4800 | 3613 | 2908k| 605.7 | 683M | 133 |1276 |2273 |1323 |6270 | 1 |1551 |2899 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1063.73/1068.65 c 762s| 4900 | 3663 | 3014k| 615.1 | 683M | 133 |1276 |2316 |1332 |6311 | 0 |1617 |2977 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1084.15/1089.14 c 782s| 5000 | 3713 | 3127k| 625.4 | 683M | 133 |1276 |2370 |1332 |6339 | 1 |1693 |3014 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1093.20/1098.24 c 791s| 5100 | 3753 | 3184k| 624.2 | 683M | 133 |1276 |2418 |1339 |6387 | 1 |1769 |3023 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1107.63/1112.71 c 806s| 5200 | 3803 | 3262k| 627.3 | 683M | 133 |1276 |2447 |1309 |6439 | 1 |1817 |3040 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1138.69/1143.92 c 837s| 5300 | 3866 | 3400k| 641.5 | 683M | 133 |1276 |2487 |1220 |6475 | 1 |1877 |3099 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1170.06/1175.43 c 869s| 5400 | 3954 | 3523k| 652.3 | 685M | 133 |1276 |2505 |1263 |6654 | 1 |1909 |3160 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1196.44/1202.00 c 895s| 5500 | 4046 | 3628k| 659.7 | 685M | 133 |1276 |2513 |1261 |6844 | 1 |1927 |3217 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1227.60/1233.22 c 926s| 5600 | 4120 | 3765k| 672.3 | 685M | 133 |1276 |2559 |1261 |6965 | 1 |1997 |3270 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1263.84/1269.68 c 963s| 5700 | 4186 | 3922k| 688.1 | 685M | 133 |1276 |2588 |1311 |7024 | 1 |2055 |3345 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1298.20/1304.14 c 997s| 5800 | 4236 | 4075k| 702.6 | 685M | 133 |1276 |2632 |1317 |7061 | 0 |2127 |3447 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1300.78/1306.77 c
1300.78/1306.77 c SCIP Status : solving was interrupted [time limit reached]
1300.78/1306.77 c Solving Time (sec) : 1000.00
1300.78/1306.77 c Solving Nodes : 5811
1300.78/1306.77 c Primal Bound : -3.19000000000000e+02 (2 solutions, 1 respecting the objective limit)
1300.78/1306.77 c Dual Bound : +0.00000000000000e+00
1300.78/1306.77 c Gap : infinite
1300.78/1306.77 c SCIP status: 23 (TIMELIMIT)
1300.78/1306.77 c pb_solver_status: sst_sat
1300.78/1306.77 c LB_goalvalue: 453
1300.78/1306.77 c UB_goalvalue: 772
1300.78/1306.77 c Both SAT and SCIP timed out; boosting budgets to sat=10.000000 scip=1800.000000
1300.78/1306.77 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
1300.78/1306.77 c SCIP returned: sst_sat
1300.78/1306.77 c SCIP primal LB: 453, dual UB: 772
1300.78/1306.77 c Try to find a solution more than 559
1300.78/1306.77 c assumptions:
1300.78/1306.77 c invoking solver with time budget: 10.000000
1310.33/1316.39 c Model check passed
1310.33/1316.39 c sat_solver_result: sst_sat
1310.33/1316.39 c pb_solver_status: sst_sat
1310.33/1316.39 c in maximizeGoal found by SAT
1310.93/1316.95 o 134
1310.93/1316.95 c addUnit: @goal_constraint0
1310.93/1316.95 c Found a solution: 638. Optimum bounded: [638,772].
1310.93/1316.95 c Try to find a solution more than 682
1310.93/1316.95 c V: 1
1310.93/1316.95 c
1310.93/1316.95 c assumptions:
1310.93/1316.95 c invoking solver with time budget: 0.430029
1311.62/1317.60 c sat_solver_result: sst_unknown
1311.62/1317.60 c SAT solver timed out; proceeding to cooperative SCIP call
1311.62/1317.60 c Calling solveScip for cooperative mode with LB_goalvalue: 638, UB_goalvalue: 772
1311.62/1317.60 c scip solving with time budget: 1800.000000
1311.62/1317.60 c solveScip
1311.62/1317.60 c initScipForCoop
1311.62/1317.60 c Coop Mode: Using SCIP obj units for LB/UB: 638, +oo
1311.62/1317.60 c SCIPfreeTransform due to timeout and having shadow nodes
1311.62/1317.60 c forcing SCIPfreeTransform before solve
1311.62/1317.65 c Running SCIP presolve for solve-time propagation (rounds=3)
1311.62/1317.67 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.340000e+02
1311.62/1317.67 c
1311.62/1317.68 c presolving:
1311.72/1317.73 c (round 1, fast) 13 del vars, 0 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
1311.82/1317.80 c (0.1s) running MILP presolver
1311.82/1317.82 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1311.82/1317.83 c (round 2, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
1311.92/1317.98 c (0.3s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1311.92/1317.98 c (0.3s) probing aborted: 50/50 successive totally useless probings
1312.03/1318.09 c presolving (3 rounds: 3 fast, 2 medium, 2 exhaustive):
1312.03/1318.09 c 13 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
1312.03/1318.09 c 0 implications, 1 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1312.03/1318.09 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
1312.03/1318.09 c 1066 constraints of type <knapsack>
1312.03/1318.09 c 1 constraints of type <setppc>
1312.03/1318.09 c 5 constraints of type <linear>
1312.03/1318.09 c transformed objective value is always integral (scale: 1)
1312.03/1318.09 c Presolving Time: 0.41
1312.13/1318.12 c 2/2 feasible solutions given by solution candidate storage, new primal bound -3.190000e+02
1312.13/1318.12 c
1312.13/1318.14 c presolving:
1312.13/1318.18 c (round 1, fast) 13 del vars, 0 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
1312.22/1318.25 c (0.1s) running MILP presolver
1312.22/1318.28 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
1312.22/1318.29 c (round 2, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
1312.32/1318.35 c (round 3, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1067 upgd conss, 0 impls, 1 clqs, 0 implints
1312.42/1318.41 c (round 4, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1072 upgd conss, 0 impls, 1 clqs, 0 implints
1312.42/1318.49 c (0.4s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1312.42/1318.49 c (0.4s) probing aborted: 50/50 successive totally useless probings
1312.62/1318.60 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1312.62/1318.63 c (0.5s) no symmetry present (symcode time: 0.00)
1312.72/1318.74 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
1312.72/1318.74 c 13 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
1312.72/1318.74 c 0 implications, 1 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1312.72/1318.74 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
1312.72/1318.74 c 1071 constraints of type <knapsack>
1312.72/1318.74 c 1 constraints of type <setppc>
1312.72/1318.74 c transformed objective value is always integral (scale: 1)
1312.72/1318.74 c Presolving Time: 0.60
1312.72/1318.75 c transformed 2/2 original solutions to the transformed problem space
1312.72/1318.75 c
1312.92/1318.99 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1312.92/1318.99 c 0.9s| 1 | 0 | 249 | - | 642M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1313.31/1319.30 c 1.2s| 1 | 0 | 445 | - | 656M | 0 |1276 |1072 |1238 | 166 | 1 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1313.61/1319.62 c 1.5s| 1 | 0 | 601 | - | 660M | 0 |1276 |1072 |1370 | 298 | 2 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1313.91/1319.91 c 1.8s| 1 | 0 | 698 | - | 673M | 0 |1276 |1072 |1445 | 373 | 3 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1314.21/1320.23 c 2.1s| 1 | 0 | 809 | - | 676M | 0 |1276 |1072 |1521 | 449 | 4 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1314.52/1320.54 c 2.4s| 1 | 0 | 923 | - | 673M | 0 |1276 |1072 |1593 | 521 | 5 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1314.82/1320.86 c 2.8s| 1 | 0 | 1034 | - | 672M | 0 |1276 |1072 |1671 | 599 | 6 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1315.13/1321.18 c 3.1s| 1 | 0 | 1144 | - | 678M | 0 |1276 |1072 |1735 | 663 | 7 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1315.51/1321.50 c 3.4s| 1 | 0 | 1242 | - | 691M | 0 |1276 |1072 |1791 | 719 | 8 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1315.81/1321.81 c 3.7s| 1 | 0 | 1307 | - | 694M | 0 |1276 |1072 |1840 | 768 | 9 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1316.02/1322.09 c 4.0s| 1 | 0 | 1378 | - | 700M | 0 |1276 |1072 |1884 | 812 | 10 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1316.31/1322.32 c 4.2s| 1 | 0 | 1447 | - | 688M | 0 |1276 |1072 |1762 | 853 | 11 | 0 | 0 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1321.88/1327.94 c 9.8s| 1 | 2 | 13733 | - | 688M | 0 |1276 |1076 |1762 | 853 | 11 | 4 | 33 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1363.80/1370.02 c 51.9s| 100 | 101 |117769 |1175.0 | 701M | 19 |1276 |1086 |1198 |1281 | 1 | 14 | 300 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1377.32/1383.63 c 65.5s| 200 | 201 |182790 | 911.3 | 713M | 47 |1276 |1096 |1197 |1633 | 1 | 24 | 326 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1398.63/1405.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1398.63/1405.03 c 86.9s| 300 | 301 |218717 | 726.7 | 696M | 60 |1276 |1101 |1294 |2082 | 2 | 29 | 352 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1406.28/1412.72 c 94.6s| 400 | 401 |240148 | 598.2 | 702M | 83 |1276 |1101 |1278 |2388 | 1 | 29 | 385 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1410.46/1416.92 c 98.8s| 500 | 501 |254188 | 506.5 | 681M | 91 |1276 |1104 |1289 |2533 | 2 | 32 | 396 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1415.94/1422.43 c 104s| 600 | 601 |271038 | 450.1 | 681M | 91 |1276 |1104 |1280 |2703 | 1 | 32 | 415 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1422.31/1428.84 c 111s| 700 | 701 |288608 | 410.8 | 681M | 91 |1276 |1104 |1285 |2956 | 1 | 32 | 438 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1427.79/1434.32 c 116s| 800 | 801 |304991 | 379.9 | 681M | 91 |1276 |1105 |1285 |3055 | 1 | 33 | 456 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1436.35/1442.99 c 125s| 900 | 901 |336477 | 372.7 | 681M | 91 |1276 |1105 |1283 |3161 | 1 | 33 | 482 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1443.12/1449.73 c 132s| 1000 | 1001 |357588 | 356.5 | 681M | 95 |1276 |1105 |1300 |3281 | 2 | 33 | 502 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1454.97/1461.69 c 144s| 1100 | 1101 |400718 | 363.3 | 676M | 115 |1276 |1108 |1285 |3348 | 1 | 36 | 531 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1469.70/1476.47 c 158s| 1200 | 1201 |450142 | 374.2 | 676M | 115 |1276 |1115 |1293 |3404 | 1 | 43 | 567 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1479.16/1485.97 c 168s| 1300 | 1301 |483613 | 371.2 | 676M | 115 |1276 |1122 |1297 |3449 | 1 | 50 | 593 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1487.72/1494.51 c 176s| 1400 | 1401 |516471 | 368.1 | 676M | 115 |1276 |1125 |1282 |3498 | 1 | 53 | 610 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1494.69/1501.58 c 183s| 1500 | 1501 |542731 | 361.1 | 676M | 115 |1276 |1125 |1309 |3560 | 1 | 53 | 630 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1502.95/1509.86 c 192s| 1600 | 1601 |573628 | 357.8 | 676M | 125 |1276 |1144 |1296 |3593 | 1 | 72 | 653 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1513.60/1520.51 c 202s| 1700 | 1701 |610606 | 358.5 | 676M | 127 |1276 |1153 |1314 |3646 | 2 | 81 | 687 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1523.85/1530.89 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1523.85/1530.89 c 213s| 1800 | 1801 |648314 | 359.6 | 676M | 129 |1276 |1158 |1296 |3675 | 1 | 86 | 721 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1531.52/1538.54 c 220s| 1900 | 1901 |676005 | 355.2 | 676M | 133 |1276 |1187 |1297 |3712 | 1 | 115 | 739 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1538.78/1545.86 c 228s| 2000 | 1991 |705543 | 352.2 | 676M | 133 |1276 |1199 |1289 |3736 | 1 | 127 | 771 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1564.77/1571.99 c 254s| 2100 | 2053 |814809 | 387.5 | 676M | 133 |1276 |1240 |1310 |3790 | 1 | 168 | 867 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1592.86/1600.12 c 282s| 2200 | 2129 |913846 | 414.9 | 676M | 133 |1276 |1274 |1214 |4062 | 1 | 202 | 970 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1613.85/1621.21 c 303s| 2300 | 2219 |985163 | 427.9 | 676M | 133 |1276 |1293 |1203 |4266 | 1 | 221 |1118 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1637.55/1645.08 c 327s| 2400 | 2301 | 1067k| 444.3 | 676M | 133 |1276 |1315 |1224 |4455 | 1 | 243 |1303 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1654.07/1661.67 c 344s| 2500 | 2373 | 1149k| 459.6 | 676M | 133 |1276 |1347 |1331 |4594 | 1 | 275 |1342 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1686.23/1693.92 c 376s| 2600 | 2409 | 1271k| 488.6 | 677M | 133 |1276 |1432 |1327 |4615 | 0 | 360 |1563 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1710.42/1718.28 c 400s| 2700 | 2485 | 1374k| 508.7 | 677M | 133 |1276 |1459 |1326 |4727 | 0 | 388 |1681 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1727.54/1735.46 c 417s| 2800 | 2560 | 1460k| 521.2 | 677M | 133 |1276 |1492 |1327 |4880 | 1 | 423 |1700 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1741.48/1749.42 c 431s| 2900 | 2582 | 1536k| 529.4 | 677M | 133 |1276 |1602 |1331 |4907 | 0 | 558 |1751 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1756.13/1764.11 c 446s| 3000 | 2609 | 1611k| 536.8 | 677M | 133 |1276 |1681 |1334 |4934 | 1 | 664 |1804 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1780.11/1788.27 c 470s| 3100 | 2688 | 1703k| 549.1 | 677M | 133 |1276 |1695 |1305 |4992 | 1 | 686 |1889 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1800.61/1808.89 c 491s| 3200 | 2705 | 1801k| 562.8 | 677M | 133 |1276 |1767 |1324 |5027 | 0 | 788 |1971 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1832.78/1841.19 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1832.78/1841.19 c 523s| 3300 | 2777 | 1926k| 583.7 | 677M | 133 |1276 |1781 |1314 |5238 | 1 | 812 |2067 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1848.20/1856.69 c 539s| 3400 | 2813 | 1994k| 586.3 | 677M | 133 |1276 |1832 |1307 |5289 | 1 | 892 |2118 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1864.32/1872.82 c 555s| 3500 | 2863 | 2066k| 590.3 | 677M | 133 |1276 |1866 |1326 |5327 | 0 | 944 |2160 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1881.84/1890.40 c 572s| 3600 | 2915 | 2140k| 594.3 | 677M | 133 |1276 |1904 |1304 |5380 | 1 |1000 |2213 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1893.89/1902.58 c 584s| 3700 | 2971 | 2204k| 595.6 | 677M | 133 |1276 |1938 |1317 |5445 | 1 |1050 |2232 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1902.75/1911.47 c 593s| 3800 | 3019 | 2248k| 591.4 | 677M | 133 |1276 |1972 |1311 |5490 | 1 |1107 |2256 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1914.10/1922.81 c 605s| 3900 | 3077 | 2312k| 592.7 | 677M | 133 |1276 |2003 |1328 |5573 | 1 |1155 |2298 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1927.14/1935.97 c 618s| 4000 | 3125 | 2357k| 589.1 | 677M | 133 |1276 |2031 |1324 |5624 | 1 |1198 |2388 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1935.50/1944.36 c 626s| 4100 | 3186 | 2401k| 585.6 | 677M | 133 |1276 |2054 |1330 |5705 | 1 |1234 |2415 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1954.31/1963.28 c 645s| 4200 | 3230 | 2479k| 590.2 | 677M | 133 |1276 |2110 |1314 |5724 | 1 |1309 |2533 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1974.41/1983.45 c 665s| 4300 | 3293 | 2545k| 591.9 | 677M | 133 |1276 |2140 |1237 |5774 | 1 |1354 |2718 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
1997.69/2006.86 c 689s| 4400 | 3383 | 2632k| 598.2 | 677M | 133 |1276 |2143 |1257 |5966 | 1 |1360 |2848 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2015.11/2024.30 c 706s| 4500 | 3437 | 2722k| 604.8 | 677M | 133 |1276 |2187 |1327 |6042 | 1 |1418 |2865 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2033.13/2042.47 c 724s| 4600 | 3515 | 2815k| 612.0 | 677M | 133 |1276 |2201 |1283 |6179 | 2 |1441 |2891 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2042.09/2051.43 c 733s| 4700 | 3566 | 2867k| 609.8 | 677M | 133 |1276 |2246 |1323 |6220 | 1 |1506 |2896 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2048.67/2058.07 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2048.67/2058.07 c 740s| 4800 | 3613 | 2908k| 605.7 | 677M | 133 |1276 |2273 |1323 |6270 | 1 |1551 |2899 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2068.77/2078.23 c 760s| 4900 | 3663 | 3014k| 615.1 | 677M | 133 |1276 |2316 |1332 |6311 | 0 |1617 |2977 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2089.17/2098.72 c 781s| 5000 | 3713 | 3127k| 625.4 | 677M | 133 |1276 |2370 |1332 |6339 | 1 |1693 |3014 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2098.23/2107.81 c 790s| 5100 | 3753 | 3184k| 624.2 | 677M | 133 |1276 |2418 |1339 |6387 | 1 |1769 |3023 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2112.57/2122.29 c 804s| 5200 | 3803 | 3262k| 627.3 | 677M | 133 |1276 |2447 |1309 |6439 | 1 |1817 |3040 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2143.42/2153.29 c 835s| 5300 | 3866 | 3400k| 641.5 | 677M | 133 |1276 |2487 |1220 |6475 | 1 |1877 |3099 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2174.88/2184.89 c 867s| 5400 | 3954 | 3523k| 652.3 | 677M | 133 |1276 |2505 |1263 |6654 | 1 |1909 |3160 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2201.36/2211.48 c 893s| 5500 | 4046 | 3628k| 659.7 | 677M | 133 |1276 |2513 |1261 |6844 | 1 |1927 |3217 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2232.31/2242.58 c 924s| 5600 | 4120 | 3765k| 672.3 | 677M | 133 |1276 |2559 |1261 |6965 | 1 |1997 |3270 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2268.45/2278.83 c 961s| 5700 | 4186 | 3922k| 688.1 | 677M | 133 |1276 |2588 |1311 |7024 | 1 |2055 |3345 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2302.70/2313.25 c 995s| 5800 | 4236 | 4075k| 702.6 | 677M | 133 |1276 |2632 |1317 |7061 | 0 |2127 |3447 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2337.45/2348.11 c 1030s| 5900 | 4278 | 4231k| 717.0 | 677M | 133 |1276 |2667 |1322 |7109 | 1 |2191 |3572 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2370.19/2381.09 c 1063s| 6000 | 4322 | 4369k| 728.1 | 677M | 133 |1276 |2715 |1227 |7231 | 1 |2274 |3724 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2392.19/2403.12 c 1085s| 6100 | 4391 | 4471k| 733.0 | 677M | 133 |1276 |2752 |1327 |7298 | 1 |2327 |3812 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2417.56/2428.66 c 1111s| 6200 | 4416 | 4611k| 743.6 | 677M | 133 |1276 |2822 |1333 |7321 | 1 |2440 |3852 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2446.74/2457.91 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2446.74/2457.91 c 1140s| 6300 | 4484 | 4736k| 751.7 | 677M | 133 |1276 |2849 |1330 |7440 | 1 |2491 |3969 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2476.90/2488.29 c 1170s| 6400 | 4547 | 4891k| 764.2 | 678M | 133 |1276 |2873 |1336 |7580 | 1 |2541 |4039 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2497.30/2508.78 c 1191s| 6500 | 4589 | 5014k| 771.4 | 678M | 133 |1276 |2913 |1326 |7628 | 0 |2615 |4044 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2525.18/2536.74 c 1219s| 6600 | 4631 | 5182k| 785.1 | 678M | 133 |1276 |2963 |1335 |7687 | 1 |2705 |4044 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2549.38/2561.04 c 1243s| 6700 | 4694 | 5323k| 794.5 | 678M | 133 |1276 |2980 |1313 |7740 | 1 |2748 |4046 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2574.05/2585.87 c 1268s| 6800 | 4762 | 5433k| 798.9 | 678M | 133 |1276 |2993 |1292 |7886 | 1 |2786 |4079 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2600.83/2612.77 c 1295s| 6900 | 4806 | 5561k| 805.9 | 678M | 133 |1276 |3034 |1332 |7948 | 5 |2870 |4124 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2620.95/2633.01 c 1315s| 7000 | 4852 | 5653k| 807.5 | 678M | 133 |1276 |3091 | 0 |7984 | 0 |2965 |4172 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2647.05/2659.15 c 1341s| 7100 | 4905 | 5771k| 812.7 | 678M | 133 |1276 |3144 |1344 |8065 | 1 |3041 |4221 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2673.42/2685.70 c 1368s| 7200 | 4944 | 5897k| 819.0 | 678M | 133 |1276 |3181 |1316 |8119 | 1 |3125 |4277 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2685.37/2697.63 c 1380s| 7300 | 4989 | 5955k| 815.7 | 678M | 133 |1276 |3205 |1326 |8175 | 1 |3186 |4306 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2694.53/2706.85 c 1389s| 7400 | 5041 | 5991k| 809.6 | 678M | 133 |1276 |3224 |1328 |8233 | 0 |3236 |4339 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2701.71/2714.06 c 1396s| 7500 | 5087 | 6036k| 804.8 | 678M | 133 |1276 |3238 |1328 |8290 | 1 |3304 |4353 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2711.67/2724.02 c 1406s| 7600 | 5129 | 6076k| 799.4 | 679M | 133 |1276 |3279 |1335 |8320 | 1 |3372 |4456 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2728.39/2740.82 c 1423s| 7700 | 5192 | 6168k| 801.0 | 679M | 141 |1276 |3292 |1314 |8355 | 1 |3413 |4514 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2734.36/2746.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2734.36/2746.83 c 1429s| 7800 | 5244 | 6203k| 795.2 | 679M | 141 |1276 |3290 | 0 |8408 | 0 |3445 |4536 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2740.04/2752.54 c 1434s| 7900 | 5296 | 6238k| 789.7 | 679M | 141 |1276 |3289 |1331 |8467 | 1 |3486 |4550 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2749.61/2762.19 c 1444s| 8000 | 5344 | 6299k| 787.4 | 679M | 141 |1276 |3323 |1331 |8512 | 1 |3552 |4564 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2762.56/2775.13 c 1457s| 8100 | 5402 | 6354k| 784.4 | 679M | 141 |1276 |3346 |1334 |8555 | 1 |3611 |4665 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2767.54/2780.16 c 1462s| 8200 | 5454 | 6386k| 778.8 | 679M | 141 |1276 |3368 |1331 |8590 | 1 |3668 |4668 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2771.52/2784.20 c 1466s| 8300 | 5517 | 6412k| 772.6 | 679M | 141 |1276 |3395 |1323 |8637 | 0 |3711 |4668 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2801.90/2814.62 c 1497s| 8400 | 5607 | 6490k| 772.5 | 680M | 141 |1276 |3383 |1333 |8773 | 1 |3723 |4950 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2810.47/2823.27 c 1505s| 8500 | 5655 | 6531k| 768.3 | 680M | 141 |1276 |3455 |1315 |8822 | 1 |3815 |4993 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2816.74/2829.52 c 1511s| 8600 | 5716 | 6571k| 764.1 | 680M | 141 |1276 |3472 |1335 |8870 | 1 |3864 |4996 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2823.82/2836.63 c 1519s| 8700 | 5762 | 6617k| 760.6 | 680M | 141 |1276 |3488 |1326 |8935 | 1 |3930 |4997 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2828.40/2841.25 c 1523s| 8800 | 5822 | 6646k| 755.3 | 680M | 141 |1276 |3491 |1324 |8992 | 1 |3975 |4998 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2835.37/2848.27 c 1530s| 8900 | 5880 | 6687k| 751.3 | 680M | 141 |1276 |3521 |1322 |9038 | 0 |4030 |5010 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2842.34/2855.23 c 1537s| 9000 | 5946 | 6727k| 747.4 | 680M | 141 |1276 |3544 |1313 |9112 | 2 |4080 |5024 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2848.82/2861.71 c 1544s| 9100 | 5993 | 6770k| 744.0 | 680M | 141 |1276 |3566 |1325 |9176 | 4 |4140 |5025 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2852.80/2865.77 c 1548s| 9200 | 6049 | 6795k| 738.6 | 680M | 141 |1276 |3560 |1327 |9227 | 1 |4176 |5025 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2866.45/2879.45 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2866.45/2879.45 c 1561s| 9300 | 6120 | 6856k| 737.2 | 680M | 141 |1276 |3566 |1322 |9264 | 1 |4214 |5099 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2871.83/2884.86 c 1567s| 9400 | 6188 | 6890k| 732.9 | 680M | 141 |1276 |3586 |1323 |9309 | 1 |4252 |5100 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2878.12/2891.18 c 1573s| 9500 | 6248 | 6923k| 728.7 | 680M | 141 |1276 |3598 | 0 |9362 | 0 |4303 |5115 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2887.37/2900.40 c 1582s| 9600 | 6287 | 6980k| 727.0 | 680M | 141 |1276 |3608 |1314 |9400 | 1 |4355 |5129 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2893.96/2907.09 c 1589s| 9700 | 6352 | 7021k| 723.7 | 680M | 141 |1276 |3613 |1318 |9463 | 2 |4398 |5129 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2902.82/2915.96 c 1598s| 9800 | 6420 | 7071k| 721.5 | 680M | 141 |1276 |3630 |1313 |9512 | 1 |4449 |5150 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2913.38/2926.50 c 1608s| 9900 | 6494 | 7132k| 720.4 | 680M | 141 |1276 |3643 |1311 |9553 | 1 |4492 |5168 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2925.14/2938.36 c 1620s| 10000 | 6558 | 7204k| 720.4 | 680M | 141 |1276 |3646 |1333 |9594 | 5 |4532 |5184 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2931.61/2944.83 c 1627s| 10100 | 6622 | 7247k| 717.5 | 680M | 141 |1276 |3649 |1323 |9651 | 1 |4570 |5184 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2938.09/2951.34 c 1633s| 10200 | 6683 | 7286k| 714.3 | 680M | 141 |1276 |3661 |1324 |9698 | 0 |4619 |5191 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2944.37/2957.67 c 1640s| 10300 | 6737 | 7325k| 711.2 | 680M | 141 |1276 |3645 |1312 |9757 | 1 |4664 |5191 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2950.86/2964.15 c 1646s| 10400 | 6806 | 7366k| 708.3 | 680M | 141 |1276 |3638 |1330 |9813 | 1 |4698 |5192 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2956.92/2970.20 c 1652s| 10500 | 6859 | 7406k| 705.3 | 681M | 141 |1276 |3633 |1334 |9851 | 2 |4743 |5192 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2961.41/2974.70 c 1657s| 10600 | 6935 | 7434k| 701.3 | 681M | 141 |1276 |3607 |1322 |9899 | 1 |4774 |5192 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2967.98/2981.37 c 1663s| 10700 | 7001 | 7477k| 698.8 | 681M | 141 |1276 |3612 |1316 |9942 | 1 |4818 |5197 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2974.27/2987.64 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2974.27/2987.64 c 1670s| 10800 | 7064 | 7517k| 696.0 | 682M | 141 |1276 |3596 |1322 |9978 | 1 |4853 |5197 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2981.83/2995.23 c 1677s| 10900 | 7140 | 7558k| 693.4 | 683M | 141 |1276 |3576 |1344 | 10k| 1 |4881 |5198 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2987.01/3000.45 c 1682s| 11000 | 7209 | 7588k| 689.8 | 683M | 141 |1276 |3564 |1335 | 10k| 1 |4919 |5200 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
2997.38/3010.89 c 1693s| 11100 | 7277 | 7654k| 689.5 | 683M | 141 |1276 |3565 |1346 | 10k| 1 |4971 |5205 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3004.95/3018.46 c 1700s| 11200 | 7351 | 7700k| 687.5 | 683M | 141 |1276 |3551 |1333 | 10k| 0 |5004 |5214 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3010.83/3024.36 c 1706s| 11300 | 7416 | 7737k| 684.7 | 683M | 141 |1276 |3561 | 0 | 10k| 0 |5044 |5216 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3017.61/3031.14 c 1713s| 11400 | 7483 | 7773k| 681.8 | 683M | 141 |1276 |3533 |1322 | 10k| 1 |5072 |5226 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3026.27/3039.85 c 1722s| 11500 | 7548 | 7824k| 680.3 | 684M | 141 |1276 |3536 |1235 | 10k| 1 |5119 |5235 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3051.09/3064.71 c 1747s| 11600 | 7635 | 7950k| 685.3 | 684M | 141 |1276 |3532 |1331 | 11k| 1 |5143 |5261 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3060.47/3074.17 c 1756s| 11700 | 7703 | 8002k| 683.9 | 684M | 141 |1276 |3536 |1327 | 11k| 2 |5191 |5283 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3070.52/3084.26 c 1766s| 11800 | 7790 | 8051k| 682.3 | 684M | 141 |1276 |3517 |1319 | 11k| 1 |5220 |5314 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3080.30/3094.06 c 1776s| 11900 | 7844 | 8101k| 680.7 | 684M | 141 |1276 |3496 |1330 | 11k| 1 |5265 |5334 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3085.38/3099.16 c 1781s| 12000 | 7909 | 8128k| 677.3 | 684M | 141 |1276 |3481 |1332 | 11k| 1 |5301 |5344 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3091.84/3105.63 c 1788s| 12100 | 7978 | 8160k| 674.3 | 684M | 141 |1276 |3481 |1329 | 11k| 1 |5330 |5354 | 0.000000e+00 |-3.190000e+02 | Inf | unknown
3104.31/3118.11 c
3104.31/3118.11 c SCIP Status : solving was interrupted [time limit reached]
3104.31/3118.11 c Solving Time (sec) : 1800.00
3104.31/3118.11 c Solving Nodes : 12186
3104.31/3118.11 c Primal Bound : -3.19000000000000e+02 (2 solutions)
3104.31/3118.11 c Dual Bound : +0.00000000000000e+00
3104.31/3118.11 c Gap : infinite
3104.31/3118.11 c SCIP status: 23 (TIMELIMIT)
3104.31/3118.11 c solveScip: freeing transform (!can_skip_free_transform)
3104.31/3118.16 c pb_solver_status: sst_sat
3104.31/3118.16 c LB_goalvalue: 638
3104.31/3118.16 c UB_goalvalue: 772
3104.31/3118.16 c # improved by sat (lb/ub): 1, # improved by scip (lb): 0
3104.31/3118.16 c SCIP returned: sst_sat
3104.31/3118.16 c SCIP primal LB: 453, dual UB: 772
3104.31/3118.16 c Try to find a solution more than 682
3104.31/3118.16 c assumptions:
3104.31/3118.16 c invoking solver with time budget: 14.000000
3121.04/3134.95 c sat_solver_result: sst_unknown
3121.04/3134.95 c SAT solver timed out; proceeding to cooperative SCIP call
3121.04/3134.95 c Calling solveScip for cooperative mode with LB_goalvalue: 638, UB_goalvalue: 772
3121.04/3134.95 c scip solving with time budget: 1800.000000
3121.04/3134.95 c solveScip
3121.04/3134.95 c initScipForCoop
3121.04/3134.95 c Coop Mode: Using SCIP obj units for LB/UB: 638, +oo
3121.04/3134.97 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.340000e+02
3121.04/3134.97 c
3121.04/3134.98 c presolving:
3121.15/3135.03 c (round 1, fast) 13 del vars, 0 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
3121.15/3135.10 c (0.1s) running MILP presolver
3121.25/3135.13 c (0.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
3121.25/3135.14 c (round 2, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 0 upgd conss, 0 impls, 1 clqs, 0 implints
3121.33/3135.20 c (round 3, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1067 upgd conss, 0 impls, 1 clqs, 0 implints
3121.33/3135.26 c (round 4, exhaustive) 13 del vars, 1 del conss, 0 add conss, 0 chg bounds, 200 chg sides, 400 chg coeffs, 1072 upgd conss, 0 impls, 1 clqs, 0 implints
3121.43/3135.35 c (0.4s) probing: 51/1276 (4.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3121.43/3135.35 c (0.4s) probing aborted: 50/50 successive totally useless probings
3121.53/3135.45 c (0.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3121.53/3135.48 c (0.5s) no symmetry present (symcode time: 0.00)
3121.63/3135.58 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
3121.63/3135.58 c 13 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 200 changed sides, 400 changed coefficients
3121.63/3135.58 c 0 implications, 1 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
3121.63/3135.58 c presolved problem has 1276 variables (1276 bin, 0 int, 0 cont) and 1072 constraints
3121.63/3135.58 c 1071 constraints of type <knapsack>
3121.63/3135.58 c 1 constraints of type <setppc>
3121.63/3135.58 c transformed objective value is always integral (scale: 1)
3121.63/3135.58 c Presolving Time: 0.59
3121.63/3135.59 c transformed 2/2 original solutions to the transformed problem space
3121.63/3135.59 c
3121.93/3135.83 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3121.93/3135.83 c 0.9s| 1 | 0 | 249 | - | 650M | 0 |1276 |1072 |1072 | 0 | 0 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3122.24/3136.14 c 1.2s| 1 | 0 | 441 | - | 657M | 0 |1276 |1072 |1238 | 166 | 1 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3122.53/3136.46 c 1.5s| 1 | 0 | 594 | - | 658M | 0 |1276 |1072 |1366 | 294 | 2 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3122.83/3136.77 c 1.8s| 1 | 0 | 735 | - | 669M | 0 |1276 |1072 |1448 | 376 | 3 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3123.14/3137.08 c 2.1s| 1 | 0 | 824 | - | 672M | 0 |1276 |1072 |1516 | 444 | 4 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3123.43/3137.35 c 2.4s| 1 | 0 | 951 | - | 687M | 0 |1276 |1072 |1598 | 526 | 5 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3123.72/3137.68 c 2.7s| 1 | 0 | 1055 | - | 688M | 0 |1276 |1072 |1671 | 599 | 6 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3124.02/3138.01 c 3.1s| 1 | 0 | 1134 | - | 687M | 0 |1276 |1072 |1722 | 650 | 7 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3124.42/3138.32 c 3.4s| 1 | 0 | 1226 | - | 703M | 0 |1276 |1072 |1783 | 711 | 8 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3124.72/3138.62 c 3.7s| 1 | 0 | 1289 | - | 706M | 0 |1276 |1072 |1831 | 759 | 9 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3125.02/3138.94 c 4.0s| 1 | 0 | 1357 | - | 706M | 0 |1276 |1072 |1870 | 798 | 10 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3125.23/3139.14 c 4.2s| 1 | 0 | 1419 | - | 708M | 0 |1276 |1072 |1746 | 835 | 11 | 0 | 0 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3126.02/3139.96 c 5.0s| 1 | 2 | 3002 | - | 708M | 0 |1276 |1072 |1746 | 835 | 11 | 0 | 27 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3163.39/3177.48 c 42.5s| 100 | 101 |123294 |1231.1 | 725M | 19 |1276 |1096 |1212 |1395 | 1 | 24 | 346 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3180.83/3194.97 c 60.0s| 200 | 199 |190476 | 950.0 | 735M | 23 |1276 |1134 |1182 |1982 | 1 | 62 | 383 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3201.27/3215.47 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3201.27/3215.47 c 80.5s| 300 | 299 |229518 | 762.9 | 735M | 23 |1276 |1136 |1182 |3679 | 1 | 64 | 426 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3207.15/3221.32 c 86.4s| 400 | 399 |252093 | 628.3 | 726M | 23 |1276 |1139 |1200 |4429 | 1 | 67 | 456 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3219.81/3234.09 c 99.1s| 500 | 499 |304225 | 606.8 | 726M | 23 |1276 |1139 |1208 |6515 | 1 | 67 | 512 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3226.59/3240.84 c 106s| 600 | 599 |325203 | 540.5 | 725M | 29 |1276 |1139 |1197 |6981 | 1 | 67 | 549 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3236.55/3250.80 c 116s| 700 | 699 |364665 | 519.7 | 725M | 29 |1276 |1140 |1217 |7706 | 1 | 68 | 600 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3253.10/3267.44 c 132s| 800 | 799 |429746 | 536.1 | 725M | 29 |1276 |1151 |1209 |8921 | 1 | 79 | 668 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3262.36/3276.79 c 142s| 900 | 899 |464764 | 515.4 | 725M | 29 |1276 |1151 |1207 |9799 | 1 | 79 | 723 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3272.64/3287.05 c 152s| 1000 | 999 |502829 | 501.9 | 725M | 67 |1276 |1153 |1262 | 10k| 1 | 81 | 760 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3282.00/3296.49 c 162s| 1100 | 1099 |531614 | 482.4 | 726M | 75 |1276 |1153 |1319 | 10k| 1 | 81 | 815 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3291.47/3305.92 c 171s| 1200 | 1199 |560984 | 466.7 | 724M | 77 |1276 |1152 |1302 | 11k| 1 | 81 | 853 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3299.34/3313.86 c 179s| 1300 | 1299 |588637 | 452.1 | 725M | 93 |1276 |1157 |1302 | 11k| 1 | 86 | 878 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3311.90/3326.47 c 192s| 1400 | 1399 |644858 | 459.9 | 721M | 93 |1276 |1160 |1351 | 11k| 1 | 90 | 911 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3324.47/3339.10 c 204s| 1500 | 1499 |698259 | 464.9 | 718M | 109 |1276 |1164 |1347 | 11k| 1 | 94 | 968 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3341.70/3356.30 c 221s| 1600 | 1599 |764090 | 477.0 | 718M | 109 |1276 |1164 |1352 | 11k| 1 | 94 |1104 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3352.96/3367.62 c 233s| 1700 | 1699 |807205 | 474.3 | 719M | 165 |1276 |1164 |1354 | 11k| 1 | 94 |1221 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3372.50/3387.22 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3372.50/3387.22 c 252s| 1800 | 1799 |874956 | 485.6 | 719M | 165 |1276 |1166 |1354 | 11k| 1 | 96 |1501 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3389.65/3404.46 c 270s| 1900 | 1899 |938867 | 493.7 | 719M | 165 |1276 |1166 |1356 | 11k| 1 | 96 |1658 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3411.87/3426.76 c 292s| 2000 | 1999 | 1034k| 517.0 | 719M | 165 |1276 |1177 |1354 | 11k| 1 | 107 |1797 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3428.23/3443.15 c 308s| 2100 | 2099 | 1133k| 539.2 | 717M | 165 |1276 |1190 |1358 | 11k| 1 | 120 |1855 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3447.55/3462.59 c 328s| 2200 | 2199 | 1252k| 568.8 | 717M | 165 |1276 |1194 |1361 | 11k| 1 | 125 |1901 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3471.87/3486.90 c 352s| 2300 | 2299 | 1376k| 598.3 | 717M | 165 |1276 |1205 |1358 | 11k| 1 | 136 |1953 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3500.28/3515.41 c 380s| 2400 | 2399 | 1514k| 630.7 | 717M | 165 |1276 |1221 |1360 | 11k| 1 | 152 |2034 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3526.40/3541.65 c 407s| 2500 | 2499 | 1637k| 654.6 | 718M | 165 |1276 |1229 |1373 | 11k| 1 | 160 |2108 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3556.90/3572.21 c 437s| 2600 | 2599 | 1779k| 684.3 | 718M | 165 |1276 |1247 |1358 | 11k| 1 | 178 |2191 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3585.21/3600.61 c 466s| 2700 | 2699 | 1907k| 706.2 | 718M | 165 |1276 |1252 |1366 | 12k| 1 | 183 |2372 | 0.000000e+00 |-1.340000e+02*| Inf | unknown
3600.06/3615.50
3600.06/3615.50 *** TERMINATED *** by signal
3600.06/3615.50 c
3600.06/3615.50 s SATISFIABLE
3600.06/3615.50 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 -x638 -x639 -x640 -x641 -x642 -x644 -x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 -x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 -x722 -x723 -x724 -x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 -x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 -x748 -x749 -x750 -x751 -x753 -x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 x82 x795 x97 x203 x220 x398 x442 x643 x690 x691 x699 x700 x752 x796 x797 x798 -x799 -x800 x801 -x802 -x803 x804 -x805 x806 -x807 -x808 x809 -x810 -x811 -x812 x813 -x814 -x815 x816 -x817 x818 x819 x820 x821 -x822 -x823 x824 x825 x826 x827 -x828 -x829 x830 x831 -x832 -x833 -x834 x835 -x836 x837 x838 x839 x840 x841 -x842 x843 -x844 x845 -x846 -x847 -x848 x849 x850 -x851 -x852 -x853 x854 x855 x856 x857 x858 -x859 x860 x861 -x862 -x863 x864 x865 -x866 -x867 -x868 -x869 -x870 x871 x872 -x873 -x874 -x875 -x876 -x877 x878 -x879 -x880 x881 x882 -x883 x884 -x885 x886 -x887 x888 x889 x890 -x891 x892 x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 x903 x904 -x905 x906 -x907 x908 -x909 -x910 -x911 x912 -x913 -x914 -x915 x916 -x917 x918 -x919 -x920 x921 -x922 x923 -x924 -x925 x926 -x927 x928 -x929 -x930 -x931 -x932 x933 -x934 -x935 x936 x937 -x938 -x939 -x940 x941 -x942 -x943 x944 -x945 -x946 -x947 -x948 -x949 -x950 -x951 x952 -x953 x954 x955 -x956 -x957 x958 -x959 -x960 x961 x962 x963 -x964 x965 x966 x967 x968 x969 x970 x971 x972 -x973 -x974 -x975 x976 x977 -x978 -x979 x980 x981 x982 x983 -x984 x985 -x986 -x987 x988 x989 x990 x991 -x992 x993 -x994 -x995 x996 -x997 -x998 x999 -x1000 x1001 -x1002 -x1003 x1004 -x1005 -x1006 x1007 x1008 x1009 -x1010 -x1011 x1012 -x1013 -x1014 x1015 x1016 -x1017 x1018 x1019 x1020 x1021 -x1022 -x1023 x1024 x1025 -x1026 x1027 x1028 -x1029 -x1030 -x1031 x1032 -x1033 x1034 -x1035 x1036 x1037 x1038 -x1039 -x1040 x1041 x1042 x1043 x1044 -x1045 -x1046 x1047 x1048 x1049 -x1050 x1051 x1052 x1053 x1054 -x1055 -x1056 -x1057 x1058 x1059 x1060 -x1061 x1062 -x1063 -x1064 -x1065 x1066 x1067 x1068 -x1069 x1070 x1071 x1072 -x1073 x1074 x1075 -x1076 x1077 x1078 -x1079 -x1080 -x1081 -x1082 x1083 x1084 x1085 x1086 -x1087 -x1088 -x1089 x1090 -x1091 -x1092 x1093 -x1094 -x1095 -x1096 -x1097 x1098 x1099 -x1100 -x1101 -x1102 x1103 x1104 x1105 x1106 -x1107 x1108 -x1109 -x1110 x1111 -x1112 x1113 -x1114 x1115 -x1116 -x1117 -x1118 x1119 x1120 -x1121 x1122 -x1123 -x1124 -x1125 x1126 -x1127 -x1128 x1129 -x1130 -x1131 x1132 x1133 x1134 x1135 x1136 -x1137 -x1138 x1139 x1140 x1141 x1142 x1143 -x1144 x1145 x1146 -x1147 x1148 -x1149 -x1150 -x1151 -x1152 x1153 x1154 x1155 x1156 -x1157 x1158 x1159 x1160 x1161 x1162 x1163 x1164 -x1165 x1166 -x1167 -x1168 -x1169 -x1170 x1171 -x1172 x1173 -x1174 -x1175 -x1176 x1177 -x1178 x1179 -x1180 x1181 -x1182 x1183 -x1184 -x1185 -x1186 x1187 -x1188 x1189 -x1190 x1191 x1192 -x1193 x1194 -x1195 x1196 -x1197 x1198 -x1199 x1200 x1201 x1202 -x1203 x1204 -x1205 -x1206 x1207 -x1208 -x1209 -x1210 -x1211 -x1212 -x1213 x1214 -x1215 -x1216 -x1217 x1218 x1219 -x1220 x1221 -x1222 -x1223 x1224 -x1225 -x1226 x1227 -x1228 -x1229 x1230 x1231 x1232 x1233 -x1234 x1235 x1236 -x1237 -x1238 x1239 -x1240 -x1241 -x1242 x1243 x1244 x1245 -x1246 x1247 x1248 -x1249 -x1250 x1251 x1252 -x1253 x1254 -x1255 x1256 x1257 x1258 -x1259 x1260 x1261 x1262 -x1263 x1264 -x1265 -x1266 x1267 -x1268 x1269 -x1270 -x1271 x1272 -x1273 -x1274 x1275 x1276 -x1277 -x1278 x1279 -x1280 -x1281 x1282 x1283 x1284 x1285 x1286 -x1287 -x1288 -x1289 -x785 -x786 -x787 -x788 -x789 -x790 -x791 x792 -x793 -x794
3600.06/3615.50 c Model check passed
3600.06/3615.50 c Model check has passed with goal value: 134
3600.06/3615.50 c _____________________________________________________________________________
3600.06/3615.50 c std/band forms : 1074,0
3600.06/3615.50 c 2cl/3cl ITE-codings : 62040128,0
3600.06/3615.50 c BDD/srt/adr Max costs : 149371,35476,0
3600.06/3615.50 c BDDraw/bin/mul/srt/adr: 1071,0,0,3,0
3600.06/3615.50 c BDD nodes : 62463046
3600.06/3615.50 c Es1/CC detections : 0,0
3600.06/3615.50 c CC sort : 3
3600.06/3615.50 c SAT/UNSAT calls : 1,0
3600.06/3615.50 c regenrated variables : 0
3600.06/3615.50 c eliminated fixed lits : 2
3600.06/3615.50 c goal lit flips : 0
3600.06/3615.50 c goal stages : 0
3600.06/3615.50 c goal shrink : 0
3600.06/3615.50 c goal coeff separations: 0
3600.06/3615.50 c restarts : 0
3600.06/3615.50 c conflicts : 0 (0 /sec)
3600.06/3615.50 c decisions : 0 (0 /sec)
3600.06/3615.50 c propagations : 2174 (1 /sec)
3600.06/3615.50 c inspects : 0 (0 /sec)
3600.06/3615.50 c CPU time (solving tm) : 3600 s (78.72 s, SAT 9.566 s, UNSAT 0 s)
3600.06/3615.50 c SAT solver time : 78.72 s
3600.06/3615.50 c SAT solver SAT time : 9.566 s
3600.06/3615.50 c SAT solver UNSAT time : 0 s
3600.06/3615.50 c SAT solver TO time : 69.16 s
3600.06/3615.50 c Time for SCIP : 2798 s
3600.06/3615.50 c Coop SCIP LB improvements : 0
3600.06/3615.50 c Coop SCIP UB improvements : 0
3600.06/3615.50 c SCIP globally fixed variables : 0
3600.06/3615.50 c SAT globally fixed variables : 0
3600.06/3615.50 c SCIP freeTransform calls : 5
3600.06/3615.50 c Time for Opt-base : 0.001168 s
3600.06/3615.50 c Steps for Opt-base : 0
3600.06/3615.50 c Time for BDD coding : 194.4 s
3600.06/3615.50 c Time for srt coding : 0.005512 s
3600.06/3615.50 c Inner solver invocations : 0
3600.06/3615.50 c Inner solving count : 0
3600.06/3615.50 c _____________________________________________________________________________