0.00/0.01 exec HOME/naps_release -v2 -mc -cSCIP -scip-solve-prop -scip-stage-prop -given-time=3600 HOME/instance-4780642-1782138179.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-4780642-1782138179.opb
0.00/0.02 c Parsing PB file...
0.00/0.02 c goal was devided by 1 with offset 231.
0.49/0.55 c assumptions before coding:
0.49/0.57 c initScipForCoop
0.49/0.60 c Running SCIP presolver (time limit: 10 sec)...
0.49/0.60 c solveScip
0.49/0.60 c initScipForCoop
0.49/0.60 c Cooperative mode: scip_coop_offset=231.000000
0.49/0.60 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
0.49/0.60 c Running SCIP presolve for solve-time propagation (rounds=3)
0.58/0.63 c presolving:
0.67/0.75 c (0.1s) running MILP presolver
25.92/26.04 c (25.4s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
25.92/26.04 c (round 1, medium) 2 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
25.92/26.04 c (round 2, fast) 2 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
27.10/27.21 c (26.6s) probing: 206/1448 (14.2%) - 0 fixings, 0 aggregations, 62223 implications, 0 bound changes
27.10/27.21 c (26.6s) probing aborted: 50/50 successive totally useless probings
27.20/27.36 c presolving (3 rounds: 3 fast, 2 medium, 1 exhaustive):
27.20/27.36 c 2 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
27.20/27.36 c 0 implications, 63159 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
27.20/27.36 c presolved problem has 1448 variables (1448 bin, 0 int, 0 cont) and 2015 constraints
27.20/27.36 c 1069 constraints of type <knapsack>
27.20/27.36 c 934 constraints of type <setppc>
27.20/27.36 c 12 constraints of type <linear>
27.20/27.36 c transformed objective value is always integral (scale: 1)
27.20/27.36 c Presolving Time: 26.73
27.20/27.36 c c SCIP solve-time propagated 1 fixed variables
27.30/27.40 c presolving:
27.30/27.45 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
27.40/27.52 c (0.1s) running MILP presolver
37.27/37.47 c (10.1s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
37.27/37.47 c (10.1s) probing: 1/1448 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
37.27/37.47 c (10.1s) probing aborted: solving stopped
37.27/37.47 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
37.27/37.47 c 2 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
37.27/37.47 c 0 implications, 940 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
37.27/37.47 c presolving was interrupted.
37.27/37.47 c Presolving Time: 10.08
37.27/37.47 c
37.27/37.47 c SCIP Status : solving was interrupted [time limit reached]
37.27/37.47 c Solving Time (sec) : 10.10
37.27/37.47 c Solving Nodes : 0
37.27/37.47 c Primal Bound : -1.00000000000000e+20 (0 solutions)
37.27/37.47 c SCIP status: 23 (TIMELIMIT)
37.27/37.47 c solveScip: freeing transform (!can_skip_free_transform)
37.27/37.49 c SCIP presolver: sst_unknown
37.27/37.49 c Converting 2030 PB-constraints to clauses...
37.27/37.49 c -- Clauses(.)/Splits(s): estimatedAdderCost: 789
37.37/37.50 c Try to convert by bdds
37.77/37.95 c d: 1
37.77/37.95 c estimatedAdderCost: 790
37.77/37.95 c Try to convert by bdds
38.17/38.35 c d: 1
38.17/38.35 c estimatedAdderCost: 789
38.17/38.35 c Try to convert by bdds
38.67/38.80 c d: 1
38.67/38.80 c estimatedAdderCost: 788
38.67/38.80 c Try to convert by bdds
39.07/39.20 c d: 1
39.07/39.20 c estimatedAdderCost: 788
39.07/39.20 c Try to convert by bdds
39.46/39.67 c d: 1
39.46/39.67 c estimatedAdderCost: 787
39.46/39.67 c Try to convert by bdds
39.88/40.08 c d: 1
39.88/40.08 c estimatedAdderCost: 788
39.88/40.08 c Try to convert by bdds
40.37/40.55 c d: 1
40.37/40.55 c estimatedAdderCost: 787
40.37/40.55 c Try to convert by bdds
40.77/40.97 c d: 1
40.77/40.97 c estimatedAdderCost: 788
40.77/40.97 c Try to convert by bdds
41.27/41.45 c d: 1
41.27/41.45 c estimatedAdderCost: 788
41.27/41.45 c Try to convert by bdds
41.67/41.87 c d: 1
41.67/41.87 c estimatedAdderCost: 788
41.67/41.87 c Try to convert by bdds
42.17/42.35 c d: 1
42.17/42.35 c estimatedAdderCost: 789
42.17/42.35 c Try to convert by bdds
42.56/42.76 c d: 1
42.56/42.76 c estimatedAdderCost: 787
42.56/42.76 c Try to convert by bdds
43.06/43.24 c d: 1
43.06/43.24 c estimatedAdderCost: 790
43.06/43.24 c Try to convert by bdds
43.46/43.66 c d: 1
43.46/43.66 c estimatedAdderCost: 790
43.46/43.66 c Try to convert by bdds
43.97/44.15 c d: 1
43.97/44.15 c estimatedAdderCost: 789
43.97/44.15 c Try to convert by bdds
44.36/44.56 c d: 1
44.36/44.56 c estimatedAdderCost: 787
44.36/44.56 c Try to convert by bdds
44.87/45.08 c d: 1
44.87/45.08 c estimatedAdderCost: 790
44.87/45.08 c Try to convert by bdds
45.35/45.50 c d: 1
45.35/45.50 c estimatedAdderCost: 786
45.35/45.50 c Try to convert by bdds
45.75/45.99 c d: 1
45.75/45.99 c estimatedAdderCost: 788
45.75/45.99 c Try to convert by bdds
46.25/46.40 c d: 1
46.25/46.40 c estimatedAdderCost: 788
46.25/46.40 c Try to convert by bdds
46.65/46.89 c d: 1
46.65/46.89 c estimatedAdderCost: 792
46.65/46.89 c Try to convert by bdds
47.15/47.30 c d: 1
47.15/47.30 c estimatedAdderCost: 788
47.15/47.30 c Try to convert by bdds
47.64/47.80 c d: 1
47.64/47.80 c estimatedAdderCost: 788
47.64/47.80 c Try to convert by bdds
48.04/48.22 c d: 1
48.04/48.22 c estimatedAdderCost: 788
48.04/48.22 c Try to convert by bdds
48.54/48.71 c d: 1
48.54/48.71 c estimatedAdderCost: 786
48.54/48.71 c Try to convert by bdds
48.95/49.13 c d: 1
48.95/49.13 c estimatedAdderCost: 791
48.95/49.13 c Try to convert by bdds
49.44/49.62 c d: 1
49.44/49.62 c estimatedAdderCost: 789
49.44/49.62 c Try to convert by bdds
49.85/50.05 c d: 1
49.85/50.05 c estimatedAdderCost: 791
49.85/50.05 c Try to convert by bdds
50.34/50.55 c d: 1
50.34/50.55 c estimatedAdderCost: 789
50.34/50.55 c Try to convert by bdds
50.73/50.97 c d: 1
50.73/50.97 c estimatedAdderCost: 788
50.73/50.97 c Try to convert by bdds
51.23/51.47 c d: 1
51.23/51.47 c estimatedAdderCost: 788
51.23/51.47 c Try to convert by bdds
51.73/51.90 c d: 1
51.73/51.90 c estimatedAdderCost: 789
51.73/51.90 c Try to convert by bdds
52.23/52.40 c d: 1
52.23/52.40 c estimatedAdderCost: 790
52.23/52.40 c Try to convert by bdds
52.63/52.82 c d: 1
52.63/52.82 c estimatedAdderCost: 787
52.63/52.82 c Try to convert by bdds
53.23/53.41 c d: 1
53.23/53.41 c estimatedAdderCost: 788
53.23/53.41 c Try to convert by bdds
53.63/53.85 c d: 1
53.63/53.85 c estimatedAdderCost: 791
53.63/53.85 c Try to convert by bdds
54.12/54.36 c d: 1
54.12/54.36 c estimatedAdderCost: 789
54.12/54.36 c Try to convert by bdds
54.52/54.79 c d: 1
54.52/54.79 c estimatedAdderCost: 787
54.52/54.79 c Try to convert by bdds
55.12/55.30 c d: 1
55.12/55.30 c estimatedAdderCost: 788
55.12/55.30 c Try to convert by bdds
55.52/55.73 c d: 1
55.52/55.73 c estimatedAdderCost: 789
55.52/55.73 c Try to convert by bdds
56.02/56.25 c d: 1
56.02/56.25 c estimatedAdderCost: 788
56.02/56.25 c Try to convert by bdds
56.42/56.68 c d: 1
56.42/56.68 c estimatedAdderCost: 787
56.42/56.68 c Try to convert by bdds
57.01/57.22 c d: 1
57.01/57.22 c estimatedAdderCost: 789
57.01/57.22 c Try to convert by bdds
57.41/57.65 c d: 1
57.41/57.65 c estimatedAdderCost: 789
57.41/57.65 c Try to convert by bdds
57.92/58.18 c d: 1
57.92/58.18 c estimatedAdderCost: 787
57.92/58.18 c Try to convert by bdds
58.41/58.62 c d: 1
58.41/58.62 c estimatedAdderCost: 789
58.41/58.62 c Try to convert by bdds
58.92/59.16 c d: 1
58.92/59.16 c estimatedAdderCost: 789
58.92/59.16 c Try to convert by bdds
59.31/59.59 c d: 1
59.31/59.59 c estimatedAdderCost: 788
59.31/59.59 c Try to convert by bdds
59.91/60.13 c d: 1
59.91/60.13 c estimatedAdderCost: 787
59.91/60.13 c Try to convert by bdds
60.30/60.56 c d: 1
60.30/60.56 c estimatedAdderCost: 788
60.30/60.56 c Try to convert by bdds
60.81/61.10 c d: 1
60.81/61.10 c estimatedAdderCost: 789
60.81/61.10 c Try to convert by bdds
61.30/61.54 c d: 1
61.30/61.54 c estimatedAdderCost: 787
61.30/61.54 c Try to convert by bdds
61.81/62.09 c d: 1
61.81/62.09 c estimatedAdderCost: 787
61.81/62.09 c Try to convert by bdds
62.29/62.53 c d: 1
62.29/62.53 c estimatedAdderCost: 788
62.29/62.53 c Try to convert by bdds
62.81/63.08 c d: 1
62.81/63.08 c estimatedAdderCost: 787
62.81/63.08 c Try to convert by bdds
63.29/63.52 c d: 1
63.29/63.52 c estimatedAdderCost: 788
63.29/63.52 c Try to convert by bdds
63.81/64.08 c d: 1
63.81/64.08 c estimatedAdderCost: 786
63.81/64.08 c Try to convert by bdds
64.30/64.51 c d: 1
64.30/64.51 c estimatedAdderCost: 788
64.30/64.51 c Try to convert by bdds
64.81/65.08 c d: 1
64.81/65.08 c estimatedAdderCost: 788
64.81/65.08 c Try to convert by bdds
65.29/65.51 c d: 1
65.29/65.51 c estimatedAdderCost: 790
65.29/65.51 c Try to convert by bdds
65.80/66.07 c d: 1
65.80/66.07 c estimatedAdderCost: 787
65.80/66.07 c Try to convert by bdds
66.29/66.51 c d: 1
66.29/66.51 c estimatedAdderCost: 789
66.29/66.51 c Try to convert by bdds
66.80/67.07 c d: 1
66.80/67.07 c estimatedAdderCost: 788
66.80/67.07 c Try to convert by bdds
67.29/67.51 c d: 1
67.29/67.51 c estimatedAdderCost: 788
67.29/67.51 c Try to convert by bdds
67.80/68.07 c d: 1
67.80/68.07 c estimatedAdderCost: 789
67.80/68.07 c Try to convert by bdds
68.28/68.51 c d: 1
68.28/68.51 c estimatedAdderCost: 788
68.28/68.51 c Try to convert by bdds
68.80/69.07 c d: 1
68.80/69.07 c estimatedAdderCost: 792
68.80/69.07 c Try to convert by bdds
69.28/69.51 c d: 1
69.28/69.51 c estimatedAdderCost: 792
69.28/69.51 c Try to convert by bdds
69.79/70.09 c d: 1
69.79/70.09 c estimatedAdderCost: 788
69.79/70.09 c Try to convert by bdds
70.28/70.53 c d: 1
70.28/70.53 c estimatedAdderCost: 787
70.28/70.53 c Try to convert by bdds
70.98/71.27 c d: 1
70.98/71.27 c estimatedAdderCost: 787
70.98/71.27 c Try to convert by bdds
71.47/71.72 c d: 1
71.47/71.72 c estimatedAdderCost: 788
71.47/71.72 c Try to convert by bdds
71.97/72.28 c d: 1
71.97/72.28 c estimatedAdderCost: 789
71.97/72.28 c Try to convert by bdds
72.47/72.73 c d: 1
72.47/72.73 c estimatedAdderCost: 791
72.47/72.73 c Try to convert by bdds
73.07/73.31 c d: 1
73.07/73.31 c estimatedAdderCost: 789
73.07/73.31 c Try to convert by bdds
73.47/73.75 c d: 1
73.47/73.75 c estimatedAdderCost: 787
73.47/73.75 c Try to convert by bdds
74.06/74.33 c d: 1
74.06/74.33 c estimatedAdderCost: 788
74.06/74.33 c Try to convert by bdds
74.46/74.78 c d: 1
74.46/74.78 c estimatedAdderCost: 789
74.46/74.78 c Try to convert by bdds
75.06/75.36 c d: 1
75.06/75.36 c estimatedAdderCost: 787
75.06/75.36 c Try to convert by bdds
75.56/75.81 c d: 1
75.56/75.81 c estimatedAdderCost: 792
75.56/75.81 c Try to convert by bdds
76.15/76.40 c d: 1
76.15/76.40 c estimatedAdderCost: 788
76.15/76.40 c Try to convert by bdds
76.55/76.85 c d: 1
76.55/76.85 c estimatedAdderCost: 789
76.55/76.85 c Try to convert by bdds
77.15/77.43 c d: 1
77.15/77.43 c estimatedAdderCost: 788
77.15/77.43 c Try to convert by bdds
77.55/77.89 c d: 1
77.55/77.89 c estimatedAdderCost: 789
77.55/77.89 c Try to convert by bdds
78.15/78.47 c d: 1
78.15/78.47 c estimatedAdderCost: 788
78.15/78.47 c Try to convert by bdds
78.65/78.92 c d: 1
78.65/78.92 c estimatedAdderCost: 788
78.65/78.92 c Try to convert by bdds
79.24/79.51 c d: 1
79.24/79.51 c estimatedAdderCost: 789
79.24/79.51 c Try to convert by bdds
79.64/79.95 c d: 1
79.64/79.95 c estimatedAdderCost: 788
79.64/79.95 c Try to convert by bdds
80.25/80.55 c d: 1
80.25/80.55 c estimatedAdderCost: 789
80.25/80.55 c Try to convert by bdds
80.65/80.99 c d: 1
80.65/80.99 c estimatedAdderCost: 788
80.65/80.99 c Try to convert by bdds
81.24/81.59 c d: 1
81.24/81.59 c estimatedAdderCost: 787
81.24/81.59 c Try to convert by bdds
81.76/82.05 c d: 1
81.76/82.05 c estimatedAdderCost: 788
81.76/82.05 c Try to convert by bdds
82.34/82.64 c d: 1
82.34/82.64 c estimatedAdderCost: 789
82.34/82.64 c Try to convert by bdds
82.75/83.09 c d: 1
82.75/83.09 c estimatedAdderCost: 788
82.75/83.09 c Try to convert by bdds
83.34/83.68 c d: 1
83.34/83.68 c estimatedAdderCost: 788
83.34/83.68 c Try to convert by bdds
83.85/84.13 c d: 1
83.85/84.13 c estimatedAdderCost: 786
83.85/84.13 c Try to convert by bdds
84.43/84.73 c d: 1
84.43/84.73 c estimatedAdderCost: 788
84.43/84.73 c Try to convert by bdds
84.85/85.17 c d: 1
84.85/85.17 c estimatedAdderCost: 789
84.85/85.17 c Try to convert by bdds
85.43/85.76 c d: 1
85.43/85.76 c estimatedAdderCost: 791
85.43/85.76 c Try to convert by bdds
85.93/86.21 c d: 1
85.93/86.21 c estimatedAdderCost: 790
85.93/86.21 c Try to convert by bdds
86.52/86.80 c d: 1
86.52/86.80 c estimatedAdderCost: 789
86.52/86.80 c Try to convert by bdds
86.92/87.26 c d: 1
86.92/87.26 c estimatedAdderCost: 788
86.92/87.26 c Try to convert by bdds
87.52/87.89 c d: 1
87.52/87.89 c estimatedAdderCost: 788
87.52/87.89 c Try to convert by bdds
88.02/88.34 c d: 1
88.02/88.34 c estimatedAdderCost: 791
88.02/88.34 c Try to convert by bdds
88.62/88.94 c d: 1
88.62/88.94 c estimatedAdderCost: 788
88.62/88.94 c Try to convert by bdds
89.01/89.39 c d: 1
89.01/89.39 c estimatedAdderCost: 790
89.01/89.39 c Try to convert by bdds
89.62/89.99 c d: 1
89.62/89.99 c estimatedAdderCost: 787
89.62/89.99 c Try to convert by bdds
90.12/90.45 c d: 1
90.12/90.45 c estimatedAdderCost: 790
90.12/90.45 c Try to convert by bdds
90.73/91.06 c d: 1
90.73/91.06 c estimatedAdderCost: 790
90.73/91.06 c Try to convert by bdds
91.22/91.50 c d: 1
91.22/91.50 c estimatedAdderCost: 788
91.22/91.50 c Try to convert by bdds
91.83/92.11 c d: 1
91.83/92.11 c estimatedAdderCost: 789
91.83/92.11 c Try to convert by bdds
92.21/92.57 c d: 1
92.21/92.57 c estimatedAdderCost: 790
92.21/92.57 c Try to convert by bdds
92.82/93.18 c d: 1
92.82/93.18 c estimatedAdderCost: 788
92.82/93.18 c Try to convert by bdds
93.31/93.62 c d: 1
93.31/93.62 c estimatedAdderCost: 790
93.31/93.62 c Try to convert by bdds
93.90/94.23 c d: 1
93.90/94.23 c estimatedAdderCost: 787
93.90/94.23 c Try to convert by bdds
94.30/94.68 c d: 1
94.30/94.68 c estimatedAdderCost: 791
94.30/94.68 c Try to convert by bdds
94.90/95.29 c d: 1
94.90/95.29 c estimatedAdderCost: 789
94.90/95.29 c Try to convert by bdds
95.40/95.75 c d: 1
95.40/95.75 c estimatedAdderCost: 791
95.40/95.75 c Try to convert by bdds
96.00/96.35 c d: 1
96.00/96.35 c estimatedAdderCost: 789
96.00/96.35 c Try to convert by bdds
96.50/96.80 c d: 1
96.50/96.80 c estimatedAdderCost: 789
96.50/96.80 c Try to convert by bdds
97.09/97.41 c d: 1
97.09/97.41 c estimatedAdderCost: 788
97.09/97.41 c Try to convert by bdds
97.49/97.87 c d: 1
97.49/97.87 c estimatedAdderCost: 788
97.49/97.87 c Try to convert by bdds
98.09/98.49 c d: 1
98.09/98.49 c estimatedAdderCost: 789
98.09/98.49 c Try to convert by bdds
98.59/98.94 c d: 1
98.59/98.94 c estimatedAdderCost: 788
98.59/98.94 c Try to convert by bdds
99.19/99.56 c d: 1
99.19/99.56 c estimatedAdderCost: 789
99.19/99.56 c Try to convert by bdds
99.70/100.02 c d: 1
99.70/100.02 c estimatedAdderCost: 788
99.70/100.02 c Try to convert by bdds
100.28/100.64 c d: 1
100.28/100.64 c estimatedAdderCost: 788
100.28/100.64 c Try to convert by bdds
100.79/101.11 c d: 1
100.79/101.11 c estimatedAdderCost: 788
100.79/101.11 c Try to convert by bdds
101.38/101.72 c d: 1
101.38/101.72 c estimatedAdderCost: 792
101.38/101.72 c Try to convert by bdds
101.79/102.18 c d: 1
101.79/102.18 c estimatedAdderCost: 789
101.79/102.18 c Try to convert by bdds
102.37/102.79 c d: 1
102.37/102.79 c estimatedAdderCost: 791
102.37/102.79 c Try to convert by bdds
102.87/103.25 c d: 1
102.87/103.25 c estimatedAdderCost: 792
102.87/103.25 c Try to convert by bdds
103.48/103.87 c d: 1
103.48/103.87 c estimatedAdderCost: 788
103.48/103.87 c Try to convert by bdds
103.98/104.33 c d: 1
103.98/104.33 c estimatedAdderCost: 790
103.98/104.33 c Try to convert by bdds
104.57/104.95 c d: 1
104.57/104.95 c estimatedAdderCost: 788
104.57/104.95 c Try to convert by bdds
105.07/105.41 c d: 1
105.07/105.41 c estimatedAdderCost: 789
105.07/105.41 c Try to convert by bdds
105.68/106.02 c d: 1
105.68/106.02 c estimatedAdderCost: 787
105.68/106.02 c Try to convert by bdds
106.07/106.49 c d: 1
106.07/106.49 c estimatedAdderCost: 789
106.07/106.49 c Try to convert by bdds
106.68/107.11 c d: 1
106.68/107.11 c estimatedAdderCost: 787
106.68/107.11 c Try to convert by bdds
107.16/107.57 c d: 1
107.16/107.57 c estimatedAdderCost: 787
107.16/107.57 c Try to convert by bdds
108.16/108.53 c d: 1
108.16/108.53 c estimatedAdderCost: 787
108.16/108.53 c Try to convert by bdds
108.56/108.99 c d: 1
108.56/108.99 c estimatedAdderCost: 789
108.56/108.99 c Try to convert by bdds
109.26/109.61 c d: 1
109.26/109.61 c estimatedAdderCost: 787
109.26/109.61 c Try to convert by bdds
109.67/110.08 c d: 1
109.67/110.08 c estimatedAdderCost: 789
109.67/110.08 c Try to convert by bdds
110.35/110.71 c d: 1
110.35/110.71 c estimatedAdderCost: 788
110.35/110.71 c Try to convert by bdds
110.76/111.17 c d: 1
110.76/111.17 c estimatedAdderCost: 788
110.76/111.17 c Try to convert by bdds
111.45/111.80 c d: 1
111.45/111.80 c estimatedAdderCost: 789
111.45/111.80 c Try to convert by bdds
111.85/112.26 c d: 1
111.85/112.26 c estimatedAdderCost: 788
111.85/112.26 c Try to convert by bdds
112.44/112.87 c d: 1
112.44/112.87 c estimatedAdderCost: 792
112.44/112.87 c Try to convert by bdds
112.94/113.34 c d: 1
112.94/113.34 c estimatedAdderCost: 789
112.94/113.34 c Try to convert by bdds
113.54/113.96 c d: 1
113.54/113.96 c estimatedAdderCost: 787
113.54/113.96 c Try to convert by bdds
114.04/114.43 c d: 1
114.04/114.43 c estimatedAdderCost: 788
114.04/114.43 c Try to convert by bdds
114.66/115.06 c d: 1
114.66/115.06 c estimatedAdderCost: 789
114.66/115.06 c Try to convert by bdds
115.14/115.53 c d: 1
115.14/115.53 c estimatedAdderCost: 792
115.14/115.53 c Try to convert by bdds
115.75/116.16 c d: 1
115.75/116.16 c estimatedAdderCost: 788
115.75/116.16 c Try to convert by bdds
116.24/116.63 c d: 1
116.24/116.63 c estimatedAdderCost: 788
116.24/116.63 c Try to convert by bdds
116.83/117.26 c d: 1
116.83/117.26 c estimatedAdderCost: 788
116.83/117.26 c Try to convert by bdds
117.33/117.73 c d: 1
117.33/117.73 c estimatedAdderCost: 790
117.33/117.73 c Try to convert by bdds
117.93/118.36 c d: 1
117.93/118.36 c estimatedAdderCost: 787
117.93/118.36 c Try to convert by bdds
118.43/118.83 c d: 1
118.43/118.83 c estimatedAdderCost: 787
118.43/118.83 c Try to convert by bdds
119.02/119.46 c d: 1
119.02/119.46 c estimatedAdderCost: 790
119.02/119.46 c Try to convert by bdds
119.52/119.93 c d: 1
119.52/119.93 c estimatedAdderCost: 788
119.52/119.93 c Try to convert by bdds
120.12/120.57 c d: 1
120.12/120.57 c estimatedAdderCost: 787
120.12/120.57 c Try to convert by bdds
120.63/121.04 c d: 1
120.63/121.04 c estimatedAdderCost: 788
120.63/121.04 c Try to convert by bdds
121.22/121.66 c d: 1
121.22/121.66 c estimatedAdderCost: 786
121.22/121.66 c Try to convert by bdds
121.73/122.13 c d: 1
121.73/122.13 c estimatedAdderCost: 787
121.73/122.13 c Try to convert by bdds
122.31/122.77 c d: 1
122.31/122.77 c estimatedAdderCost: 788
122.31/122.77 c Try to convert by bdds
122.81/123.24 c d: 1
122.81/123.24 c estimatedAdderCost: 787
122.81/123.24 c Try to convert by bdds
123.41/123.87 c d: 1
123.41/123.87 c estimatedAdderCost: 787
123.41/123.87 c Try to convert by bdds
123.90/124.34 c d: 1
123.90/124.34 c estimatedAdderCost: 791
123.90/124.34 c Try to convert by bdds
124.51/124.98 c d: 1
124.51/124.98 c estimatedAdderCost: 789
124.51/124.98 c Try to convert by bdds
125.01/125.44 c d: 1
125.01/125.44 c estimatedAdderCost: 789
125.01/125.44 c Try to convert by bdds
125.62/126.08 c d: 1
125.62/126.08 c estimatedAdderCost: 787
125.62/126.08 c Try to convert by bdds
126.11/126.56 c d: 1
126.11/126.56 c estimatedAdderCost: 789
126.11/126.56 c Try to convert by bdds
126.80/127.20 c d: 1
126.80/127.20 c estimatedAdderCost: 788
126.80/127.20 c Try to convert by bdds
127.20/127.68 c d: 1
127.20/127.68 c estimatedAdderCost: 787
127.20/127.68 c Try to convert by bdds
127.90/128.31 c d: 1
127.90/128.31 c estimatedAdderCost: 787
127.90/128.31 c Try to convert by bdds
128.30/128.79 c d: 1
128.30/128.79 c estimatedAdderCost: 787
128.30/128.79 c Try to convert by bdds
128.99/129.42 c d: 1
128.99/129.42 c estimatedAdderCost: 787
128.99/129.42 c Try to convert by bdds
129.49/129.91 c d: 1
129.49/129.91 c estimatedAdderCost: 787
129.49/129.91 c Try to convert by bdds
130.09/130.54 c d: 1
130.09/130.54 c estimatedAdderCost: 787
130.09/130.54 c Try to convert by bdds
130.60/131.02 c d: 1
130.60/131.02 c estimatedAdderCost: 791
130.60/131.02 c Try to convert by bdds
131.19/131.67 c d: 1
131.19/131.67 c estimatedAdderCost: 789
131.19/131.67 c Try to convert by bdds
131.70/132.14 c d: 1
131.70/132.14 c estimatedAdderCost: 789
131.70/132.14 c Try to convert by bdds
132.28/132.79 c d: 1
132.28/132.79 c estimatedAdderCost: 788
132.28/132.79 c Try to convert by bdds
132.78/133.27 c d: 1
132.78/133.27 c estimatedAdderCost: 789
132.78/133.27 c Try to convert by bdds
133.48/133.91 c d: 1
133.48/133.91 c estimatedAdderCost: 788
133.48/133.91 c Try to convert by bdds
133.87/134.39 c d: 1
133.87/134.39 c estimatedAdderCost: 788
133.87/134.39 c Try to convert by bdds
134.59/135.04 c d: 1
134.59/135.04 c estimatedAdderCost: 789
134.59/135.04 c Try to convert by bdds
135.08/135.52 c d: 1
135.08/135.52 c estimatedAdderCost: 788
135.08/135.52 c Try to convert by bdds
135.69/136.15 c d: 1
135.69/136.15 c estimatedAdderCost: 791
135.69/136.15 c Try to convert by bdds
136.17/136.63 c d: 1
136.17/136.63 c estimatedAdderCost: 789
136.17/136.63 c Try to convert by bdds
136.77/137.28 c d: 1
136.77/137.28 c estimatedAdderCost: 788
136.77/137.28 c Try to convert by bdds
137.27/137.75 c d: 1
137.27/137.75 c estimatedAdderCost: 788
137.27/137.75 c Try to convert by bdds
137.97/138.40 c d: 1
137.97/138.40 c estimatedAdderCost: 787
137.97/138.40 c Try to convert by bdds
138.37/138.88 c d: 1
138.37/138.88 c estimatedAdderCost: 787
138.37/138.88 c Try to convert by bdds
139.06/139.53 c d: 1
139.06/139.53 c estimatedAdderCost: 788
139.06/139.53 c Try to convert by bdds
139.58/140.02 c d: 1
139.58/140.02 c estimatedAdderCost: 788
139.58/140.02 c Try to convert by bdds
140.16/140.67 c d: 1
140.16/140.67 c estimatedAdderCost: 788
140.16/140.67 c Try to convert by bdds
140.67/141.15 c d: 1
140.67/141.15 c estimatedAdderCost: 788
140.67/141.15 c Try to convert by bdds
141.36/141.81 c d: 1
141.36/141.81 c estimatedAdderCost: 789
141.36/141.81 c Try to convert by bdds
141.75/142.29 c d: 1
141.75/142.29 c estimatedAdderCost: 790
141.75/142.29 c Try to convert by bdds
142.45/142.94 c d: 1
142.45/142.94 c estimatedAdderCost: 787
142.45/142.94 c Try to convert by bdds
142.95/143.42 c d: 1
142.95/143.42 c estimatedAdderCost: 790
142.95/143.42 c Try to convert by bdds
143.56/144.06 c d: 1
143.56/144.06 c estimatedAdderCost: 787
143.56/144.06 c Try to convert by bdds
144.05/144.54 c d: 1
144.05/144.54 c estimatedAdderCost: 788
144.05/144.54 c Try to convert by bdds
144.74/145.20 c d: 1
144.74/145.20 c estimatedAdderCost: 789
144.74/145.20 c Try to convert by bdds
145.14/145.68 c d: 1
145.14/145.68 c estimatedAdderCost: 787
145.14/145.68 c Try to convert by bdds
145.84/146.34 c d: 1
145.84/146.34 c estimatedAdderCost: 787
145.84/146.34 c Try to convert by bdds
146.34/146.82 c d: 1
146.34/146.82 c estimatedAdderCost: 788
146.34/146.82 c Try to convert by bdds
146.93/147.48 c d: 1
146.93/147.48 c estimatedAdderCost: 787
146.93/147.48 c Try to convert by bdds
147.43/147.97 c d: 1
147.43/147.97 c estimatedAdderCost: 788
147.43/147.97 c Try to convert by bdds
148.13/148.61 c d: 1
148.13/148.61 c estimatedAdderCost: 791
148.13/148.61 c Try to convert by bdds
148.54/149.09 c d: 1
148.54/149.09 c estimatedAdderCost: 788
148.54/149.09 c Try to convert by bdds
149.22/149.74 c d: 1
149.22/149.74 c estimatedAdderCost: 786
149.22/149.74 c Try to convert by bdds
149.72/150.22 c d: 1
149.72/150.22 c estimatedAdderCost: 787
149.72/150.22 c Try to convert by bdds
150.33/150.88 c d: 1
150.33/150.88 c estimatedAdderCost: 790
150.33/150.88 c Try to convert by bdds
150.83/151.37 c d: 1
150.83/151.37 c estimatedAdderCost: 788
150.83/151.37 c Try to convert by bdds
151.54/152.03 c d: 1
151.54/152.03 c estimatedAdderCost: 787
151.54/152.03 c Try to convert by bdds
152.02/152.52 c d: 1
152.02/152.52 c estimatedAdderCost: 789
152.02/152.52 c Try to convert by bdds
152.63/153.16 c d: 1
152.63/153.16 c estimatedAdderCost: 791
152.63/153.16 c Try to convert by bdds
153.12/153.65 c d: 1
153.12/153.65 c estimatedAdderCost: 787
153.12/153.65 c Try to convert by bdds
153.81/154.32 c d: 1
153.81/154.32 c estimatedAdderCost: 788
153.81/154.32 c Try to convert by bdds
154.31/154.80 c d: 1
154.31/154.80 c estimatedAdderCost: 791
154.31/154.80 c Try to convert by bdds
154.91/155.46 c d: 1
154.91/155.46 c estimatedAdderCost: 789
154.91/155.46 c Try to convert by bdds
155.41/155.96 c d: 1
155.41/155.96 c estimatedAdderCost: 787
155.41/155.96 c Try to convert by bdds
156.10/156.64 c d: 1
156.10/156.64 c estimatedAdderCost: 788
156.10/156.64 c Try to convert by bdds
156.62/157.13 c d: 1
156.62/157.13 c estimatedAdderCost: 787
156.62/157.13 c Try to convert by bdds
157.30/157.80 c d: 1
157.30/157.80 c estimatedAdderCost: 789
157.30/157.80 c Try to convert by bdds
157.70/158.29 c d: 1
157.70/158.29 c estimatedAdderCost: 789
157.70/158.29 c Try to convert by bdds
158.40/158.94 c d: 1
158.40/158.94 c estimatedAdderCost: 791
158.40/158.94 c Try to convert by bdds
158.90/159.43 c d: 1
158.90/159.43 c estimatedAdderCost: 787
158.90/159.43 c Try to convert by bdds
159.50/160.11 c d: 1
159.50/160.11 c estimatedAdderCost: 790
159.50/160.11 c Try to convert by bdds
159.99/160.60 c d: 1
159.99/160.60 c estimatedAdderCost: 788
159.99/160.60 c Try to convert by bdds
160.69/161.27 c d: 1
160.69/161.27 c estimatedAdderCost: 789
160.69/161.27 c Try to convert by bdds
161.19/161.76 c d: 1
161.19/161.76 c estimatedAdderCost: 788
161.19/161.76 c Try to convert by bdds
161.89/162.42 c d: 1
161.89/162.42 c estimatedAdderCost: 787
161.89/162.42 c Try to convert by bdds
162.39/162.90 c d: 1
162.39/162.90 c estimatedAdderCost: 787
162.39/162.90 c Try to convert by bdds
162.99/163.57 c d: 1
162.99/163.57 c estimatedAdderCost: 788
162.99/163.57 c Try to convert by bdds
163.50/164.06 c d: 1
163.50/164.06 c estimatedAdderCost: 790
163.50/164.06 c Try to convert by bdds
164.18/164.73 c d: 1
164.18/164.73 c estimatedAdderCost: 788
164.18/164.73 c Try to convert by bdds
164.68/165.21 c d: 1
164.68/165.21 c estimatedAdderCost: 787
164.68/165.21 c Try to convert by bdds
165.28/165.87 c d: 1
165.28/165.87 c estimatedAdderCost: 787
165.28/165.87 c Try to convert by bdds
165.78/166.36 c d: 1
165.78/166.36 c estimatedAdderCost: 790
165.78/166.36 c Try to convert by bdds
166.49/167.02 c d: 1
166.49/167.02 c estimatedAdderCost: 787
166.49/167.02 c Try to convert by bdds
166.97/167.51 c d: 1
166.97/167.51 c estimatedAdderCost: 789
166.97/167.51 c Try to convert by bdds
167.58/168.18 c d: 1
167.58/168.18 c estimatedAdderCost: 788
167.58/168.18 c Try to convert by bdds
168.07/168.67 c d: 1
168.07/168.67 c estimatedAdderCost: 789
168.07/168.67 c Try to convert by bdds
168.77/169.34 c d: 1
168.77/169.34 c estimatedAdderCost: 788
168.77/169.34 c Try to convert by bdds
169.26/169.84 c d: 1
169.26/169.84 c estimatedAdderCost: 790
169.26/169.84 c Try to convert by bdds
169.96/170.50 c d: 1
169.96/170.50 c estimatedAdderCost: 789
169.96/170.50 c Try to convert by bdds
170.36/170.99 c d: 1
170.36/170.99 c estimatedAdderCost: 788
170.36/170.99 c Try to convert by bdds
171.06/171.66 c d: 1
171.06/171.66 c estimatedAdderCost: 789
171.06/171.66 c Try to convert by bdds
171.57/172.16 c d: 1
171.57/172.16 c estimatedAdderCost: 789
171.57/172.16 c Try to convert by bdds
172.25/172.82 c d: 1
172.25/172.82 c estimatedAdderCost: 787
172.25/172.82 c Try to convert by bdds
172.75/173.31 c d: 1
172.75/173.31 c estimatedAdderCost: 787
172.75/173.31 c Try to convert by bdds
173.35/173.98 c d: 1
173.35/173.98 c estimatedAdderCost: 788
173.35/173.98 c Try to convert by bdds
173.85/174.46 c d: 1
173.85/174.46 c estimatedAdderCost: 789
173.85/174.46 c Try to convert by bdds
174.56/175.13 c d: 1
174.56/175.13 c estimatedAdderCost: 788
174.56/175.13 c Try to convert by bdds
175.04/175.62 c d: 1
175.04/175.62 c estimatedAdderCost: 786
175.04/175.62 c Try to convert by bdds
175.64/176.29 c d: 1
175.64/176.29 c estimatedAdderCost: 788
175.64/176.29 c Try to convert by bdds
176.14/176.77 c d: 1
176.14/176.77 c estimatedAdderCost: 787
176.14/176.77 c Try to convert by bdds
176.83/177.43 c d: 1
176.83/177.43 c estimatedAdderCost: 787
176.83/177.43 c Try to convert by bdds
177.33/177.93 c d: 1
177.33/177.93 c estimatedAdderCost: 789
177.33/177.93 c Try to convert by bdds
178.03/178.61 c d: 1
178.03/178.61 c estimatedAdderCost: 788
178.03/178.61 c Try to convert by bdds
178.44/179.10 c d: 1
178.44/179.10 c estimatedAdderCost: 787
178.44/179.10 c Try to convert by bdds
179.13/179.78 c d: 1
179.13/179.78 c estimatedAdderCost: 789
179.13/179.78 c Try to convert by bdds
179.62/180.28 c d: 1
179.62/180.28 c estimatedAdderCost: 788
179.62/180.28 c Try to convert by bdds
180.32/180.95 c d: 1
180.32/180.95 c estimatedAdderCost: 789
180.32/180.95 c Try to convert by bdds
180.82/181.45 c d: 1
180.82/181.45 c estimatedAdderCost: 788
180.82/181.45 c Try to convert by bdds
181.53/182.13 c d: 1
181.53/182.13 c estimatedAdderCost: 789
181.53/182.13 c Try to convert by bdds
182.02/182.62 c d: 1
182.02/182.62 c estimatedAdderCost: 788
182.02/182.62 c Try to convert by bdds
182.61/183.29 c d: 1
182.61/183.29 c estimatedAdderCost: 789
182.61/183.29 c Try to convert by bdds
183.11/183.79 c d: 1
183.11/183.79 c estimatedAdderCost: 788
183.11/183.79 c Try to convert by bdds
183.82/184.48 c d: 1
183.82/184.48 c estimatedAdderCost: 788
183.82/184.48 c Try to convert by bdds
184.32/184.97 c d: 1
184.32/184.97 c estimatedAdderCost: 790
184.32/184.97 c Try to convert by bdds
185.01/185.64 c d: 1
185.01/185.64 c estimatedAdderCost: 787
185.01/185.64 c Try to convert by bdds
185.52/186.14 c d: 1
185.52/186.14 c estimatedAdderCost: 789
185.52/186.14 c Try to convert by bdds
186.21/186.82 c d: 1
186.21/186.82 c estimatedAdderCost: 788
186.21/186.82 c Try to convert by bdds
186.70/187.32 c d: 1
186.70/187.32 c estimatedAdderCost: 787
186.70/187.32 c Try to convert by bdds
188.10/188.70 c d: 1
188.10/188.70 c estimatedAdderCost: 788
188.10/188.70 c Try to convert by bdds
188.60/189.20 c d: 1
188.60/189.20 c estimatedAdderCost: 790
188.60/189.20 c Try to convert by bdds
189.20/189.86 c d: 1
189.20/189.86 c estimatedAdderCost: 789
189.20/189.86 c Try to convert by bdds
189.69/190.35 c d: 1
189.69/190.35 c estimatedAdderCost: 789
189.69/190.35 c Try to convert by bdds
190.41/191.01 c d: 1
190.41/191.01 c estimatedAdderCost: 788
190.41/191.01 c Try to convert by bdds
190.89/191.51 c d: 1
190.89/191.51 c estimatedAdderCost: 790
190.89/191.51 c Try to convert by bdds
191.50/192.17 c d: 1
191.50/192.17 c estimatedAdderCost: 787
191.50/192.17 c Try to convert by bdds
191.99/192.68 c d: 1
191.99/192.68 c estimatedAdderCost: 788
191.99/192.68 c Try to convert by bdds
192.68/193.33 c d: 1
192.68/193.33 c estimatedAdderCost: 792
192.68/193.33 c Try to convert by bdds
193.18/193.83 c d: 1
193.18/193.83 c estimatedAdderCost: 788
193.18/193.83 c Try to convert by bdds
193.88/194.52 c d: 1
193.88/194.52 c estimatedAdderCost: 789
193.88/194.52 c Try to convert by bdds
194.39/195.02 c d: 1
194.39/195.02 c estimatedAdderCost: 788
194.39/195.02 c Try to convert by bdds
194.98/195.69 c d: 1
194.98/195.69 c estimatedAdderCost: 787
194.98/195.69 c Try to convert by bdds
195.50/196.19 c d: 1
195.50/196.19 c estimatedAdderCost: 791
195.50/196.19 c Try to convert by bdds
196.18/196.86 c d: 1
196.18/196.86 c estimatedAdderCost: 789
196.18/196.86 c Try to convert by bdds
196.68/197.37 c d: 1
196.68/197.37 c estimatedAdderCost: 787
196.68/197.37 c Try to convert by bdds
197.39/198.04 c d: 1
197.39/198.04 c estimatedAdderCost: 787
197.39/198.04 c Try to convert by bdds
197.87/198.53 c d: 1
197.87/198.53 c estimatedAdderCost: 788
197.87/198.53 c Try to convert by bdds
198.57/199.21 c d: 1
198.57/199.21 c estimatedAdderCost: 788
198.57/199.21 c Try to convert by bdds
199.07/199.71 c d: 1
199.07/199.71 c estimatedAdderCost: 787
199.07/199.71 c Try to convert by bdds
199.76/200.40 c d: 1
199.76/200.40 c estimatedAdderCost: 789
199.76/200.40 c Try to convert by bdds
200.26/200.90 c d: 1
200.26/200.90 c estimatedAdderCost: 787
200.26/200.90 c Try to convert by bdds
200.86/201.59 c d: 1
200.86/201.59 c estimatedAdderCost: 789
200.86/201.59 c Try to convert by bdds
201.37/202.10 c d: 1
201.37/202.10 c estimatedAdderCost: 787
201.37/202.10 c Try to convert by bdds
202.06/202.78 c d: 1
202.06/202.78 c estimatedAdderCost: 788
202.06/202.78 c Try to convert by bdds
202.55/203.29 c d: 1
202.55/203.29 c estimatedAdderCost: 788
202.55/203.29 c Try to convert by bdds
203.25/203.95 c d: 1
203.25/203.95 c estimatedAdderCost: 791
203.25/203.95 c Try to convert by bdds
203.75/204.46 c d: 1
203.75/204.46 c estimatedAdderCost: 788
203.75/204.46 c Try to convert by bdds
204.46/205.13 c d: 1
204.46/205.13 c estimatedAdderCost: 790
204.46/205.13 c Try to convert by bdds
204.94/205.64 c d: 1
204.94/205.64 c estimatedAdderCost: 789
204.94/205.64 c Try to convert by bdds
205.65/206.30 c d: 1
205.65/206.30 c estimatedAdderCost: 790
205.65/206.30 c Try to convert by bdds
206.15/206.80 c d: 1
206.15/206.80 c estimatedAdderCost: 788
206.15/206.80 c Try to convert by bdds
206.75/207.48 c d: 1
206.75/207.48 c estimatedAdderCost: 787
206.75/207.48 c Try to convert by bdds
207.24/207.98 c d: 1
207.24/207.98 c estimatedAdderCost: 788
207.24/207.98 c Try to convert by bdds
207.94/208.67 c d: 1
207.94/208.67 c estimatedAdderCost: 789
207.94/208.67 c Try to convert by bdds
208.46/209.17 c d: 1
208.46/209.17 c estimatedAdderCost: 788
208.46/209.17 c Try to convert by bdds
209.14/209.86 c d: 1
209.14/209.86 c estimatedAdderCost: 789
209.14/209.86 c Try to convert by bdds
209.64/210.36 c d: 1
209.64/210.36 c estimatedAdderCost: 787
209.64/210.36 c Try to convert by bdds
210.35/211.05 c d: 1
210.35/211.05 c estimatedAdderCost: 790
210.35/211.05 c Try to convert by bdds
210.83/211.56 c d: 1
210.83/211.56 c estimatedAdderCost: 790
210.83/211.56 c Try to convert by bdds
211.53/212.23 c d: 1
211.53/212.23 c estimatedAdderCost: 787
211.53/212.23 c Try to convert by bdds
212.03/212.74 c d: 1
212.03/212.74 c estimatedAdderCost: 789
212.03/212.74 c Try to convert by bdds
212.73/213.42 c d: 1
212.73/213.42 c estimatedAdderCost: 788
212.73/213.42 c Try to convert by bdds
213.22/213.93 c d: 1
213.22/213.93 c estimatedAdderCost: 787
213.22/213.93 c Try to convert by bdds
213.92/214.61 c d: 1
213.92/214.61 c estimatedAdderCost: 788
213.92/214.61 c Try to convert by bdds
214.43/215.12 c d: 1
214.43/215.12 c estimatedAdderCost: 787
214.43/215.12 c Try to convert by bdds
215.02/215.79 c d: 1
215.02/215.79 c estimatedAdderCost: 787
215.02/215.79 c Try to convert by bdds
215.61/216.30 c d: 1
215.61/216.30 c estimatedAdderCost: 787
215.61/216.30 c Try to convert by bdds
216.21/217.00 c d: 1
216.21/217.00 c estimatedAdderCost: 789
216.21/217.00 c Try to convert by bdds
216.71/217.49 c d: 1
216.71/217.49 c estimatedAdderCost: 787
216.71/217.49 c Try to convert by bdds
217.42/218.18 c d: 1
217.42/218.18 c estimatedAdderCost: 790
217.42/218.18 c Try to convert by bdds
217.90/218.69 c d: 1
217.90/218.69 c estimatedAdderCost: 788
217.90/218.69 c Try to convert by bdds
218.60/219.35 c d: 1
218.60/219.35 c estimatedAdderCost: 791
218.60/219.35 c Try to convert by bdds
219.10/219.86 c d: 1
219.10/219.86 c estimatedAdderCost: 788
219.10/219.86 c Try to convert by bdds
219.80/220.55 c d: 1
219.80/220.55 c estimatedAdderCost: 789
219.80/220.55 c Try to convert by bdds
220.31/221.06 c d: 1
220.31/221.06 c estimatedAdderCost: 790
220.31/221.06 c Try to convert by bdds
220.99/221.73 c d: 1
220.99/221.73 c estimatedAdderCost: 787
220.99/221.73 c Try to convert by bdds
221.49/222.23 c d: 1
221.49/222.23 c estimatedAdderCost: 789
221.49/222.23 c Try to convert by bdds
222.20/222.90 c d: 1
222.20/222.90 c estimatedAdderCost: 790
222.20/222.90 c Try to convert by bdds
222.69/223.40 c d: 1
222.69/223.40 c estimatedAdderCost: 787
222.69/223.40 c Try to convert by bdds
223.31/224.07 c d: 1
223.31/224.07 c estimatedAdderCost: 787
223.31/224.07 c Try to convert by bdds
223.79/224.59 c d: 1
223.79/224.59 c estimatedAdderCost: 789
223.79/224.59 c Try to convert by bdds
224.49/225.27 c d: 1
224.49/225.27 c estimatedAdderCost: 788
224.49/225.27 c Try to convert by bdds
224.98/225.78 c d: 1
224.98/225.78 c estimatedAdderCost: 788
224.98/225.78 c Try to convert by bdds
225.68/226.47 c d: 1
225.68/226.47 c estimatedAdderCost: 789
225.68/226.47 c Try to convert by bdds
226.18/226.97 c d: 1
226.18/226.97 c estimatedAdderCost: 790
226.18/226.97 c Try to convert by bdds
226.88/227.64 c d: 1
226.88/227.64 c estimatedAdderCost: 790
226.88/227.64 c Try to convert by bdds
227.39/228.15 c d: 1
227.39/228.15 c estimatedAdderCost: 788
227.39/228.15 c Try to convert by bdds
228.07/228.86 c d: 1
228.07/228.86 c estimatedAdderCost: 788
228.07/228.86 c Try to convert by bdds
228.57/229.37 c d: 1
228.57/229.37 c estimatedAdderCost: 788
228.57/229.37 c Try to convert by bdds
229.28/230.07 c d: 1
229.28/230.07 c estimatedAdderCost: 789
229.28/230.07 c Try to convert by bdds
229.77/230.58 c d: 1
229.77/230.58 c estimatedAdderCost: 790
229.77/230.58 c Try to convert by bdds
230.47/231.28 c d: 1
230.47/231.28 c estimatedAdderCost: 790
230.47/231.28 c Try to convert by bdds
230.96/231.78 c d: 1
230.96/231.78 c estimatedAdderCost: 788
230.96/231.78 c Try to convert by bdds
231.66/232.47 c d: 1
231.66/232.47 c estimatedAdderCost: 788
231.66/232.47 c Try to convert by bdds
232.16/232.98 c d: 1
232.16/232.98 c estimatedAdderCost: 788
232.16/232.98 c Try to convert by bdds
232.86/233.68 c d: 1
232.86/233.68 c estimatedAdderCost: 789
232.86/233.68 c Try to convert by bdds
233.37/234.19 c d: 1
233.37/234.19 c estimatedAdderCost: 787
233.37/234.19 c Try to convert by bdds
234.05/234.89 c d: 1
234.05/234.89 c estimatedAdderCost: 790
234.05/234.89 c Try to convert by bdds
234.55/235.39 c d: 1
234.55/235.39 c estimatedAdderCost: 788
234.55/235.39 c Try to convert by bdds
235.26/236.08 c d: 1
235.26/236.08 c estimatedAdderCost: 787
235.26/236.08 c Try to convert by bdds
235.74/236.59 c d: 1
235.74/236.59 c estimatedAdderCost: 788
235.74/236.59 c Try to convert by bdds
236.54/237.30 c d: 1
236.54/237.30 c estimatedAdderCost: 788
236.54/237.30 c Try to convert by bdds
237.04/237.81 c d: 1
237.04/237.81 c estimatedAdderCost: 788
237.04/237.81 c Try to convert by bdds
237.74/238.50 c d: 1
237.74/238.50 c estimatedAdderCost: 788
237.74/238.50 c Try to convert by bdds
238.25/239.01 c d: 1
238.25/239.01 c estimatedAdderCost: 790
238.25/239.01 c Try to convert by bdds
238.84/239.69 c d: 1
238.84/239.69 c estimatedAdderCost: 787
238.84/239.69 c Try to convert by bdds
239.44/240.20 c d: 1
239.44/240.20 c estimatedAdderCost: 787
239.44/240.20 c Try to convert by bdds
240.14/240.91 c d: 1
240.14/240.91 c estimatedAdderCost: 789
240.14/240.91 c Try to convert by bdds
240.64/241.42 c d: 1
240.64/241.42 c estimatedAdderCost: 789
240.64/241.42 c Try to convert by bdds
241.25/242.09 c d: 1
241.25/242.09 c estimatedAdderCost: 790
241.25/242.09 c Try to convert by bdds
241.83/242.60 c d: 1
241.83/242.60 c estimatedAdderCost: 788
241.83/242.60 c Try to convert by bdds
242.43/243.29 c d: 1
242.43/243.29 c estimatedAdderCost: 788
242.43/243.29 c Try to convert by bdds
242.93/243.79 c d: 1
242.93/243.79 c estimatedAdderCost: 789
242.93/243.79 c Try to convert by bdds
243.62/244.47 c d: 1
243.62/244.47 c estimatedAdderCost: 788
243.62/244.47 c Try to convert by bdds
244.12/244.98 c d: 1
244.12/244.98 c estimatedAdderCost: 787
244.12/244.98 c Try to convert by bdds
244.82/245.68 c d: 1
244.82/245.68 c estimatedAdderCost: 789
244.82/245.68 c Try to convert by bdds
245.33/246.18 c d: 1
245.33/246.18 c estimatedAdderCost: 788
245.33/246.18 c Try to convert by bdds
246.01/246.87 c d: 1
246.01/246.87 c estimatedAdderCost: 788
246.01/246.87 c Try to convert by bdds
246.51/247.38 c d: 1
246.51/247.38 c estimatedAdderCost: 788
246.51/247.38 c Try to convert by bdds
247.22/248.10 c d: 1
247.22/248.10 c estimatedAdderCost: 788
247.22/248.10 c Try to convert by bdds
247.81/248.60 c d: 1
247.81/248.60 c estimatedAdderCost: 790
247.81/248.60 c Try to convert by bdds
248.50/249.30 c d: 1
248.50/249.30 c estimatedAdderCost: 790
248.50/249.30 c Try to convert by bdds
249.00/249.80 c d: 1
249.00/249.80 c estimatedAdderCost: 788
249.00/249.80 c Try to convert by bdds
249.70/250.50 c d: 1
249.70/250.50 c estimatedAdderCost: 788
249.70/250.50 c Try to convert by bdds
250.21/251.02 c d: 1
250.21/251.02 c estimatedAdderCost: 788
250.21/251.02 c Try to convert by bdds
250.90/251.70 c d: 1
250.90/251.70 c estimatedAdderCost: 788
250.90/251.70 c Try to convert by bdds
251.40/252.21 c d: 1
251.40/252.21 c estimatedAdderCost: 788
251.40/252.21 c Try to convert by bdds
252.10/252.90 c d: 1
252.10/252.90 c estimatedAdderCost: 786
252.10/252.90 c Try to convert by bdds
252.60/253.41 c d: 1
252.60/253.41 c estimatedAdderCost: 791
252.60/253.41 c Try to convert by bdds
253.21/254.11 c d: 1
253.21/254.11 c estimatedAdderCost: 789
253.21/254.11 c Try to convert by bdds
253.79/254.61 c d: 1
253.79/254.61 c estimatedAdderCost: 788
253.79/254.61 c Try to convert by bdds
254.49/255.31 c d: 1
254.49/255.31 c estimatedAdderCost: 789
254.49/255.31 c Try to convert by bdds
254.99/255.82 c d: 1
254.99/255.82 c estimatedAdderCost: 787
254.99/255.82 c Try to convert by bdds
255.69/256.51 c d: 1
255.69/256.51 c estimatedAdderCost: 788
255.69/256.51 c Try to convert by bdds
256.20/257.02 c d: 1
256.20/257.02 c estimatedAdderCost: 788
256.20/257.02 c Try to convert by bdds
256.88/257.72 c d: 1
256.88/257.72 c estimatedAdderCost: 789
256.88/257.72 c Try to convert by bdds
257.38/258.23 c d: 1
257.38/258.23 c estimatedAdderCost: 790
257.38/258.23 c Try to convert by bdds
258.08/258.93 c d: 1
258.08/258.93 c estimatedAdderCost: 789
258.08/258.93 c Try to convert by bdds
258.57/259.43 c d: 1
258.57/259.43 c estimatedAdderCost: 206
258.57/259.43 c Try to convert by bdds
258.57/259.46 c d: 1
258.57/259.46 c estimatedAdderCost: 204
258.57/259.46 c Try to convert by bdds
258.57/259.49 c d: 1
258.57/259.49 c estimatedAdderCost: 205
258.57/259.49 c Try to convert by bdds
258.67/259.52 c d: 1
258.67/259.52 c estimatedAdderCost: 204
258.67/259.52 c Try to convert by bdds
258.67/259.54 c d: 1
258.67/259.54 c estimatedAdderCost: 202
258.67/259.54 c Try to convert by bdds
258.67/259.57 c d: 1
258.67/259.57 c estimatedAdderCost: 204
258.67/259.57 c Try to convert by bdds
258.67/259.60 c d: 1
258.67/259.60 c estimatedAdderCost: 204
258.67/259.60 c Try to convert by bdds
258.77/259.63 c d: 1
258.77/259.63 c estimatedAdderCost: 204
258.77/259.63 c Try to convert by bdds
258.77/259.66 c d: 1
258.77/259.66 c estimatedAdderCost: 202
258.77/259.66 c Try to convert by bdds
258.77/259.69 c d: 1
258.77/259.69 c estimatedAdderCost: 204
258.77/259.69 c Try to convert by bdds
258.87/259.71 c d: 1
258.87/259.71 c estimatedAdderCost: 204
258.87/259.71 c Try to convert by bdds
258.87/259.74 c d: 1
258.87/259.74 c estimatedAdderCost: 204
258.87/259.74 c Try to convert by bdds
258.87/259.76 c d: 1
258.87/259.76 c estimatedAdderCost: 205
258.87/259.76 c Try to convert by bdds
258.87/259.79 c d: 1
258.87/259.79 c estimatedAdderCost: 205
258.87/259.79 c Try to convert by bdds
258.97/259.82 c d: 1
258.97/259.82 c estimatedAdderCost: 204
258.97/259.82 c Try to convert by bdds
258.97/259.85 c d: 1
258.97/259.85 c estimatedAdderCost: 202
258.97/259.85 c Try to convert by bdds
258.97/259.87 c d: 1
258.97/259.87 c estimatedAdderCost: 202
258.97/259.87 c Try to convert by bdds
259.07/259.90 c d: 1
259.07/259.90 c estimatedAdderCost: 204
259.07/259.90 c Try to convert by bdds
259.07/259.93 c d: 1
259.07/259.93 c estimatedAdderCost: 205
259.07/259.93 c Try to convert by bdds
259.07/259.96 c d: 1
259.07/259.96 c estimatedAdderCost: 203
259.07/259.96 c Try to convert by bdds
259.07/259.98 c d: 1
259.07/259.98 c estimatedAdderCost: 204
259.07/259.98 c Try to convert by bdds
259.19/260.01 c d: 1
259.19/260.01 c estimatedAdderCost: 204
259.19/260.01 c Try to convert by bdds
259.19/260.04 c d: 1
259.19/260.04 c estimatedAdderCost: 203
259.19/260.04 c Try to convert by bdds
259.19/260.07 c d: 1
259.19/260.07 c estimatedAdderCost: 203
259.19/260.07 c Try to convert by bdds
259.19/260.09 c d: 1
259.19/260.09 c estimatedAdderCost: 203
259.19/260.09 c Try to convert by bdds
259.29/260.12 c d: 1
259.29/260.12 c estimatedAdderCost: 205
259.29/260.12 c Try to convert by bdds
259.29/260.15 c d: 1
259.29/260.15 c estimatedAdderCost: 203
259.29/260.15 c Try to convert by bdds
259.29/260.18 c d: 1
259.29/260.18 c estimatedAdderCost: 204
259.29/260.18 c Try to convert by bdds
259.37/260.20 c d: 1
259.37/260.20 c estimatedAdderCost: 204
259.37/260.20 c Try to convert by bdds
259.37/260.23 c d: 1
259.37/260.23 c estimatedAdderCost: 206
259.37/260.23 c Try to convert by bdds
259.37/260.25 c d: 1
259.37/260.25 c estimatedAdderCost: 203
259.37/260.25 c Try to convert by bdds
259.37/260.28 c d: 1
259.37/260.28 c estimatedAdderCost: 204
259.37/260.28 c Try to convert by bdds
259.47/260.31 c d: 1
259.47/260.31 c estimatedAdderCost: 203
259.47/260.31 c Try to convert by bdds
259.47/260.34 c d: 1
259.47/260.34 c estimatedAdderCost: 204
259.47/260.34 c Try to convert by bdds
259.47/260.36 c d: 1
259.47/260.36 c estimatedAdderCost: 204
259.47/260.36 c Try to convert by bdds
259.47/260.39 c d: 1
259.47/260.39 c estimatedAdderCost: 204
259.47/260.39 c Try to convert by bdds
259.57/260.42 c d: 1
259.57/260.42 c estimatedAdderCost: 204
259.57/260.42 c Try to convert by bdds
259.57/260.45 c d: 1
259.57/260.45 c estimatedAdderCost: 204
259.57/260.45 c Try to convert by bdds
259.57/260.48 c d: 1
259.57/260.48 c estimatedAdderCost: 205
259.57/260.48 c Try to convert by bdds
259.67/260.51 c d: 1
259.67/260.51 c estimatedAdderCost: 205
259.67/260.51 c Try to convert by bdds
259.67/260.53 c d: 1
259.67/260.53 c estimatedAdderCost: 204
259.67/260.53 c Try to convert by bdds
259.67/260.56 c d: 1
259.67/260.56 c estimatedAdderCost: 204
259.67/260.56 c Try to convert by bdds
259.67/260.59 c d: 1
259.67/260.59 c estimatedAdderCost: 206
259.67/260.59 c Try to convert by bdds
259.77/260.62 c d: 1
259.77/260.62 c estimatedAdderCost: 204
259.77/260.62 c Try to convert by bdds
259.77/260.64 c d: 1
259.77/260.64 c estimatedAdderCost: 205
259.77/260.64 c Try to convert by bdds
259.77/260.67 c d: 1
259.77/260.67 c estimatedAdderCost: 204
259.77/260.67 c Try to convert by bdds
259.77/260.69 c d: 1
259.77/260.69 c estimatedAdderCost: 204
259.77/260.69 c Try to convert by bdds
259.87/260.72 c d: 1
259.87/260.72 c estimatedAdderCost: 204
259.87/260.72 c Try to convert by bdds
259.87/260.75 c d: 1
259.87/260.75 c estimatedAdderCost: 203
259.87/260.75 c Try to convert by bdds
259.87/260.78 c d: 1
259.87/260.78 c estimatedAdderCost: 203
259.87/260.78 c Try to convert by bdds
259.97/260.80 c d: 1
259.97/260.80 c estimatedAdderCost: 203
259.97/260.80 c Try to convert by bdds
259.97/260.83 c d: 1
259.97/260.83 c estimatedAdderCost: 205
259.97/260.83 c Try to convert by bdds
259.97/260.86 c d: 1
259.97/260.86 c estimatedAdderCost: 204
259.97/260.86 c Try to convert by bdds
259.97/260.89 c d: 1
259.97/260.89 c estimatedAdderCost: 205
259.97/260.89 c Try to convert by bdds
260.07/260.91 c d: 1
260.07/260.91 c estimatedAdderCost: 204
260.07/260.91 c Try to convert by bdds
260.07/260.94 c d: 1
260.07/260.94 c estimatedAdderCost: 203
260.07/260.94 c Try to convert by bdds
260.07/260.96 c d: 1
260.07/260.96 c estimatedAdderCost: 203
260.07/260.96 c Try to convert by bdds
260.07/261.00 c d: 1
260.07/261.00 c estimatedAdderCost: 204
260.07/261.00 c Try to convert by bdds
260.18/261.02 c d: 1
260.18/261.02 c estimatedAdderCost: 202
260.18/261.02 c Try to convert by bdds
260.18/261.05 c d: 1
260.18/261.05 c estimatedAdderCost: 204
260.18/261.05 c Try to convert by bdds
260.18/261.08 c d: 1
260.18/261.08 c estimatedAdderCost: 204
260.18/261.08 c Try to convert by bdds
260.18/261.11 c d: 1
260.18/261.11 c estimatedAdderCost: 203
260.18/261.11 c Try to convert by bdds
260.28/261.13 c d: 1
260.28/261.13 c estimatedAdderCost: 205
260.28/261.13 c Try to convert by bdds
260.28/261.16 c d: 1
260.28/261.16 c estimatedAdderCost: 203
260.28/261.16 c Try to convert by bdds
260.28/261.19 c d: 1
260.28/261.19 c estimatedAdderCost: 202
260.28/261.19 c Try to convert by bdds
260.37/261.22 c d: 1
260.37/261.22 c estimatedAdderCost: 204
260.37/261.22 c Try to convert by bdds
260.37/261.24 c d: 1
260.37/261.24 c estimatedAdderCost: 203
260.37/261.24 c Try to convert by bdds
260.37/261.27 c d: 1
260.37/261.27 c estimatedAdderCost: 205
260.37/261.27 c Try to convert by bdds
260.47/261.30 c d: 1
260.47/261.30 c estimatedAdderCost: 204
260.47/261.30 c Try to convert by bdds
260.47/261.33 c d: 1
260.47/261.33 c estimatedAdderCost: 205
260.47/261.33 c Try to convert by bdds
260.47/261.35 c d: 1
260.47/261.35 c estimatedAdderCost: 204
260.47/261.35 c Try to convert by bdds
260.47/261.38 c d: 1
260.47/261.38 c estimatedAdderCost: 202
260.47/261.38 c Try to convert by bdds
260.57/261.40 c d: 1
260.57/261.40 c estimatedAdderCost: 204
260.57/261.40 c Try to convert by bdds
260.57/261.44 c d: 1
260.57/261.44 c estimatedAdderCost: 202
260.57/261.44 c Try to convert by bdds
260.57/261.46 c d: 1
260.57/261.46 c estimatedAdderCost: 204
260.57/261.46 c Try to convert by bdds
260.57/261.49 c d: 1
260.57/261.49 c estimatedAdderCost: 204
260.57/261.49 c Try to convert by bdds
260.67/261.51 c d: 1
260.67/261.51 c estimatedAdderCost: 204
260.67/261.51 c Try to convert by bdds
260.67/261.55 c d: 1
260.67/261.55 c estimatedAdderCost: 204
260.67/261.55 c Try to convert by bdds
260.67/261.57 c d: 1
260.67/261.57 c estimatedAdderCost: 205
260.67/261.57 c Try to convert by bdds
260.77/261.60 c d: 1
260.77/261.60 c estimatedAdderCost: 204
260.77/261.60 c Try to convert by bdds
260.77/261.63 c d: 1
260.77/261.63 c estimatedAdderCost: 204
260.77/261.63 c Try to convert by bdds
260.77/261.66 c d: 1
260.77/261.66 c estimatedAdderCost: 206
260.77/261.66 c Try to convert by bdds
260.77/261.68 c d: 1
260.77/261.68 c estimatedAdderCost: 206
260.77/261.68 c Try to convert by bdds
260.87/261.71 c d: 1
260.87/261.71 c estimatedAdderCost: 204
260.87/261.71 c Try to convert by bdds
260.87/261.74 c d: 1
260.87/261.74 c estimatedAdderCost: 204
260.87/261.74 c Try to convert by bdds
260.87/261.77 c d: 1
260.87/261.77 c estimatedAdderCost: 203
260.87/261.77 c Try to convert by bdds
260.87/261.79 c d: 1
260.87/261.79 c estimatedAdderCost: 205
260.87/261.79 c Try to convert by bdds
260.96/261.83 c d: 1
260.96/261.83 c estimatedAdderCost: 205
260.96/261.83 c Try to convert by bdds
260.96/261.85 c d: 1
260.96/261.85 c estimatedAdderCost: 204
260.96/261.85 c Try to convert by bdds
260.96/261.88 c d: 1
260.96/261.88 c estimatedAdderCost: 204
260.96/261.88 c Try to convert by bdds
261.07/261.90 c d: 1
261.07/261.90 c estimatedAdderCost: 204
261.07/261.90 c Try to convert by bdds
261.07/261.93 c d: 1
261.07/261.93 c estimatedAdderCost: 202
261.07/261.93 c Try to convert by bdds
261.07/261.96 c d: 1
261.07/261.96 c estimatedAdderCost: 205
261.07/261.96 c Try to convert by bdds
261.07/261.99 c d: 1
261.07/261.99 c estimatedAdderCost: 204
261.07/261.99 c Try to convert by bdds
261.19/262.01 c d: 1
261.19/262.01 c estimatedAdderCost: 203
261.19/262.01 c Try to convert by bdds
261.19/262.04 c d: 1
261.19/262.04 c estimatedAdderCost: 204
261.19/262.04 c Try to convert by bdds
261.19/262.07 c d: 1
261.19/262.07 c estimatedAdderCost: 204
261.19/262.07 c Try to convert by bdds
261.19/262.10 c d: 1
261.19/262.10 c estimatedAdderCost: 204
261.19/262.10 c Try to convert by bdds
261.29/262.12 c d: 1
261.29/262.12 c estimatedAdderCost: 203
261.29/262.12 c Try to convert by bdds
261.29/262.16 c d: 1
261.29/262.16 c estimatedAdderCost: 203
261.29/262.16 c Try to convert by bdds
261.29/262.18 c d: 1
261.29/262.18 c estimatedAdderCost: 203
261.29/262.18 c Try to convert by bdds
261.37/262.21 c d: 1
261.37/262.21 c estimatedAdderCost: 203
261.37/262.21 c Try to convert by bdds
261.37/262.23 c d: 1
261.37/262.23 c estimatedAdderCost: 204
261.37/262.23 c Try to convert by bdds
261.37/262.26 c d: 1
261.37/262.26 c estimatedAdderCost: 206
261.37/262.26 c Try to convert by bdds
261.37/262.29 c d: 1
261.37/262.29 c estimatedAdderCost: 203
261.37/262.29 c Try to convert by bdds
261.47/262.32 c d: 1
261.47/262.32 c estimatedAdderCost: 205
261.47/262.32 c Try to convert by bdds
261.47/262.34 c d: 1
261.47/262.34 c estimatedAdderCost: 205
261.47/262.34 c Try to convert by bdds
261.47/262.37 c d: 1
261.47/262.37 c estimatedAdderCost: 205
261.47/262.37 c Try to convert by bdds
261.57/262.40 c d: 1
261.57/262.40 c estimatedAdderCost: 204
261.57/262.40 c Try to convert by bdds
261.57/262.43 c d: 1
261.57/262.43 c estimatedAdderCost: 206
261.57/262.43 c Try to convert by bdds
261.57/262.45 c d: 1
261.57/262.45 c estimatedAdderCost: 205
261.57/262.45 c Try to convert by bdds
261.57/262.48 c d: 1
261.57/262.48 c estimatedAdderCost: 205
261.57/262.48 c Try to convert by bdds
261.67/262.51 c d: 1
261.67/262.51 c estimatedAdderCost: 204
261.67/262.51 c Try to convert by bdds
261.67/262.54 c d: 1
261.67/262.54 c estimatedAdderCost: 205
261.67/262.54 c Try to convert by bdds
261.67/262.56 c d: 1
261.67/262.56 c estimatedAdderCost: 202
261.67/262.56 c Try to convert by bdds
261.67/262.59 c d: 1
261.67/262.59 c estimatedAdderCost: 204
261.67/262.59 c Try to convert by bdds
261.77/262.62 c d: 1
261.77/262.62 c estimatedAdderCost: 204
261.77/262.62 c Try to convert by bdds
261.77/262.65 c d: 1
261.77/262.65 c estimatedAdderCost: 204
261.77/262.65 c Try to convert by bdds
261.77/262.67 c d: 1
261.77/262.67 c estimatedAdderCost: 205
261.77/262.67 c Try to convert by bdds
261.87/262.70 c d: 1
261.87/262.70 c estimatedAdderCost: 204
261.87/262.70 c Try to convert by bdds
261.87/262.72 c d: 1
261.87/262.72 c estimatedAdderCost: 203
261.87/262.72 c Try to convert by bdds
261.87/262.76 c d: 1
261.87/262.76 c estimatedAdderCost: 205
261.87/262.76 c Try to convert by bdds
261.87/262.78 c d: 1
261.87/262.78 c estimatedAdderCost: 203
261.87/262.78 c Try to convert by bdds
261.97/262.81 c d: 1
261.97/262.81 c estimatedAdderCost: 204
261.97/262.81 c Try to convert by bdds
261.97/262.83 c d: 1
261.97/262.83 c estimatedAdderCost: 204
261.97/262.83 c Try to convert by bdds
261.97/262.86 c d: 1
261.97/262.86 c estimatedAdderCost: 204
261.97/262.86 c Try to convert by bdds
261.97/262.89 c d: 1
261.97/262.89 c estimatedAdderCost: 203
261.97/262.89 c Try to convert by bdds
262.07/262.92 c d: 1
262.07/262.92 c estimatedAdderCost: 205
262.07/262.92 c Try to convert by bdds
262.07/262.94 c d: 1
262.07/262.94 c estimatedAdderCost: 206
262.07/262.94 c Try to convert by bdds
262.07/262.97 c d: 1
262.07/262.97 c estimatedAdderCost: 204
262.07/262.97 c Try to convert by bdds
262.07/263.00 c d: 1
262.07/263.00 c estimatedAdderCost: 203
262.07/263.00 c Try to convert by bdds
262.18/263.03 c d: 1
262.18/263.03 c estimatedAdderCost: 205
262.18/263.03 c Try to convert by bdds
262.18/263.05 c d: 1
262.18/263.05 c estimatedAdderCost: 203
262.18/263.05 c Try to convert by bdds
262.18/263.08 c d: 1
262.18/263.08 c estimatedAdderCost: 205
262.18/263.08 c Try to convert by bdds
262.18/263.11 c d: 1
262.18/263.11 c estimatedAdderCost: 204
262.18/263.11 c Try to convert by bdds
262.28/263.14 c d: 1
262.28/263.14 c estimatedAdderCost: 204
262.28/263.14 c Try to convert by bdds
262.28/263.16 c d: 1
262.28/263.16 c estimatedAdderCost: 205
262.28/263.16 c Try to convert by bdds
262.28/263.19 c d: 1
262.28/263.19 c estimatedAdderCost: 204
262.28/263.19 c Try to convert by bdds
262.37/263.22 c d: 1
262.37/263.22 c estimatedAdderCost: 204
262.37/263.22 c Try to convert by bdds
262.37/263.25 c d: 1
262.37/263.25 c estimatedAdderCost: 202
262.37/263.25 c Try to convert by bdds
262.37/263.27 c d: 1
262.37/263.27 c estimatedAdderCost: 204
262.37/263.27 c Try to convert by bdds
262.47/263.31 c d: 1
262.47/263.31 c estimatedAdderCost: 204
262.47/263.31 c Try to convert by bdds
262.47/263.33 c d: 1
262.47/263.33 c estimatedAdderCost: 205
262.47/263.33 c Try to convert by bdds
262.47/263.36 c d: 1
262.47/263.36 c estimatedAdderCost: 205
262.47/263.36 c Try to convert by bdds
262.47/263.39 c d: 1
262.47/263.39 c estimatedAdderCost: 204
262.47/263.39 c Try to convert by bdds
262.57/263.42 c d: 1
262.57/263.42 c estimatedAdderCost: 202
262.57/263.42 c Try to convert by bdds
262.57/263.44 c d: 1
262.57/263.44 c estimatedAdderCost: 203
262.57/263.44 c Try to convert by bdds
262.57/263.47 c d: 1
262.57/263.47 c estimatedAdderCost: 204
262.57/263.47 c Try to convert by bdds
262.67/263.50 c d: 1
262.67/263.50 c estimatedAdderCost: 205
262.67/263.50 c Try to convert by bdds
262.67/263.53 c d: 1
262.67/263.53 c estimatedAdderCost: 204
262.67/263.53 c Try to convert by bdds
262.67/263.55 c d: 1
262.67/263.55 c estimatedAdderCost: 205
262.67/263.55 c Try to convert by bdds
262.67/263.58 c d: 1
262.67/263.58 c estimatedAdderCost: 204
262.67/263.58 c Try to convert by bdds
262.77/263.60 c d: 1
262.77/263.60 c estimatedAdderCost: 202
262.77/263.60 c Try to convert by bdds
262.77/263.64 c d: 1
262.77/263.64 c estimatedAdderCost: 204
262.77/263.64 c Try to convert by bdds
262.77/263.66 c d: 1
262.77/263.66 c estimatedAdderCost: 203
262.77/263.66 c Try to convert by bdds
262.77/263.69 c d: 1
262.77/263.69 c estimatedAdderCost: 204
262.77/263.69 c Try to convert by bdds
262.87/263.71 c d: 1
262.87/263.71 c estimatedAdderCost: 204
262.87/263.71 c Try to convert by bdds
262.87/263.74 c d: 1
262.87/263.74 c estimatedAdderCost: 203
262.87/263.74 c Try to convert by bdds
262.87/263.77 c d: 1
262.87/263.77 c estimatedAdderCost: 203
262.87/263.77 c Try to convert by bdds
262.97/263.80 c d: 1
262.97/263.80 c estimatedAdderCost: 204
262.97/263.80 c Try to convert by bdds
262.97/263.82 c d: 1
262.97/263.82 c estimatedAdderCost: 203
262.97/263.82 c Try to convert by bdds
262.97/263.85 c d: 1
262.97/263.85 c estimatedAdderCost: 203
262.97/263.85 c Try to convert by bdds
262.97/263.87 c d: 1
262.97/263.87 c estimatedAdderCost: 205
262.97/263.87 c Try to convert by bdds
263.06/263.91 c d: 1
263.06/263.91 c estimatedAdderCost: 203
263.06/263.91 c Try to convert by bdds
263.06/263.93 c d: 1
263.06/263.93 c estimatedAdderCost: 204
263.06/263.93 c Try to convert by bdds
263.06/263.96 c d: 1
263.06/263.96 c estimatedAdderCost: 206
263.06/263.96 c Try to convert by bdds
263.06/263.98 c d: 1
263.06/263.98 c estimatedAdderCost: 205
263.06/263.98 c Try to convert by bdds
263.18/264.02 c d: 1
263.18/264.02 c estimatedAdderCost: 205
263.18/264.02 c Try to convert by bdds
263.18/264.04 c d: 1
263.18/264.04 c estimatedAdderCost: 205
263.18/264.04 c Try to convert by bdds
263.18/264.07 c d: 1
263.18/264.07 c estimatedAdderCost: 205
263.18/264.07 c Try to convert by bdds
263.18/264.09 c d: 1
263.18/264.09 c estimatedAdderCost: 203
263.18/264.09 c Try to convert by bdds
263.28/264.12 c d: 1
263.28/264.12 c estimatedAdderCost: 205
263.28/264.12 c Try to convert by bdds
263.28/264.15 c d: 1
263.28/264.15 c estimatedAdderCost: 202
263.28/264.15 c Try to convert by bdds
263.28/264.18 c d: 1
263.28/264.18 c estimatedAdderCost: 204
263.28/264.18 c Try to convert by bdds
263.36/264.20 c d: 1
263.36/264.20 c estimatedAdderCost: 206
263.36/264.20 c Try to convert by bdds
263.36/264.23 c d: 1
263.36/264.23 c estimatedAdderCost: 204
263.36/264.23 c Try to convert by bdds
263.36/264.26 c d: 1
263.36/264.26 c estimatedAdderCost: 203
263.36/264.26 c Try to convert by bdds
263.36/264.29 c d: 1
263.36/264.29 c estimatedAdderCost: 203
263.36/264.29 c Try to convert by bdds
263.46/264.31 c d: 1
263.46/264.31 c estimatedAdderCost: 203
263.46/264.31 c Try to convert by bdds
263.46/264.34 c d: 1
263.46/264.34 c estimatedAdderCost: 203
263.46/264.34 c Try to convert by bdds
263.46/264.37 c d: 1
263.46/264.37 c estimatedAdderCost: 203
263.46/264.37 c Try to convert by bdds
263.56/264.40 c d: 1
263.56/264.40 c estimatedAdderCost: 204
263.56/264.40 c Try to convert by bdds
263.56/264.42 c d: 1
263.56/264.42 c estimatedAdderCost: 205
263.56/264.42 c Try to convert by bdds
263.56/264.45 c d: 1
263.56/264.45 c estimatedAdderCost: 204
263.56/264.45 c Try to convert by bdds
263.56/264.48 c d: 1
263.56/264.48 c estimatedAdderCost: 205
263.56/264.48 c Try to convert by bdds
263.66/264.51 c d: 1
263.66/264.51 c estimatedAdderCost: 205
263.66/264.51 c Try to convert by bdds
263.66/264.53 c d: 1
263.66/264.53 c estimatedAdderCost: 205
263.66/264.53 c Try to convert by bdds
263.66/264.56 c d: 1
263.66/264.56 c estimatedAdderCost: 205
263.66/264.56 c Try to convert by bdds
263.66/264.59 c d: 1
263.66/264.59 c estimatedAdderCost: 204
263.66/264.59 c Try to convert by bdds
263.76/264.62 c d: 1
263.76/264.62 c estimatedAdderCost: 202
263.76/264.62 c Try to convert by bdds
263.76/264.64 c d: 1
263.76/264.64 c estimatedAdderCost: 204
263.76/264.64 c Try to convert by bdds
263.76/264.67 c d: 1
263.76/264.67 c estimatedAdderCost: 203
263.76/264.67 c Try to convert by bdds
263.76/264.69 c d: 1
263.76/264.69 c estimatedAdderCost: 203
263.76/264.69 c Try to convert by bdds
263.86/264.72 c d: 1
263.86/264.72 c estimatedAdderCost: 204
263.86/264.72 c Try to convert by bdds
263.86/264.75 c d: 1
263.86/264.75 c estimatedAdderCost: 204
263.86/264.75 c Try to convert by bdds
263.86/264.78 c d: 1
263.86/264.78 c estimatedAdderCost: 203
263.86/264.78 c Try to convert by bdds
263.96/264.81 c d: 1
263.96/264.81 c estimatedAdderCost: 205
263.96/264.81 c Try to convert by bdds
263.96/264.84 c d: 1
263.96/264.84 c estimatedAdderCost: 205
263.96/264.84 c Try to convert by bdds
263.96/264.86 c d: 1
263.96/264.86 c estimatedAdderCost: 204
263.96/264.86 c Try to convert by bdds
263.96/264.89 c d: 1
263.96/264.89 c estimatedAdderCost: 204
263.96/264.89 c Try to convert by bdds
264.06/264.91 c d: 1
264.06/264.91 c estimatedAdderCost: 105
264.06/264.91 c Try to convert by bdds
264.06/264.92 c d: 1
264.06/264.92 c estimatedAdderCost: 104
264.06/264.92 c Try to convert by bdds
264.06/264.93 c d: 1
264.06/264.93 c estimatedAdderCost: 105
264.06/264.93 c Try to convert by bdds
264.06/264.93 c d: 1
264.06/264.93 c estimatedAdderCost: 104
264.06/264.93 c Try to convert by bdds
264.06/264.94 c d: 1
264.06/264.94 c estimatedAdderCost: 104
264.06/264.94 c Try to convert by bdds
264.06/264.95 c d: 1
264.06/264.95 c estimatedAdderCost: 103
264.06/264.95 c Try to convert by bdds
264.06/264.95 c d: 1
264.06/264.95 c estimatedAdderCost: 102
264.06/264.95 c Try to convert by bdds
264.06/264.96 c d: 1
264.06/264.96 c estimatedAdderCost: 104
264.06/264.96 c Try to convert by bdds
264.06/264.97 c d: 1
264.06/264.97 c estimatedAdderCost: 103
264.06/264.97 c Try to convert by bdds
264.06/264.97 c d: 1
264.06/264.97 c estimatedAdderCost: 104
264.06/264.97 c Try to convert by bdds
264.06/264.98 c d: 1
264.06/264.98 c estimatedAdderCost: 105
264.06/264.98 c Try to convert by bdds
264.06/264.99 c d: 1
264.06/264.99 c estimatedAdderCost: 104
264.06/264.99 c Try to convert by bdds
264.06/264.99 c d: 1
264.06/264.99 c estimatedAdderCost: 104
264.06/264.99 c Try to convert by bdds
264.06/265.00 c d: 1
264.06/265.00 c estimatedAdderCost: 103
264.06/265.00 c Try to convert by bdds
264.06/265.00 c d: 1
264.06/265.00 c estimatedAdderCost: 104
264.06/265.00 c Try to convert by bdds
264.17/265.01 c d: 1
264.17/265.01 c estimatedAdderCost: 102
264.17/265.01 c Try to convert by bdds
264.17/265.02 c d: 1
264.17/265.02 c estimatedAdderCost: 102
264.17/265.02 c Try to convert by bdds
264.17/265.02 c d: 1
264.17/265.02 c estimatedAdderCost: 104
264.17/265.02 c Try to convert by bdds
264.17/265.03 c d: 1
264.17/265.03 c estimatedAdderCost: 103
264.17/265.03 c Try to convert by bdds
264.17/265.04 c d: 1
264.17/265.04 c estimatedAdderCost: 104
264.17/265.04 c Try to convert by bdds
264.17/265.04 c d: 1
264.17/265.04 c estimatedAdderCost: 105
264.17/265.04 c Try to convert by bdds
264.17/265.05 c d: 1
264.17/265.05 c estimatedAdderCost: 104
264.17/265.05 c Try to convert by bdds
264.17/265.06 c d: 1
264.17/265.06 c estimatedAdderCost: 105
264.17/265.06 c Try to convert by bdds
264.17/265.06 c d: 1
264.17/265.06 c estimatedAdderCost: 104
264.17/265.06 c Try to convert by bdds
264.17/265.07 c d: 1
264.17/265.07 c estimatedAdderCost: 103
264.17/265.07 c Try to convert by bdds
264.17/265.08 c d: 1
264.17/265.08 c estimatedAdderCost: 103
264.17/265.08 c Try to convert by bdds
264.17/265.08 c d: 1
264.17/265.08 c estimatedAdderCost: 104
264.17/265.08 c Try to convert by bdds
264.17/265.09 c d: 1
264.17/265.09 c estimatedAdderCost: 102
264.17/265.09 c Try to convert by bdds
264.17/265.10 c d: 1
264.17/265.10 c estimatedAdderCost: 104
264.17/265.10 c Try to convert by bdds
264.17/265.10 c d: 1
264.17/265.10 c estimatedAdderCost: 103
264.17/265.10 c Try to convert by bdds
264.27/265.11 c d: 1
264.27/265.11 c estimatedAdderCost: 105
264.27/265.11 c Try to convert by bdds
264.27/265.12 c d: 1
264.27/265.12 c estimatedAdderCost: 104
264.27/265.12 c Try to convert by bdds
264.27/265.12 c d: 1
264.27/265.12 c estimatedAdderCost: 102
264.27/265.12 c Try to convert by bdds
264.27/265.13 c d: 1
264.27/265.13 c estimatedAdderCost: 104
264.27/265.13 c Try to convert by bdds
264.27/265.13 c d: 1
264.27/265.13 c estimatedAdderCost: 103
264.27/265.13 c Try to convert by bdds
264.27/265.14 c d: 1
264.27/265.14 c estimatedAdderCost: 104
264.27/265.14 c Try to convert by bdds
264.27/265.15 c d: 1
264.27/265.15 c estimatedAdderCost: 103
264.27/265.15 c Try to convert by bdds
264.27/265.15 c d: 1
264.27/265.15 c estimatedAdderCost: 103
264.27/265.15 c Try to convert by bdds
264.27/265.16 c d: 1
264.27/265.16 c estimatedAdderCost: 103
264.27/265.16 c Try to convert by bdds
264.27/265.17 c d: 1
264.27/265.17 c estimatedAdderCost: 104
264.27/265.17 c Try to convert by bdds
264.27/265.17 c d: 1
264.27/265.17 c estimatedAdderCost: 105
264.27/265.17 c Try to convert by bdds
264.27/265.18 c d: 1
264.27/265.18 c estimatedAdderCost: 104
264.27/265.18 c Try to convert by bdds
264.27/265.19 c d: 1
264.27/265.19 c estimatedAdderCost: 104
264.27/265.19 c Try to convert by bdds
264.27/265.19 c d: 1
264.27/265.19 c estimatedAdderCost: 104
264.27/265.19 c Try to convert by bdds
264.36/265.20 c d: 1
264.36/265.20 c estimatedAdderCost: 103
264.36/265.20 c Try to convert by bdds
264.36/265.21 c d: 1
264.36/265.21 c estimatedAdderCost: 104
264.36/265.21 c Try to convert by bdds
264.36/265.21 c d: 1
264.36/265.21 c estimatedAdderCost: 104
264.36/265.21 c Try to convert by bdds
264.36/265.22 c d: 1
264.36/265.22 c estimatedAdderCost: 105
264.36/265.22 c Try to convert by bdds
264.36/265.23 c d: 1
264.36/265.23 c estimatedAdderCost: 104
264.36/265.23 c Try to convert by bdds
264.36/265.23 c d: 1
264.36/265.23 c estimatedAdderCost: 105
264.36/265.23 c Try to convert by bdds
264.36/265.24 c d: 1
264.36/265.24 c estimatedAdderCost: 103
264.36/265.24 c Try to convert by bdds
264.36/265.25 c d: 1
264.36/265.25 c estimatedAdderCost: 104
264.36/265.25 c Try to convert by bdds
264.36/265.25 c d: 1
264.36/265.25 c estimatedAdderCost: 103
264.36/265.25 c Try to convert by bdds
264.36/265.26 c d: 1
264.36/265.26 c estimatedAdderCost: 104
264.36/265.26 c Try to convert by bdds
264.36/265.26 c d: 1
264.36/265.26 c estimatedAdderCost: 103
264.36/265.26 c Try to convert by bdds
264.36/265.27 c d: 1
264.36/265.27 c estimatedAdderCost: 104
264.36/265.27 c Try to convert by bdds
264.36/265.28 c d: 1
264.36/265.28 c estimatedAdderCost: 103
264.36/265.28 c Try to convert by bdds
264.36/265.28 c d: 1
264.36/265.28 c estimatedAdderCost: 103
264.36/265.28 c Try to convert by bdds
264.36/265.29 c d: 1
264.36/265.29 c estimatedAdderCost: 104
264.36/265.29 c Try to convert by bdds
264.46/265.30 c d: 1
264.46/265.30 c estimatedAdderCost: 105
264.46/265.30 c Try to convert by bdds
264.46/265.30 c d: 1
264.46/265.30 c estimatedAdderCost: 104
264.46/265.30 c Try to convert by bdds
264.46/265.31 c d: 1
264.46/265.31 c estimatedAdderCost: 102
264.46/265.31 c Try to convert by bdds
264.46/265.32 c d: 1
264.46/265.32 c estimatedAdderCost: 103
264.46/265.32 c Try to convert by bdds
264.46/265.32 c d: 1
264.46/265.32 c estimatedAdderCost: 104
264.46/265.32 c Try to convert by bdds
264.46/265.33 c d: 1
264.46/265.33 c estimatedAdderCost: 104
264.46/265.33 c Try to convert by bdds
264.46/265.34 c d: 1
264.46/265.34 c estimatedAdderCost: 102
264.46/265.34 c Try to convert by bdds
264.46/265.34 c d: 1
264.46/265.34 c estimatedAdderCost: 104
264.46/265.34 c Try to convert by bdds
264.46/265.35 c d: 1
264.46/265.35 c estimatedAdderCost: 103
264.46/265.35 c Try to convert by bdds
264.46/265.36 c d: 1
264.46/265.36 c estimatedAdderCost: 103
264.46/265.36 c Try to convert by bdds
264.46/265.36 c d: 1
264.46/265.36 c estimatedAdderCost: 104
264.46/265.36 c Try to convert by bdds
264.46/265.37 c d: 1
264.46/265.37 c estimatedAdderCost: 105
264.46/265.37 c Try to convert by bdds
264.46/265.38 c d: 1
264.46/265.38 c estimatedAdderCost: 104
264.46/265.38 c Try to convert by bdds
264.46/265.38 c d: 1
264.46/265.38 c estimatedAdderCost: 104
264.46/265.38 c Try to convert by bdds
264.46/265.39 c d: 1
264.46/265.39 c estimatedAdderCost: 105
264.46/265.39 c Try to convert by bdds
264.46/265.39 c d: 1
264.46/265.39 c estimatedAdderCost: 104
264.46/265.39 c Try to convert by bdds
264.56/265.40 c d: 1
264.56/265.40 c estimatedAdderCost: 103
264.56/265.40 c Try to convert by bdds
264.56/265.41 c d: 1
264.56/265.41 c estimatedAdderCost: 104
264.56/265.41 c Try to convert by bdds
264.56/265.41 c d: 1
264.56/265.41 c estimatedAdderCost: 105
264.56/265.41 c Try to convert by bdds
264.56/265.42 c d: 1
264.56/265.42 c estimatedAdderCost: 102
264.56/265.42 c Try to convert by bdds
264.56/265.43 c d: 1
264.56/265.43 c estimatedAdderCost: 104
264.56/265.43 c Try to convert by bdds
264.56/265.43 c d: 1
264.56/265.43 c estimatedAdderCost: 104
264.56/265.43 c Try to convert by bdds
264.56/265.44 c d: 1
264.56/265.44 c estimatedAdderCost: 105
264.56/265.44 c Try to convert by bdds
264.56/265.45 c d: 1
264.56/265.45 c estimatedAdderCost: 102
264.56/265.45 c Try to convert by bdds
264.56/265.45 c d: 1
264.56/265.45 c estimatedAdderCost: 104
264.56/265.45 c Try to convert by bdds
264.56/265.46 c d: 1
264.56/265.46 c estimatedAdderCost: 103
264.56/265.46 c Try to convert by bdds
264.56/265.47 c d: 1
264.56/265.47 c estimatedAdderCost: 104
264.56/265.47 c Try to convert by bdds
264.56/265.47 c d: 1
264.56/265.47 c estimatedAdderCost: 103
264.56/265.47 c Try to convert by bdds
264.56/265.48 c d: 1
264.56/265.48 c estimatedAdderCost: 104
264.56/265.48 c Try to convert by bdds
264.56/265.49 c d: 1
264.56/265.49 c estimatedAdderCost: 104
264.56/265.49 c Try to convert by bdds
264.56/265.49 c d: 1
264.56/265.49 c estimatedAdderCost: 103
264.56/265.49 c Try to convert by bdds
264.65/265.50 c d: 1
264.65/265.50 c estimatedAdderCost: 105
264.65/265.50 c Try to convert by bdds
264.65/265.51 c d: 1
264.65/265.51 c estimatedAdderCost: 104
264.65/265.51 c Try to convert by bdds
264.65/265.51 c d: 1
264.65/265.51 c estimatedAdderCost: 103
264.65/265.51 c Try to convert by bdds
264.65/265.52 c d: 1
264.65/265.52 c estimatedAdderCost: 103
264.65/265.52 c Try to convert by bdds
264.65/265.53 c d: 1
264.65/265.53 c estimatedAdderCost: 103
264.65/265.53 c Try to convert by bdds
264.65/265.53 c d: 1
264.65/265.53 c estimatedAdderCost: 103
264.65/265.53 c Try to convert by bdds
264.65/265.54 c d: 1
264.65/265.54 c estimatedAdderCost: 103
264.65/265.54 c Try to convert by bdds
264.65/265.55 c d: 1
264.65/265.55 c estimatedAdderCost: 103
264.65/265.55 c Try to convert by bdds
264.65/265.55 c d: 1
264.65/265.55 c estimatedAdderCost: 102
264.65/265.55 c Try to convert by bdds
264.65/265.56 c d: 1
264.65/265.56 c estimatedAdderCost: 104
264.65/265.56 c Try to convert by bdds
264.65/265.56 c d: 1
264.65/265.56 c estimatedAdderCost: 104
264.65/265.56 c Try to convert by bdds
264.65/265.57 c d: 1
264.65/265.57 c estimatedAdderCost: 102
264.65/265.57 c Try to convert by bdds
264.65/265.58 c d: 1
264.65/265.58 c estimatedAdderCost: 103
264.65/265.58 c Try to convert by bdds
264.65/265.58 c d: 1
264.65/265.58 c estimatedAdderCost: 104
264.65/265.58 c Try to convert by bdds
264.65/265.59 c d: 1
264.65/265.59 c estimatedAdderCost: 103
264.65/265.59 c Try to convert by bdds
264.75/265.60 c d: 1
264.75/265.60 c estimatedAdderCost: 104
264.75/265.60 c Try to convert by bdds
264.75/265.60 c d: 1
264.75/265.60 c estimatedAdderCost: 103
264.75/265.60 c Try to convert by bdds
264.75/265.61 c d: 1
264.75/265.61 c estimatedAdderCost: 104
264.75/265.61 c Try to convert by bdds
264.75/265.62 c d: 1
264.75/265.62 c estimatedAdderCost: 103
264.75/265.62 c Try to convert by bdds
264.75/265.62 c d: 1
264.75/265.62 c estimatedAdderCost: 103
264.75/265.62 c Try to convert by bdds
264.75/265.63 c d: 1
264.75/265.63 c estimatedAdderCost: 104
264.75/265.63 c Try to convert by bdds
264.75/265.64 c d: 1
264.75/265.64 c estimatedAdderCost: 102
264.75/265.64 c Try to convert by bdds
264.75/265.64 c d: 1
264.75/265.64 c estimatedAdderCost: 104
264.75/265.64 c Try to convert by bdds
264.75/265.65 c d: 1
264.75/265.65 c estimatedAdderCost: 103
264.75/265.65 c Try to convert by bdds
264.75/265.66 c d: 1
264.75/265.66 c estimatedAdderCost: 104
264.75/265.66 c Try to convert by bdds
264.75/265.66 c d: 1
264.75/265.66 c estimatedAdderCost: 104
264.75/265.66 c Try to convert by bdds
264.75/265.67 c d: 1
264.75/265.67 c estimatedAdderCost: 103
264.75/265.67 c Try to convert by bdds
264.75/265.68 c d: 1
264.75/265.68 c estimatedAdderCost: 103
264.75/265.68 c Try to convert by bdds
264.75/265.68 c d: 1
264.75/265.68 c estimatedAdderCost: 104
264.75/265.68 c Try to convert by bdds
264.75/265.69 c d: 1
264.75/265.69 c estimatedAdderCost: 105
264.75/265.69 c Try to convert by bdds
264.75/265.69 c d: 1
264.75/265.69 c estimatedAdderCost: 105
264.75/265.69 c Try to convert by bdds
264.85/265.70 c d: 1
264.85/265.70 c estimatedAdderCost: 104
264.85/265.70 c Try to convert by bdds
264.85/265.71 c d: 1
264.85/265.71 c estimatedAdderCost: 105
264.85/265.71 c Try to convert by bdds
264.85/265.72 c d: 1
264.85/265.72 c estimatedAdderCost: 104
264.85/265.72 c Try to convert by bdds
264.85/265.72 c d: 1
264.85/265.72 c estimatedAdderCost: 103
264.85/265.72 c Try to convert by bdds
264.85/265.73 c d: 1
264.85/265.73 c estimatedAdderCost: 103
264.85/265.73 c Try to convert by bdds
264.85/265.73 c d: 1
264.85/265.73 c estimatedAdderCost: 102
264.85/265.73 c Try to convert by bdds
264.85/265.74 c d: 1
264.85/265.74 c estimatedAdderCost: 104
264.85/265.74 c Try to convert by bdds
264.85/265.75 c d: 1
264.85/265.75 c estimatedAdderCost: 103
264.85/265.75 c Try to convert by bdds
264.85/265.75 c d: 1
264.85/265.75 c estimatedAdderCost: 104
264.85/265.75 c Try to convert by bdds
264.85/265.76 c d: 1
264.85/265.76 c estimatedAdderCost: 104
264.85/265.76 c Try to convert by bdds
264.85/265.77 c d: 1
264.85/265.77 c estimatedAdderCost: 103
264.85/265.77 c Try to convert by bdds
264.85/265.77 c d: 1
264.85/265.77 c estimatedAdderCost: 103
264.85/265.77 c Try to convert by bdds
264.85/265.78 c d: 1
264.85/265.78 c estimatedAdderCost: 103
264.85/265.78 c Try to convert by bdds
264.85/265.79 c d: 1
264.85/265.79 c estimatedAdderCost: 104
264.85/265.79 c Try to convert by bdds
264.85/265.79 c d: 1
264.85/265.79 c estimatedAdderCost: 105
264.85/265.79 c Try to convert by bdds
264.95/265.80 c d: 1
264.95/265.80 c estimatedAdderCost: 103
264.95/265.80 c Try to convert by bdds
264.95/265.81 c d: 1
264.95/265.81 c estimatedAdderCost: 103
264.95/265.81 c Try to convert by bdds
264.95/265.81 c d: 1
264.95/265.81 c estimatedAdderCost: 102
264.95/265.81 c Try to convert by bdds
264.95/265.82 c d: 1
264.95/265.82 c estimatedAdderCost: 104
264.95/265.82 c Try to convert by bdds
264.95/265.83 c d: 1
264.95/265.83 c estimatedAdderCost: 103
264.95/265.83 c Try to convert by bdds
264.95/265.83 c d: 1
264.95/265.83 c estimatedAdderCost: 104
264.95/265.83 c Try to convert by bdds
264.95/265.84 c d: 1
264.95/265.84 c estimatedAdderCost: 104
264.95/265.84 c Try to convert by bdds
264.95/265.85 c d: 1
264.95/265.85 c estimatedAdderCost: 102
264.95/265.85 c Try to convert by bdds
264.95/265.85 c d: 1
264.95/265.85 c estimatedAdderCost: 104
264.95/265.85 c Try to convert by bdds
264.95/265.86 c d: 1
264.95/265.86 c estimatedAdderCost: 105
264.95/265.86 c Try to convert by bdds
264.95/265.86 c d: 1
264.95/265.86 c estimatedAdderCost: 104
264.95/265.86 c Try to convert by bdds
264.95/265.87 c d: 1
264.95/265.87 c estimatedAdderCost: 102
264.95/265.87 c Try to convert by bdds
264.95/265.88 c d: 1
264.95/265.88 c estimatedAdderCost: 104
264.95/265.88 c Try to convert by bdds
264.95/265.88 c d: 1
264.95/265.88 c estimatedAdderCost: 103
264.95/265.88 c Try to convert by bdds
264.95/265.89 c d: 1
264.95/265.89 c estimatedAdderCost: 102
264.95/265.89 c Try to convert by bdds
265.05/265.90 c d: 1
265.05/265.90 c estimatedAdderCost: 104
265.05/265.90 c Try to convert by bdds
265.05/265.90 c d: 1
265.05/265.90 c estimatedAdderCost: 102
265.05/265.90 c Try to convert by bdds
265.05/265.91 c d: 1
265.05/265.91 c estimatedAdderCost: 104
265.05/265.91 c Try to convert by bdds
265.05/265.92 c d: 1
265.05/265.92 c estimatedAdderCost: 104
265.05/265.92 c Try to convert by bdds
265.05/265.92 c d: 1
265.05/265.92 c estimatedAdderCost: 102
265.05/265.92 c Try to convert by bdds
265.05/265.93 c d: 1
265.05/265.93 c estimatedAdderCost: 103
265.05/265.93 c Try to convert by bdds
265.05/265.94 c d: 1
265.05/265.94 c estimatedAdderCost: 103
265.05/265.94 c Try to convert by bdds
265.05/265.94 c d: 1
265.05/265.94 c estimatedAdderCost: 102
265.05/265.94 c Try to convert by bdds
265.05/265.95 c d: 1
265.05/265.95 c estimatedAdderCost: 104
265.05/265.95 c Try to convert by bdds
265.05/265.96 c d: 1
265.05/265.96 c estimatedAdderCost: 103
265.05/265.96 c Try to convert by bdds
265.05/265.96 c d: 1
265.05/265.96 c estimatedAdderCost: 104
265.05/265.96 c Try to convert by bdds
265.05/265.97 c d: 1
265.05/265.97 c estimatedAdderCost: 102
265.05/265.97 c Try to convert by bdds
265.05/265.98 c d: 1
265.05/265.98 c estimatedAdderCost: 104
265.05/265.98 c Try to convert by bdds
265.05/265.98 c d: 1
265.05/265.98 c estimatedAdderCost: 103
265.05/265.98 c Try to convert by bdds
265.05/265.99 c d: 1
265.05/265.99 c estimatedAdderCost: 104
265.05/265.99 c Try to convert by bdds
265.05/266.00 c d: 1
265.05/266.00 c estimatedAdderCost: 104
265.05/266.00 c Try to convert by bdds
265.05/266.00 c d: 1
265.05/266.00 c estimatedAdderCost: 103
265.05/266.00 c Try to convert by bdds
265.05/266.01 c d: 1
265.05/266.01 c estimatedAdderCost: 104
265.05/266.01 c Try to convert by bdds
265.17/266.02 c d: 1
265.17/266.02 c estimatedAdderCost: 103
265.17/266.02 c Try to convert by bdds
265.17/266.02 c d: 1
265.17/266.02 c estimatedAdderCost: 103
265.17/266.02 c Try to convert by bdds
265.17/266.03 c d: 1
265.17/266.03 c estimatedAdderCost: 103
265.17/266.03 c Try to convert by bdds
265.17/266.03 c d: 1
265.17/266.03 c estimatedAdderCost: 104
265.17/266.03 c Try to convert by bdds
265.17/266.04 c d: 1
265.17/266.04 c estimatedAdderCost: 103
265.17/266.04 c Try to convert by bdds
265.17/266.05 c d: 1
265.17/266.05 c estimatedAdderCost: 104
265.17/266.05 c Try to convert by bdds
265.17/266.05 c d: 1
265.17/266.05 c estimatedAdderCost: 103
265.17/266.05 c Try to convert by bdds
265.17/266.06 c d: 1
265.17/266.06 c estimatedAdderCost: 103
265.17/266.06 c Try to convert by bdds
265.17/266.07 c d: 1
265.17/266.07 c estimatedAdderCost: 103
265.17/266.07 c Try to convert by bdds
265.17/266.07 c d: 1
265.17/266.07 c estimatedAdderCost: 103
265.17/266.07 c Try to convert by bdds
265.17/266.08 c d: 1
265.17/266.08 c estimatedAdderCost: 103
265.17/266.08 c Try to convert by bdds
265.17/266.09 c d: 1
265.17/266.09 c estimatedAdderCost: 103
265.17/266.09 c Try to convert by bdds
265.17/266.09 c d: 1
265.17/266.09 c estimatedAdderCost: 103
265.17/266.09 c Try to convert by bdds
265.17/266.10 c d: 1
265.17/266.10 c estimatedAdderCost: 104
265.17/266.10 c Try to convert by bdds
265.17/266.11 c d: 1
265.17/266.11 c estimatedAdderCost: 105
265.17/266.11 c Try to convert by bdds
265.27/266.11 c d: 1
265.27/266.11 c estimatedAdderCost: 103
265.27/266.11 c Try to convert by bdds
265.27/266.12 c d: 1
265.27/266.12 c estimatedAdderCost: 103
265.27/266.12 c Try to convert by bdds
265.27/266.13 c d: 1
265.27/266.13 c estimatedAdderCost: 103
265.27/266.13 c Try to convert by bdds
265.27/266.13 c d: 1
265.27/266.13 c estimatedAdderCost: 103
265.27/266.13 c Try to convert by bdds
265.27/266.14 c d: 1
265.27/266.14 c estimatedAdderCost: 103
265.27/266.14 c Try to convert by bdds
265.27/266.15 c d: 1
265.27/266.15 c estimatedAdderCost: 103
265.27/266.15 c Try to convert by bdds
265.27/266.15 c d: 1
265.27/266.15 c estimatedAdderCost: 104
265.27/266.15 c Try to convert by bdds
265.27/266.16 c d: 1
265.27/266.16 c estimatedAdderCost: 105
265.27/266.16 c Try to convert by bdds
265.27/266.16 c d: 1
265.27/266.16 c estimatedAdderCost: 104
265.27/266.16 c Try to convert by bdds
265.27/266.17 c d: 1
265.27/266.17 c estimatedAdderCost: 105
265.27/266.17 c Try to convert by bdds
265.27/266.18 c d: 1
265.27/266.18 c estimatedAdderCost: 105
265.27/266.18 c Try to convert by bdds
265.27/266.18 c d: 1
265.27/266.18 c estimatedAdderCost: 104
265.27/266.18 c Try to convert by bdds
265.27/266.19 c d: 1
265.27/266.19 c estimatedAdderCost: 104
265.27/266.19 c Try to convert by bdds
265.35/266.20 c d: 1
265.35/266.20 c estimatedAdderCost: 103
265.35/266.20 c Try to convert by bdds
265.35/266.20 c d: 1
265.35/266.20 c estimatedAdderCost: 104
265.35/266.20 c Try to convert by bdds
265.35/266.21 c d: 1
265.35/266.21 c estimatedAdderCost: 102
265.35/266.21 c Try to convert by bdds
265.35/266.22 c d: 1
265.35/266.22 c estimatedAdderCost: 104
265.35/266.22 c Try to convert by bdds
265.35/266.22 c d: 1
265.35/266.22 c estimatedAdderCost: 105
265.35/266.22 c Try to convert by bdds
265.35/266.23 c d: 1
265.35/266.23 c estimatedAdderCost: 105
265.35/266.23 c Try to convert by bdds
265.35/266.24 c d: 1
265.35/266.24 c estimatedAdderCost: 104
265.35/266.24 c Try to convert by bdds
265.35/266.24 c d: 1
265.35/266.24 c estimatedAdderCost: 104
265.35/266.24 c Try to convert by bdds
265.35/266.25 c d: 1
265.35/266.25 c estimatedAdderCost: 102
265.35/266.25 c Try to convert by bdds
265.35/266.26 c d: 1
265.35/266.26 c estimatedAdderCost: 103
265.35/266.26 c Try to convert by bdds
265.35/266.26 c d: 1
265.35/266.26 c estimatedAdderCost: 103
265.35/266.26 c Try to convert by bdds
265.35/266.27 c d: 1
265.35/266.27 c estimatedAdderCost: 105
265.35/266.27 c Try to convert by bdds
265.35/266.28 c d: 1
265.35/266.28 c estimatedAdderCost: 104
265.35/266.28 c Try to convert by bdds
265.35/266.28 c d: 1
265.35/266.28 c estimatedAdderCost: 105
265.35/266.28 c Try to convert by bdds
265.35/266.29 c d: 1
265.35/266.29 c estimatedAdderCost: 104
265.35/266.29 c Try to convert by bdds
265.35/266.29 c d: 1
265.35/266.29 c estimatedAdderCost: 103
265.35/266.29 c Try to convert by bdds
265.45/266.30 c d: 1
265.45/266.30 c estimatedAdderCost: 104
265.45/266.30 c Try to convert by bdds
265.45/266.31 c d: 1
265.45/266.31 c estimatedAdderCost: 105
265.45/266.31 c Try to convert by bdds
265.45/266.31 c d: 1
265.45/266.31 c estimatedAdderCost: 104
265.45/266.31 c Try to convert by bdds
265.45/266.32 c d: 1
265.45/266.32 c estimatedAdderCost: 105
265.45/266.32 c Try to convert by bdds
265.45/266.33 c d: 1
265.45/266.33 c estimatedAdderCost: 104
265.45/266.33 c Try to convert by bdds
265.45/266.33 c d: 1
265.45/266.33 c estimatedAdderCost: 105
265.45/266.33 c Try to convert by bdds
265.45/266.34 c d: 1
265.45/266.34 c estimatedAdderCost: 104
265.45/266.34 c Try to convert by bdds
265.45/266.35 c d: 1
265.45/266.35 c estimatedAdderCost: 103
265.45/266.35 c Try to convert by bdds
265.45/266.35 c d: 1
265.45/266.35 c estimatedAdderCost: 103
265.45/266.35 c Try to convert by bdds
265.45/266.36 c d: 1
265.45/266.36 c estimatedAdderCost: 105
265.45/266.36 c Try to convert by bdds
265.45/266.37 c d: 1
265.45/266.37 c estimatedAdderCost: 104
265.45/266.37 c Try to convert by bdds
265.45/266.37 c d: 1
265.45/266.37 c estimatedAdderCost: 104
265.45/266.37 c Try to convert by bdds
265.45/266.38 c d: 1
265.45/266.38 c estimatedAdderCost: 105
265.45/266.38 c Try to convert by bdds
265.45/266.39 c d: 1
265.45/266.39 c estimatedAdderCost: 103
265.45/266.39 c Try to convert by bdds
265.45/266.39 c d: 1
265.45/266.39 c estimatedAdderCost: 103
265.45/266.39 c Try to convert by bdds
265.55/266.40 c d: 1
265.55/266.40 c estimatedAdderCost: 102
265.55/266.40 c Try to convert by bdds
265.55/266.41 c d: 1
265.55/266.41 c estimatedAdderCost: 104
265.55/266.41 c Try to convert by bdds
265.55/266.41 c d: 1
265.55/266.41 c estimatedAdderCost: 103
265.55/266.41 c Try to convert by bdds
265.55/266.42 c d: 1
265.55/266.42 c estimatedAdderCost: 104
265.55/266.42 c Try to convert by bdds
265.55/266.42 c d: 1
265.55/266.42 c estimatedAdderCost: 104
265.55/266.42 c Try to convert by bdds
265.55/266.43 c d: 1
265.55/266.43 c estimatedAdderCost: 102
265.55/266.43 c Try to convert by bdds
265.55/266.44 c d: 1
265.55/266.44 c estimatedAdderCost: 105
265.55/266.44 c Try to convert by bdds
265.55/266.44 c d: 1
265.55/266.44 c estimatedAdderCost: 104
265.55/266.44 c Try to convert by bdds
265.55/266.45 c d: 1
265.55/266.45 c estimatedAdderCost: 103
265.55/266.45 c Try to convert by bdds
265.55/266.46 c d: 1
265.55/266.46 c estimatedAdderCost: 103
265.55/266.46 c Try to convert by bdds
265.55/266.46 c d: 1
265.55/266.46 c estimatedAdderCost: 104
265.55/266.46 c Try to convert by bdds
265.55/266.47 c d: 1
265.55/266.47 c estimatedAdderCost: 105
265.55/266.47 c Try to convert by bdds
265.55/266.48 c d: 1
265.55/266.48 c estimatedAdderCost: 104
265.55/266.48 c Try to convert by bdds
265.55/266.48 c d: 1
265.55/266.48 c estimatedAdderCost: 105
265.55/266.48 c Try to convert by bdds
265.55/266.49 c d: 1
265.55/266.49 c estimatedAdderCost: 102
265.55/266.49 c Try to convert by bdds
265.65/266.50 c d: 1
265.65/266.50 c estimatedAdderCost: 104
265.65/266.50 c Try to convert by bdds
265.65/266.50 c d: 1
265.65/266.50 c estimatedAdderCost: 104
265.65/266.50 c Try to convert by bdds
265.65/266.51 c d: 1
265.65/266.51 c estimatedAdderCost: 104
265.65/266.51 c Try to convert by bdds
265.65/266.52 c d: 1
265.65/266.52 c estimatedAdderCost: 104
265.65/266.52 c Try to convert by bdds
265.65/266.52 c d: 1
265.65/266.52 c estimatedAdderCost: 103
265.65/266.52 c Try to convert by bdds
265.65/266.53 c d: 1
265.65/266.53 c estimatedAdderCost: 103
265.65/266.53 c Try to convert by bdds
265.65/266.54 c d: 1
265.65/266.54 c estimatedAdderCost: 104
265.65/266.54 c Try to convert by bdds
265.65/266.54 c d: 1
265.65/266.54 c estimatedAdderCost: 104
265.65/266.54 c Try to convert by bdds
265.65/266.55 c d: 1
265.65/266.55 c estimatedAdderCost: 102
265.65/266.55 c Try to convert by bdds
265.65/266.55 c d: 1
265.65/266.55 c estimatedAdderCost: 104
265.65/266.55 c Try to convert by bdds
265.65/266.56 c d: 1
265.65/266.56 c estimatedAdderCost: 105
265.65/266.56 c Try to convert by bdds
265.65/266.57 c d: 1
265.65/266.57 c estimatedAdderCost: 105
265.65/266.57 c Try to convert by bdds
265.65/266.57 c d: 1
265.65/266.57 c estimatedAdderCost: 104
265.65/266.57 c Try to convert by bdds
265.65/266.58 c d: 1
265.65/266.58 c estimatedAdderCost: 104
265.65/266.58 c Try to convert by bdds
265.65/266.59 c d: 1
265.65/266.59 c estimatedAdderCost: 103
265.65/266.59 c Try to convert by bdds
265.65/266.59 c d: 1
265.65/266.59 c estimatedAdderCost: 104
265.65/266.59 c Try to convert by bdds
265.75/266.60 c d: 1
265.75/266.60 c estimatedAdderCost: 102
265.75/266.60 c Try to convert by bdds
265.75/266.61 c d: 1
265.75/266.61 c estimatedAdderCost: 103
265.75/266.61 c Try to convert by bdds
265.75/266.61 c d: 1
265.75/266.61 c estimatedAdderCost: 103
265.75/266.61 c Try to convert by bdds
265.75/266.62 c d: 1
265.75/266.62 c estimatedAdderCost: 104
265.75/266.62 c Try to convert by bdds
265.75/266.63 c d: 1
265.75/266.63 c estimatedAdderCost: 105
265.75/266.63 c Try to convert by bdds
265.75/266.63 c d: 1
265.75/266.63 c estimatedAdderCost: 102
265.75/266.63 c Try to convert by bdds
265.75/266.64 c d: 1
265.75/266.64 c estimatedAdderCost: 104
265.75/266.64 c Try to convert by bdds
265.75/266.64 c d: 1
265.75/266.64 c estimatedAdderCost: 104
265.75/266.64 c Try to convert by bdds
265.75/266.65 c d: 1
265.75/266.65 c estimatedAdderCost: 103
265.75/266.65 c Try to convert by bdds
265.75/266.66 c d: 1
265.75/266.66 c estimatedAdderCost: 104
265.75/266.66 c Try to convert by bdds
265.75/266.66 c d: 1
265.75/266.66 c estimatedAdderCost: 102
265.75/266.66 c Try to convert by bdds
265.75/266.67 c d: 1
265.75/266.67 c estimatedAdderCost: 104
265.75/266.67 c Try to convert by bdds
265.75/266.68 c d: 1
265.75/266.68 c estimatedAdderCost: 105
265.75/266.68 c Try to convert by bdds
265.75/266.68 c d: 1
265.75/266.68 c estimatedAdderCost: 105
265.75/266.68 c Try to convert by bdds
265.75/266.69 c d: 1
265.75/266.69 c estimatedAdderCost: 104
265.75/266.69 c Try to convert by bdds
265.85/266.70 c d: 1
265.85/266.70 c estimatedAdderCost: 103
265.85/266.70 c Try to convert by bdds
265.85/266.70 c d: 1
265.85/266.70 c estimatedAdderCost: 104
265.85/266.70 c Try to convert by bdds
265.85/266.71 c d: 1
265.85/266.71 c estimatedAdderCost: 104
265.85/266.71 c Try to convert by bdds
265.85/266.71 c d: 1
265.85/266.71 c estimatedAdderCost: 105
265.85/266.71 c Try to convert by bdds
265.85/266.72 c d: 1
265.85/266.72 c estimatedAdderCost: 104
265.85/266.72 c Try to convert by bdds
265.85/266.73 c d: 1
265.85/266.73 c estimatedAdderCost: 105
265.85/266.73 c Try to convert by bdds
265.85/266.73 c d: 1
265.85/266.73 c estimatedAdderCost: 105
265.85/266.73 c Try to convert by bdds
265.85/266.74 c d: 1
265.85/266.74 c estimatedAdderCost: 104
265.85/266.74 c Try to convert by bdds
265.85/266.75 c d: 1
265.85/266.75 c estimatedAdderCost: 102
265.85/266.75 c Try to convert by bdds
265.85/266.75 c d: 1
265.85/266.75 c estimatedAdderCost: 104
265.85/266.75 c Try to convert by bdds
265.85/266.76 c d: 1
265.85/266.76 c estimatedAdderCost: 104
265.85/266.76 c Try to convert by bdds
265.85/266.77 c d: 1
265.85/266.77 c estimatedAdderCost: 105
265.85/266.77 c Try to convert by bdds
265.85/266.77 c d: 1
265.85/266.77 c estimatedAdderCost: 104
265.85/266.77 c Try to convert by bdds
265.85/266.78 c d: 1
265.85/266.78 c estimatedAdderCost: 104
265.85/266.78 c Try to convert by bdds
265.85/266.78 c d: 1
265.85/266.78 c estimatedAdderCost: 103
265.85/266.78 c Try to convert by bdds
265.85/266.79 c d: 1
265.85/266.79 c estimatedAdderCost: 103
265.85/266.79 c Try to convert by bdds
265.95/266.80 c d: 1
265.95/266.80 c estimatedAdderCost: 103
265.95/266.80 c Try to convert by bdds
265.95/266.80 c d: 1
265.95/266.80 c estimatedAdderCost: 103
265.95/266.80 c Try to convert by bdds
265.95/266.81 c d: 1
265.95/266.81 c estimatedAdderCost: 104
265.95/266.81 c Try to convert by bdds
265.95/266.82 c d: 1
265.95/266.82 c estimatedAdderCost: 105
265.95/266.82 c Try to convert by bdds
265.95/266.82 c d: 1
265.95/266.82 c estimatedAdderCost: 104
265.95/266.82 c Try to convert by bdds
265.95/266.83 c d: 1
265.95/266.83 c estimatedAdderCost: 105
265.95/266.83 c Try to convert by bdds
265.95/266.84 c d: 1
265.95/266.84 c estimatedAdderCost: 102
265.95/266.84 c Try to convert by bdds
265.95/266.84 c d: 1
265.95/266.84 c estimatedAdderCost: 104
265.95/266.84 c Try to convert by bdds
265.95/266.85 c d: 1
265.95/266.85 c estimatedAdderCost: 103
265.95/266.85 c Try to convert by bdds
265.95/266.86 c d: 1
265.95/266.86 c estimatedAdderCost: 104
265.95/266.86 c Try to convert by bdds
265.95/266.86 c d: 1
265.95/266.86 c estimatedAdderCost: 103
265.95/266.86 c Try to convert by bdds
265.95/266.87 c d: 1
265.95/266.87 c estimatedAdderCost: 103
265.95/266.87 c Try to convert by bdds
265.95/266.88 c d: 1
265.95/266.88 c estimatedAdderCost: 103
265.95/266.88 c Try to convert by bdds
265.95/266.88 c d: 1
265.95/266.88 c estimatedAdderCost: 103
265.95/266.88 c Try to convert by bdds
265.95/266.89 c d: 1
265.95/266.89 c estimatedAdderCost: 104
265.95/266.89 c Try to convert by bdds
265.95/266.90 c d: 1
265.95/266.90 c estimatedAdderCost: 103
265.95/266.90 c Try to convert by bdds
266.05/266.90 c d: 1
266.05/266.90 c estimatedAdderCost: 102
266.05/266.90 c Try to convert by bdds
266.05/266.91 c d: 1
266.05/266.91 c estimatedAdderCost: 104
266.05/266.91 c Try to convert by bdds
266.05/266.91 c d: 1
266.05/266.91 c estimatedAdderCost: 104
266.05/266.91 c Try to convert by bdds
266.05/266.92 c d: 1
266.05/266.92 c estimatedAdderCost: 105
266.05/266.92 c Try to convert by bdds
266.05/266.93 c d: 1
266.05/266.93 c estimatedAdderCost: 105
266.05/266.93 c Try to convert by bdds
266.05/266.93 c d: 1
266.05/266.93 c estimatedAdderCost: 104
266.05/266.93 c Try to convert by bdds
266.05/266.94 c d: 1
266.05/266.94 c estimatedAdderCost: 104
266.05/266.94 c Try to convert by bdds
266.05/266.95 c d: 1
266.05/266.95 c estimatedAdderCost: 103
266.05/266.95 c Try to convert by bdds
266.05/266.95 c d: 1
266.05/266.95 c estimatedAdderCost: 104
266.05/266.95 c Try to convert by bdds
266.05/266.96 c d: 1
266.05/266.96 c estimatedAdderCost: 105
266.05/266.96 c Try to convert by bdds
266.05/266.97 c d: 1
266.05/266.97 c estimatedAdderCost: 105
266.05/266.97 c Try to convert by bdds
266.05/266.97 c d: 1
266.05/266.97 c estimatedAdderCost: 103
266.05/266.97 c Try to convert by bdds
266.05/266.98 c d: 1
266.05/266.98 c estimatedAdderCost: 105
266.05/266.98 c Try to convert by bdds
266.05/266.99 c d: 1
266.05/266.99 c estimatedAdderCost: 104
266.05/266.99 c Try to convert by bdds
266.05/266.99 c d: 1
266.05/266.99 c estimatedAdderCost: 104
266.05/266.99 c Try to convert by bdds
266.05/267.00 c d: 1
266.05/267.00 c estimatedAdderCost: 103
266.05/267.00 c Try to convert by bdds
266.05/267.00 c d: 1
266.05/267.00 c estimatedAdderCost: 103
266.05/267.00 c Try to convert by bdds
266.16/267.01 c d: 1
266.16/267.01 c estimatedAdderCost: 106
266.16/267.01 c Try to convert by bdds
266.16/267.02 c d: 1
266.16/267.02 c estimatedAdderCost: 102
266.16/267.02 c Try to convert by bdds
266.16/267.02 c d: 1
266.16/267.02 c estimatedAdderCost: 104
266.16/267.02 c Try to convert by bdds
266.16/267.03 c d: 1
266.16/267.03 c estimatedAdderCost: 104
266.16/267.03 c Try to convert by bdds
266.16/267.04 c d: 1
266.16/267.04 c estimatedAdderCost: 104
266.16/267.04 c Try to convert by bdds
266.16/267.04 c d: 1
266.16/267.04 c estimatedAdderCost: 104
266.16/267.04 c Try to convert by bdds
266.16/267.05 c d: 1
266.16/267.05 c estimatedAdderCost: 105
266.16/267.05 c Try to convert by bdds
266.16/267.05 c d: 1
266.16/267.05 c estimatedAdderCost: 104
266.16/267.05 c Try to convert by bdds
266.16/267.06 c d: 1
266.16/267.06 c estimatedAdderCost: 105
266.16/267.06 c Try to convert by bdds
266.16/267.07 c d: 1
266.16/267.07 c estimatedAdderCost: 103
266.16/267.07 c Try to convert by bdds
266.16/267.08 c d: 1
266.16/267.08 c estimatedAdderCost: 103
266.16/267.08 c Try to convert by bdds
266.16/267.08 c d: 1
266.16/267.08 c estimatedAdderCost: 104
266.16/267.08 c Try to convert by bdds
266.16/267.09 c d: 1
266.16/267.09 c estimatedAdderCost: 104
266.16/267.09 c Try to convert by bdds
266.16/267.09 c d: 1
266.16/267.09 c estimatedAdderCost: 102
266.16/267.09 c Try to convert by bdds
266.16/267.10 c d: 1
266.16/267.10 c estimatedAdderCost: 104
266.16/267.10 c Try to convert by bdds
266.16/267.11 c d: 1
266.16/267.11 c estimatedAdderCost: 103
266.16/267.11 c Try to convert by bdds
266.26/267.11 c d: 1
266.26/267.11 c estimatedAdderCost: 105
266.26/267.11 c Try to convert by bdds
266.26/267.12 c d: 1
266.26/267.12 c estimatedAdderCost: 105
266.26/267.12 c Try to convert by bdds
266.26/267.13 c d: 1
266.26/267.13 c estimatedAdderCost: 104
266.26/267.13 c Try to convert by bdds
266.26/267.13 c d: 1
266.26/267.13 c estimatedAdderCost: 104
266.26/267.13 c Try to convert by bdds
266.26/267.14 c d: 1
266.26/267.14 c estimatedAdderCost: 103
266.26/267.14 c Try to convert by bdds
266.26/267.14 c d: 1
266.26/267.14 c estimatedAdderCost: 103
266.26/267.14 c Try to convert by bdds
266.26/267.15 c d: 1
266.26/267.15 c estimatedAdderCost: 104
266.26/267.15 c Try to convert by bdds
266.26/267.16 c d: 1
266.26/267.16 c estimatedAdderCost: 103
266.26/267.16 c Try to convert by bdds
266.26/267.16 c d: 1
266.26/267.16 c estimatedAdderCost: 104
266.26/267.16 c Try to convert by bdds
266.26/267.17 c d: 1
266.26/267.17 c estimatedAdderCost: 104
266.26/267.17 c Try to convert by bdds
266.26/267.18 c d: 1
266.26/267.18 c estimatedAdderCost: 105
266.26/267.18 c Try to convert by bdds
266.26/267.18 c d: 1
266.26/267.18 c estimatedAdderCost: 103
266.26/267.18 c Try to convert by bdds
266.26/267.19 c d: 1
266.26/267.19 c estimatedAdderCost: 103
266.26/267.19 c Try to convert by bdds
266.35/267.20 c d: 1
266.35/267.20 c estimatedAdderCost: 103
266.35/267.20 c Try to convert by bdds
266.35/267.20 c d: 1
266.35/267.20 c estimatedAdderCost: 104
266.35/267.20 c Try to convert by bdds
266.35/267.21 c d: 1
266.35/267.21 c estimatedAdderCost: 105
266.35/267.21 c Try to convert by bdds
266.35/267.22 c d: 1
266.35/267.22 c estimatedAdderCost: 104
266.35/267.22 c Try to convert by bdds
266.35/267.22 c d: 1
266.35/267.22 c estimatedAdderCost: 103
266.35/267.22 c Try to convert by bdds
266.35/267.23 c d: 1
266.35/267.23 c estimatedAdderCost: 103
266.35/267.23 c Try to convert by bdds
266.35/267.23 c d: 1
266.35/267.23 c estimatedAdderCost: 105
266.35/267.23 c Try to convert by bdds
266.35/267.24 c d: 1
266.35/267.24 c estimatedAdderCost: 104
266.35/267.24 c Try to convert by bdds
266.35/267.25 c d: 1
266.35/267.25 c estimatedAdderCost: 105
266.35/267.25 c Try to convert by bdds
266.35/267.25 c d: 1
266.35/267.25 c estimatedAdderCost: 104
266.35/267.25 c Try to convert by bdds
266.35/267.26 c d: 1
266.35/267.26 c estimatedAdderCost: 104
266.35/267.26 c Try to convert by bdds
266.35/267.27 c d: 1
266.35/267.27 c estimatedAdderCost: 105
266.35/267.27 c Try to convert by bdds
266.35/267.27 c d: 1
266.35/267.27 c estimatedAdderCost: 104
266.35/267.27 c Try to convert by bdds
266.35/267.28 c d: 1
266.35/267.28 c estimatedAdderCost: 105
266.35/267.28 c Try to convert by bdds
266.35/267.29 c d: 1
266.35/267.29 c estimatedAdderCost: 105
266.35/267.29 c Try to convert by bdds
266.35/267.29 c d: 1
266.35/267.29 c estimatedAdderCost: 104
266.35/267.29 c Try to convert by bdds
266.45/267.30 c d: 1
266.45/267.30 c estimatedAdderCost: 105
266.45/267.30 c Try to convert by bdds
266.45/267.31 c d: 1
266.45/267.31 c estimatedAdderCost: 104
266.45/267.31 c Try to convert by bdds
266.45/267.31 c d: 1
266.45/267.31 c estimatedAdderCost: 104
266.45/267.31 c Try to convert by bdds
266.45/267.32 c d: 1
266.45/267.32 c estimatedAdderCost: 103
266.45/267.32 c Try to convert by bdds
266.45/267.32 c d: 1
266.45/267.32 c estimatedAdderCost: 104
266.45/267.32 c Try to convert by bdds
266.45/267.33 c d: 1
266.45/267.33 c estimatedAdderCost: 105
266.45/267.33 c Try to convert by bdds
266.45/267.34 c d: 1
266.45/267.34 c estimatedAdderCost: 103
266.45/267.34 c Try to convert by bdds
266.45/267.34 c d: 1
266.45/267.34 c estimatedAdderCost: 103
266.45/267.34 c Try to convert by bdds
266.45/267.35 c d: 1
266.45/267.35 c estimatedAdderCost: 103
266.45/267.35 c Try to convert by bdds
266.45/267.36 c d: 1
266.45/267.36 c estimatedAdderCost: 104
266.45/267.36 c Try to convert by bdds
266.45/267.36 c d: 1
266.45/267.36 c estimatedAdderCost: 104
266.45/267.36 c Try to convert by bdds
266.45/267.37 c d: 1
266.45/267.37 c estimatedAdderCost: 103
266.45/267.37 c Try to convert by bdds
266.45/267.38 c d: 1
266.45/267.38 c estimatedAdderCost: 104
266.45/267.38 c Try to convert by bdds
266.45/267.38 c d: 1
266.45/267.38 c estimatedAdderCost: 102
266.45/267.38 c Try to convert by bdds
266.45/267.39 c d: 1
266.45/267.39 c estimatedAdderCost: 102
266.45/267.39 c Try to convert by bdds
266.55/267.40 c d: 1
266.55/267.40 c estimatedAdderCost: 104
266.55/267.40 c Try to convert by bdds
266.55/267.40 c d: 1
266.55/267.40 c estimatedAdderCost: 103
266.55/267.40 c Try to convert by bdds
266.55/267.41 c d: 1
266.55/267.41 c estimatedAdderCost: 104
266.55/267.41 c Try to convert by bdds
266.55/267.41 c d: 1
266.55/267.41 c estimatedAdderCost: 105
266.55/267.41 c Try to convert by bdds
266.55/267.42 c d: 1
266.55/267.42 c estimatedAdderCost: 104
266.55/267.42 c Try to convert by bdds
266.55/267.43 c d: 1
266.55/267.43 c estimatedAdderCost: 103
266.55/267.43 c Try to convert by bdds
266.55/267.43 c d: 1
266.55/267.43 c estimatedAdderCost: 103
266.55/267.43 c Try to convert by bdds
266.55/267.44 c d: 1
266.55/267.44 c estimatedAdderCost: 104
266.55/267.44 c Try to convert by bdds
266.55/267.45 c d: 1
266.55/267.45 c estimatedAdderCost: 105
266.55/267.45 c Try to convert by bdds
266.55/267.45 c d: 1
266.55/267.45 c estimatedAdderCost: 103
266.55/267.45 c Try to convert by bdds
266.55/267.46 c d: 1
266.55/267.46 c estimatedAdderCost: 103
266.55/267.46 c Try to convert by bdds
266.55/267.47 c d: 1
266.55/267.47 c estimatedAdderCost: 104
266.55/267.47 c Try to convert by bdds
266.55/267.47 c d: 1
266.55/267.47 c estimatedAdderCost: 105
266.55/267.47 c Try to convert by bdds
266.55/267.48 c d: 1
266.55/267.48 c estimatedAdderCost: 104
266.55/267.48 c Try to convert by bdds
266.55/267.48 c d: 1
266.55/267.48 c estimatedAdderCost: 104
266.55/267.48 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 32
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 30
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 40
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 41
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 33
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 40
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 32
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 31
266.55/267.49 c Try to convert by bdds
266.55/267.49 c d: 1
266.55/267.49 c estimatedAdderCost: 40
266.55/267.49 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 31
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 35
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 44
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 41
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 33
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 36
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 31
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 29
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 44
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 30
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 35
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 36
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 33
266.65/267.50 c Try to convert by bdds
266.65/267.50 c d: 1
266.65/267.50 c estimatedAdderCost: 40
266.65/267.50 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 35
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 33
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 33
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 42
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 40
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 44
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 36
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 42
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 43
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 49
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 40
266.65/267.51 c Try to convert by bdds
266.65/267.51 c d: 1
266.65/267.51 c estimatedAdderCost: 44
266.65/267.51 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 41
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 41
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 41
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 34
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 43
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 34
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 35
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 33
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 37
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 39
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 41
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 36
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 35
266.65/267.52 c Try to convert by bdds
266.65/267.52 c d: 1
266.65/267.52 c estimatedAdderCost: 49
266.65/267.52 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 35
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 40
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 39
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 40
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 46
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 31
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 34
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 33
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 40
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 33
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 37
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 38
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 32
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 35
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 34
266.65/267.53 c Try to convert by bdds
266.65/267.53 c d: 1
266.65/267.53 c estimatedAdderCost: 29
266.65/267.53 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 33
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 44
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 37
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 32
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 41
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 31
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 46
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 40
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 44
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 43
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 40
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 38
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 40
266.65/267.54 c Try to convert by bdds
266.65/267.54 c d: 1
266.65/267.54 c estimatedAdderCost: 46
266.65/267.54 c Try to convert by bdds
266.65/267.55 c d: 1
266.65/267.55 c estimatedAdderCost: 35
266.65/267.55 c Try to convert by bdds
266.65/267.55 c d: 1
266.65/267.55 c estimatedAdderCost: 46
266.65/267.55 c Try to convert by bdds
266.65/267.55 c d: 1
266.65/267.55 c
292.09/293.01 c pb_solver_status: sst_unknown
292.09/293.01 c total stages of optimization mode: 1
292.09/293.01 c LB updated by evalGoalLB to 0
292.09/293.01 c UB updated by evalGoalUB to 230
292.09/293.01 c minimizationMode: cmm_First_solve
292.09/293.01 c goal coeffs: 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1
292.09/293.02 c assumptions:
292.09/293.02 c invoking solver with time budget: 5.000000
349.68/350.81 c sat_solver_result: sst_unknown
349.68/350.81 c SAT solver timed out; proceeding to cooperative SCIP call
349.68/350.81 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 230
349.68/350.81 c scip solving with time budget: 5.000000
349.68/350.81 c solveScip
349.68/350.81 c initScipForCoop
349.68/350.81 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
349.68/350.83 c presolving:
349.68/350.88 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
349.78/350.95 c (0.1s) running MILP presolver
354.77/355.96 c (5.2s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
354.77/355.96 c (5.2s) probing: 1/1448 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
354.77/355.96 c (5.2s) probing aborted: solving stopped
354.77/355.96 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
354.77/355.96 c 2 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
354.77/355.96 c 0 implications, 940 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
354.77/355.96 c presolving was interrupted.
354.77/355.96 c Presolving Time: 5.13
354.77/355.96 c
354.77/355.96 c SCIP Status : solving was interrupted [time limit reached]
354.77/355.96 c Solving Time (sec) : 5.15
354.77/355.96 c Solving Nodes : 0
354.77/355.96 c Primal Bound : -1.00000000000000e+20 (0 solutions)
354.77/355.96 c SCIP status: 23 (TIMELIMIT)
354.77/355.96 c pb_solver_status: sst_unknown
354.77/355.96 c LB_goalvalue: 0
354.77/355.96 c UB_goalvalue: 230
354.77/355.96 c Both SAT and SCIP timed out; boosting budgets to sat=10.000000 scip=10.000000
354.77/355.96 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
354.77/355.96 c SCIP returned: sst_unknown
354.77/355.96 c SCIP primal LB: -oo, dual UB: +oo
354.77/355.96 c assumptions:
354.77/355.96 c invoking solver with time budget: 10.000000
365.04/366.21 c sat_solver_result: sst_unknown
365.04/366.21 c SAT solver timed out; proceeding to cooperative SCIP call
365.04/366.21 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 230
365.04/366.21 c scip solving with time budget: 10.000000
365.04/366.21 c solveScip
365.04/366.21 c initScipForCoop
365.04/366.21 c Coop Mode: Using SCIP obj units for LB/UB: -oo, +oo
365.04/366.21 c presolving:
365.04/366.27 c (round 3, exhaustive) 2 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2008 upgd conss, 0 impls, 940 clqs, 0 implints
365.13/366.36 c (round 4, exhaustive) 2 del vars, 2 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2019 upgd conss, 0 impls, 940 clqs, 0 implints
365.33/366.55 c (5.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
365.43/366.62 c (5.6s) no symmetry present (symcode time: 0.00)
365.53/366.73 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
365.53/366.73 c 2 deleted vars, 2 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
365.53/366.73 c 0 implications, 940 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
365.53/366.73 c presolved problem has 1448 variables (1448 bin, 0 int, 0 cont) and 2019 constraints
365.53/366.73 c 1079 constraints of type <knapsack>
365.53/366.73 c 940 constraints of type <setppc>
365.53/366.73 c transformed objective value is always integral (scale: 1)
365.53/366.73 c Presolving Time: 5.65
365.53/366.73 c
366.84/368.02 c in SCIP_DECL_EVENTEXEC found by SCIP
366.84/368.02 o 231
366.84/368.03 c Model check passed
366.84/368.03 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
366.84/368.03 c p 7.0s| 1 | 0 | 266 | - | vbounds| 0 |1448 |2030 |2019 | 0 | 0 | 19 | 0 | 0.000000e+00 |-2.310000e+02 | Inf | unknown
367.22/368.43 c 7.4s| 1 | 0 | 719 | - | 353M | 0 |1448 |2041 |2019 | 0 | 0 | 30 | 0 | 0.000000e+00 |-2.310000e+02 | Inf | unknown
370.02/371.24 c 10.2s| 1 | 0 | 719 | - | 378M | 0 |1448 |2042 |2219 | 200 | 1 | 31 | 0 | 0.000000e+00 |-2.310000e+02 | Inf | unknown
370.02/371.24 c (node 1) LP solver hit time limit in LP 3 -- using pseudo solution instead
370.02/371.24 c
370.02/371.24 c SCIP Status : solving was interrupted [time limit reached]
370.02/371.24 c Solving Time (sec) : 10.19
370.02/371.24 c Solving Nodes : 1
370.02/371.24 c Primal Bound : -2.31000000000000e+02 (1 solutions)
370.02/371.24 c Dual Bound : +0.00000000000000e+00
370.02/371.24 c Gap : infinite
370.02/371.25 c SCIP status: 23 (TIMELIMIT)
370.02/371.25 c pb_solver_status: sst_sat
370.02/371.25 c LB_goalvalue: 0
370.02/371.25 c UB_goalvalue: 230
370.02/371.25 c # improved by sat (lb/ub): 0, # improved by scip (lb): 1
370.02/371.25 c SCIP returned: sst_sat
370.02/371.25 c SCIP primal LB: 0, dual UB: 231
370.02/371.25 c Try to find a solution more than 76
370.12/371.30 c V: 1
370.12/371.30 c estimatedAdderCost: 158
370.12/371.30 c Try to convert by bdds
370.12/371.30 c d: 1
370.12/371.30 c mem for reusing cleared.
370.12/371.30 c Try to convert by sorters
370.12/371.30 c Sorter: base: 13
370.12/371.30 c
370.12/371.30 c assumptions:
370.12/371.30 c invoking solver with time budget: 10.000000
380.28/381.55 c sat_solver_result: sst_unknown
380.28/381.55 c SAT solver timed out; proceeding to cooperative SCIP call
380.28/381.55 c Calling solveScip for cooperative mode with LB_goalvalue: 0, UB_goalvalue: 230
380.28/381.55 c scip solving with time budget: 14.000000
380.28/381.55 c solveScip
380.28/381.55 c initScipForCoop
380.28/381.55 c Coop Mode: Using SCIP obj units for LB/UB: 0, +oo
380.28/381.55 c SCIPfreeTransform due to timeout and having shadow nodes
380.28/381.55 c forcing SCIPfreeTransform before solve
380.28/381.58 c Running SCIP presolve for solve-time propagation (rounds=3)
380.28/381.59 c 1/1 feasible solution given by solution candidate storage, new primal bound -2.310000e+02
380.28/381.59 c
380.38/381.61 c presolving:
380.48/381.72 c (0.1s) running MILP presolver
405.61/406.90 c (25.3s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
405.61/406.90 c (round 1, medium) 2 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
405.61/406.90 c (round 2, fast) 2 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
406.72/408.06 c (26.5s) probing: 206/1448 (14.2%) - 0 fixings, 0 aggregations, 62223 implications, 0 bound changes
406.72/408.06 c (26.5s) probing aborted: 50/50 successive totally useless probings
406.91/408.21 c presolving (3 rounds: 3 fast, 2 medium, 1 exhaustive):
406.91/408.21 c 2 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
406.91/408.21 c 0 implications, 63159 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
406.91/408.21 c presolved problem has 1448 variables (1448 bin, 0 int, 0 cont) and 2015 constraints
406.91/408.21 c 1069 constraints of type <knapsack>
406.91/408.21 c 934 constraints of type <setppc>
406.91/408.21 c 12 constraints of type <linear>
406.91/408.21 c transformed objective value is always integral (scale: 1)
406.91/408.21 c Presolving Time: 26.61
406.91/408.24 c 1/1 feasible solution given by solution candidate storage, new primal bound -2.310000e+02
406.91/408.24 c
406.91/408.25 c presolving:
407.01/408.30 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
407.01/408.37 c (0.1s) running MILP presolver
420.87/422.25 c (14.0s) MILP presolver (2 rounds): 0 aggregations, 0 fixings, 0 bound changes
420.87/422.25 c (14.0s) probing: 1/1448 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
420.87/422.25 c (14.0s) probing aborted: solving stopped
420.87/422.25 c presolving (2 rounds: 2 fast, 1 medium, 1 exhaustive):
420.87/422.25 c 2 deleted vars, 1 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
420.87/422.25 c 0 implications, 940 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
420.87/422.25 c presolving was interrupted.
420.87/422.25 c Presolving Time: 14.00
420.87/422.25 c
420.87/422.25 c SCIP Status : solving was interrupted [time limit reached]
420.87/422.25 c Solving Time (sec) : 14.02
420.87/422.25 c Solving Nodes : 0
420.87/422.25 c Primal Bound : -2.31000000000000e+02 (1 solutions)
420.87/422.25 c SCIP status: 23 (TIMELIMIT)
420.87/422.25 c solveScip: freeing transform (!can_skip_free_transform)
420.87/422.27 c pb_solver_status: sst_sat
420.87/422.27 c LB_goalvalue: 0
420.87/422.27 c UB_goalvalue: 230
420.87/422.27 c Both SAT and SCIP timed out; boosting budgets to sat=20.000000 scip=39.200000
420.87/422.27 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
420.87/422.27 c SCIP returned: sst_sat
420.87/422.27 c SCIP primal LB: 0, dual UB: +oo
420.87/422.27 c Try to find a solution more than 76
420.87/422.27 c assumptions:
420.87/422.27 c invoking solver with time budget: 20.000000
440.80/442.20 c Model check passed
440.80/442.20 c sat_solver_result: sst_sat
440.80/442.20 c pb_solver_status: sst_sat
440.80/442.20 c in maximizeGoal found by SAT
441.40/442.81 o 154
441.40/442.81 c addUnit: @goal_constraint0
441.40/442.81 c Found a solution: 77. Optimum bounded: [77,230].
441.40/442.81 c Try to find a solution more than 128
441.40/442.81 c V: 1
441.40/442.81 c estimatedAdderCost: 158
441.40/442.81 c Try to convert by bdds
441.40/442.81 c d: 1
441.40/442.81 c Try to convert by sorters
441.40/442.81 c Sorter: base: 13
441.40/442.81 c
441.40/442.81 c assumptions:
441.40/442.81 c invoking solver with time budget: 0.130525
450.77/452.20 c sat_solver_result: sst_unknown
450.77/452.20 c SAT solver timed out; proceeding to cooperative SCIP call
450.77/452.20 c Calling solveScip for cooperative mode with LB_goalvalue: 77, UB_goalvalue: 230
450.77/452.20 c scip solving with time budget: 39.200000
450.77/452.20 c solveScip
450.77/452.20 c initScipForCoop
450.77/452.20 c Coop Mode: Using SCIP obj units for LB/UB: 77, +oo
450.77/452.22 c 1/1 feasible solution given by solution candidate storage, new primal bound -1.540000e+02
450.77/452.22 c
450.77/452.23 c presolving:
450.77/452.28 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
450.87/452.35 c (0.1s) running MILP presolver
475.80/477.31 c (25.1s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
475.80/477.32 c (round 2, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs, 0 implints
475.80/477.38 c (round 3, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs, 0 implints
475.90/477.46 c (round 4, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs, 0 implints
477.00/478.54 c (26.3s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
477.00/478.54 c (26.3s) probing aborted: 50/50 successive totally useless probings
477.10/478.68 c (26.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
477.20/478.74 c (26.5s) no symmetry present (symcode time: 0.00)
477.30/478.85 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
477.30/478.85 c 3 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
477.30/478.85 c 0 implications, 63003 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
477.30/478.85 c presolved problem has 1447 variables (1447 bin, 0 int, 0 cont) and 2014 constraints
477.30/478.85 c 1079 constraints of type <knapsack>
477.30/478.85 c 935 constraints of type <setppc>
477.30/478.85 c transformed objective value is always integral (scale: 1)
477.30/478.85 c Presolving Time: 26.62
477.30/478.85 c transformed 1/1 original solutions to the transformed problem space
477.30/478.85 c
479.51/481.08 c in SCIP_DECL_EVENTEXEC found by SCIP
479.51/481.08 o 152
479.51/481.08 c Model check passed
479.51/481.08 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
479.51/481.08 c p28.9s| 1 | 0 | 601 | - | vbounds| 0 |1447 |2000 |2000 | 0 | 0 | 3 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
479.99/481.50 c 29.3s| 1 | 0 | 1069 | - | 369M | 0 |1447 |2009 |2000 | 0 | 0 | 14 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
489.97/491.56 c 39.4s| 1 | 0 | 1069 | - | 392M | 0 |1447 |2010 |2184 | 184 | 1 | 15 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
489.97/491.56 c (node 1) LP solver hit time limit in LP 4 -- using pseudo solution instead
489.97/491.56 c
489.97/491.56 c SCIP Status : solving was interrupted [time limit reached]
489.97/491.56 c Solving Time (sec) : 39.35
489.97/491.56 c Solving Nodes : 1
489.97/491.56 c Primal Bound : -1.52000000000000e+02 (2 solutions, 1 respecting the objective limit)
489.97/491.56 c Dual Bound : -1.00000000000000e+00
489.97/491.56 c Gap : 15100.00 %
489.97/491.56 c SCIP status: 23 (TIMELIMIT)
489.97/491.56 c SCIP primal bound improved LB: 77 -> 79
489.97/491.56 c pb_solver_status: sst_sat
489.97/491.56 c LB_goalvalue: 79
489.97/491.56 c UB_goalvalue: 230
489.97/491.56 c # improved by sat (lb/ub): 1, # improved by scip (lb): 1
489.97/491.56 c SCIP returned: sst_sat
489.97/491.56 c SCIP primal LB: 79, dual UB: 230
489.97/491.56 c Try to find a solution more than 129
489.97/491.56 c V: 1
489.97/491.56 c estimatedAdderCost: 158
489.97/491.56 c Try to convert by bdds
489.97/491.56 c d: 1
489.97/491.56 c Try to convert by sorters
489.97/491.56 c Sorter: base: 13
489.97/491.56 c
489.97/491.56 c assumptions:
489.97/491.56 c invoking solver with time budget: 28.000000
523.06/524.79 c sat_solver_result: sst_unknown
523.06/524.79 c SAT solver timed out; proceeding to cooperative SCIP call
523.06/524.79 c Calling solveScip for cooperative mode with LB_goalvalue: 79, UB_goalvalue: 230
523.06/524.79 c scip solving with time budget: 54.880000
523.06/524.79 c solveScip
523.06/524.79 c initScipForCoop
523.06/524.79 c Coop Mode: Using SCIP obj units for LB/UB: 79, +oo
523.06/524.79 c SCIPfreeTransform due to timeout and having shadow nodes
523.06/524.79 c forcing SCIPfreeTransform before solve
523.15/524.83 c Running SCIP presolve for solve-time propagation (rounds=3)
523.15/524.84 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
523.15/524.84 c
523.15/524.86 c presolving:
523.25/524.97 c (0.1s) running MILP presolver
548.48/550.21 c (25.4s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
548.48/550.21 c (round 1, medium) 2 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
548.48/550.21 c (round 2, fast) 2 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
549.58/551.39 c (26.6s) probing: 206/1448 (14.2%) - 0 fixings, 0 aggregations, 62223 implications, 0 bound changes
549.58/551.39 c (26.6s) probing aborted: 50/50 successive totally useless probings
549.78/551.54 c presolving (3 rounds: 3 fast, 2 medium, 1 exhaustive):
549.78/551.54 c 2 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
549.78/551.54 c 0 implications, 63159 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
549.78/551.54 c presolved problem has 1448 variables (1448 bin, 0 int, 0 cont) and 2015 constraints
549.78/551.54 c 1069 constraints of type <knapsack>
549.78/551.54 c 934 constraints of type <setppc>
549.78/551.54 c 12 constraints of type <linear>
549.78/551.54 c transformed objective value is always integral (scale: 1)
549.78/551.54 c Presolving Time: 26.68
549.78/551.57 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
549.78/551.57 c
549.78/551.59 c presolving:
549.88/551.64 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
549.97/551.71 c (0.1s) running MILP presolver
574.71/576.59 c (25.0s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
574.81/576.60 c (round 2, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs, 0 implints
574.81/576.66 c (round 3, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs, 0 implints
574.91/576.74 c (round 4, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs, 0 implints
576.01/577.85 c (26.3s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
576.01/577.85 c (26.3s) probing aborted: 50/50 successive totally useless probings
576.11/577.99 c (26.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
576.22/578.05 c (26.5s) no symmetry present (symcode time: 0.00)
576.32/578.16 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
576.32/578.16 c 3 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
576.32/578.16 c 0 implications, 63003 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
576.32/578.16 c presolved problem has 1447 variables (1447 bin, 0 int, 0 cont) and 2014 constraints
576.32/578.16 c 1079 constraints of type <knapsack>
576.32/578.16 c 935 constraints of type <setppc>
576.32/578.16 c transformed objective value is always integral (scale: 1)
576.32/578.16 c Presolving Time: 26.57
576.32/578.17 c transformed 2/2 original solutions to the transformed problem space
576.32/578.17 c
578.90/580.77 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
578.90/580.77 c 29.2s| 1 | 0 | 1044 | - | 384M | 0 |1447 |2012 |1998 | 0 | 0 | 18 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
601.64/603.54 c 52.0s| 1 | 0 | 1872 | - | 397M | 0 |1447 |2167 |2182 | 184 | 1 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
602.04/603.97 c 52.4s| 1 | 0 | 2449 | - | 421M | 0 |1447 |2167 |2465 | 467 | 2 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
602.34/604.28 c 52.7s| 1 | 0 | 2649 | - | 440M | 0 |1447 |2167 |2592 | 594 | 3 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
602.73/604.61 c 53.1s| 1 | 0 | 2764 | - | 464M | 0 |1447 |2167 |2680 | 682 | 4 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
603.03/604.91 c 53.4s| 1 | 0 | 2851 | - | 486M | 0 |1447 |2167 |2748 | 750 | 5 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
603.33/605.28 c 53.7s| 1 | 0 | 2967 | - | 492M | 0 |1447 |2167 |2823 | 825 | 6 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
603.73/605.61 c 54.1s| 1 | 0 | 3103 | - | 525M | 0 |1447 |2167 |2899 | 901 | 7 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
604.03/605.93 c 54.4s| 1 | 0 | 3200 | - | 532M | 0 |1447 |2168 |2963 | 965 | 8 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
604.33/606.25 c 54.7s| 1 | 0 | 3302 | - | 567M | 0 |1447 |2168 |3020 |1022 | 9 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
604.53/606.44 c 54.9s| 1 | 0 | 3302 | - | 570M | 0 |1447 |2168 |3051 |1053 | 10 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
604.53/606.44 c (node 1) LP solver hit time limit in LP 13 -- using pseudo solution instead
604.53/606.44 c
604.53/606.44 c SCIP Status : solving was interrupted [time limit reached]
604.53/606.44 c Solving Time (sec) : 54.88
604.53/606.44 c Solving Nodes : 1
604.53/606.44 c Primal Bound : -1.52000000000000e+02 (2 solutions)
604.53/606.44 c Dual Bound : -1.00000000000000e+00
604.53/606.44 c Gap : 15100.00 %
604.53/606.45 c SCIP status: 23 (TIMELIMIT)
604.53/606.45 c solveScip: freeing transform (!can_skip_free_transform)
604.62/606.55 c pb_solver_status: sst_sat
604.62/606.55 c LB_goalvalue: 79
604.62/606.55 c UB_goalvalue: 230
604.62/606.55 c Both SAT and SCIP timed out; boosting budgets to sat=56.000000 scip=153.664000
604.62/606.55 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
604.62/606.55 c SCIP returned: sst_sat
604.62/606.55 c SCIP primal LB: 79, dual UB: 230
604.62/606.55 c Try to find a solution more than 129
604.62/606.55 c assumptions:
604.62/606.55 c invoking solver with time budget: 56.000000
663.04/665.13 c sat_solver_result: sst_unknown
663.04/665.13 c SAT solver timed out; proceeding to cooperative SCIP call
663.04/665.13 c Calling solveScip for cooperative mode with LB_goalvalue: 79, UB_goalvalue: 230
663.04/665.13 c scip solving with time budget: 153.664000
663.04/665.13 c solveScip
663.04/665.13 c initScipForCoop
663.04/665.13 c Coop Mode: Using SCIP obj units for LB/UB: 79, +oo
663.04/665.14 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
663.04/665.14 c
663.04/665.16 c presolving:
663.13/665.21 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
663.13/665.28 c (0.1s) running MILP presolver
687.97/690.15 c (25.0s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
687.97/690.16 c (round 2, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs, 0 implints
688.06/690.22 c (round 3, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs, 0 implints
688.16/690.30 c (round 4, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs, 0 implints
689.16/691.39 c (26.3s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
689.16/691.39 c (26.3s) probing aborted: 50/50 successive totally useless probings
689.36/691.53 c (26.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
689.36/691.59 c (26.5s) no symmetry present (symcode time: 0.00)
689.56/691.70 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
689.56/691.70 c 3 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
689.56/691.70 c 0 implications, 63003 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
689.56/691.70 c presolved problem has 1447 variables (1447 bin, 0 int, 0 cont) and 2014 constraints
689.56/691.70 c 1079 constraints of type <knapsack>
689.56/691.70 c 935 constraints of type <setppc>
689.56/691.70 c transformed objective value is always integral (scale: 1)
689.56/691.70 c Presolving Time: 26.54
689.56/691.71 c transformed 2/2 original solutions to the transformed problem space
689.56/691.71 c
692.15/694.31 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
692.15/694.31 c 29.2s| 1 | 0 | 1044 | - | 521M | 0 |1447 |2012 |1998 | 0 | 0 | 18 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
714.90/717.11 c 52.0s| 1 | 0 | 1872 | - | 532M | 0 |1447 |2167 |2182 | 184 | 1 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
715.29/717.54 c 52.4s| 1 | 0 | 2449 | - | 537M | 0 |1447 |2167 |2465 | 467 | 2 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
715.59/717.85 c 52.7s| 1 | 0 | 2649 | - | 545M | 0 |1447 |2167 |2592 | 594 | 3 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
715.90/718.18 c 53.1s| 1 | 0 | 2764 | - | 551M | 0 |1447 |2167 |2680 | 682 | 4 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
716.19/718.49 c 53.4s| 1 | 0 | 2851 | - | 551M | 0 |1447 |2167 |2748 | 750 | 5 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
716.58/718.85 c 53.7s| 1 | 0 | 2967 | - | 555M | 0 |1447 |2167 |2823 | 825 | 6 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
716.90/719.19 c 54.1s| 1 | 0 | 3103 | - | 563M | 0 |1447 |2167 |2899 | 901 | 7 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
717.28/719.51 c 54.4s| 1 | 0 | 3200 | - | 563M | 0 |1447 |2168 |2963 | 965 | 8 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
717.58/719.82 c 54.7s| 1 | 0 | 3302 | - | 572M | 0 |1447 |2168 |3020 |1022 | 9 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
717.89/720.18 c 55.1s| 1 | 0 | 3378 | - | 576M | 0 |1447 |2168 |3064 |1066 | 10 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
718.18/720.41 c 55.3s| 1 | 0 | 3461 | - | 578M | 0 |1447 |2168 |3110 |1112 | 11 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
718.38/720.62 c 55.5s| 1 | 0 | 3557 | - | 580M | 0 |1447 |2169 |3165 |1167 | 12 | 21 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
726.55/728.85 c 63.7s| 1 | 2 | 25751 | - | 580M | 0 |1447 |2200 |3165 |1167 | 12 | 52 | 11 |-1.000000e+00 |-1.520000e+02 | Large | unknown
816.21/818.79 c
816.21/818.79 c SCIP Status : solving was interrupted [time limit reached]
816.21/818.79 c Solving Time (sec) : 153.66
816.21/818.79 c Solving Nodes : 23
816.21/818.79 c Primal Bound : -1.52000000000000e+02 (2 solutions, 1 respecting the objective limit)
816.21/818.79 c Dual Bound : -1.00000000000000e+00
816.21/818.79 c Gap : 15100.00 %
816.31/818.80 c SCIP status: 23 (TIMELIMIT)
816.31/818.80 c pb_solver_status: sst_sat
816.31/818.80 c LB_goalvalue: 79
816.31/818.80 c UB_goalvalue: 230
816.31/818.80 c Both SAT and SCIP timed out; boosting budgets to sat=112.000000 scip=430.259200
816.31/818.80 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
816.31/818.80 c SCIP returned: sst_sat
816.31/818.80 c SCIP primal LB: 79, dual UB: 230
816.31/818.80 c Try to find a solution more than 129
816.31/818.80 c assumptions:
816.31/818.80 c invoking solver with time budget: 112.000000
929.43/932.36 c sat_solver_result: sst_unknown
929.43/932.36 c SAT solver timed out; proceeding to cooperative SCIP call
929.43/932.36 c Calling solveScip for cooperative mode with LB_goalvalue: 79, UB_goalvalue: 230
929.43/932.36 c scip solving with time budget: 430.259200
929.43/932.36 c solveScip
929.43/932.36 c initScipForCoop
929.43/932.36 c Coop Mode: Using SCIP obj units for LB/UB: 79, +oo
929.43/932.36 c SCIPfreeTransform due to timeout and having shadow nodes
929.43/932.36 c forcing SCIPfreeTransform before solve
929.53/932.46 c Running SCIP presolve for solve-time propagation (rounds=3)
929.53/932.48 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
929.53/932.48 c
929.53/932.49 c presolving:
929.72/932.61 c (0.1s) running MILP presolver
954.86/957.80 c (25.3s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
954.86/957.80 c (round 1, medium) 2 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
954.86/957.80 c (round 2, fast) 2 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
955.96/958.99 c (26.5s) probing: 206/1448 (14.2%) - 0 fixings, 0 aggregations, 62223 implications, 0 bound changes
955.96/958.99 c (26.5s) probing aborted: 50/50 successive totally useless probings
956.17/959.14 c presolving (3 rounds: 3 fast, 2 medium, 1 exhaustive):
956.17/959.14 c 2 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
956.17/959.14 c 0 implications, 63159 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
956.17/959.14 c presolved problem has 1448 variables (1448 bin, 0 int, 0 cont) and 2015 constraints
956.17/959.14 c 1069 constraints of type <knapsack>
956.17/959.14 c 934 constraints of type <setppc>
956.17/959.14 c 12 constraints of type <linear>
956.17/959.14 c transformed objective value is always integral (scale: 1)
956.17/959.14 c Presolving Time: 26.65
956.17/959.18 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
956.17/959.18 c
956.17/959.19 c presolving:
956.26/959.24 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
956.36/959.31 c (0.1s) running MILP presolver
981.19/984.21 c (25.0s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
981.19/984.22 c (round 2, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs, 0 implints
981.19/984.28 c (round 3, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs, 0 implints
981.29/984.36 c (round 4, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs, 0 implints
982.39/985.46 c (26.3s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
982.39/985.46 c (26.3s) probing aborted: 50/50 successive totally useless probings
982.59/985.60 c (26.4s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
982.59/985.66 c (26.5s) no symmetry present (symcode time: 0.00)
982.69/985.77 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
982.69/985.77 c 3 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
982.69/985.77 c 0 implications, 63003 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
982.69/985.77 c presolved problem has 1447 variables (1447 bin, 0 int, 0 cont) and 2014 constraints
982.69/985.77 c 1079 constraints of type <knapsack>
982.69/985.77 c 935 constraints of type <setppc>
982.69/985.77 c transformed objective value is always integral (scale: 1)
982.69/985.77 c Presolving Time: 26.58
982.69/985.78 c transformed 2/2 original solutions to the transformed problem space
982.69/985.78 c
985.38/988.41 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
985.38/988.41 c 29.2s| 1 | 0 | 1044 | - | 522M | 0 |1447 |2012 |1998 | 0 | 0 | 18 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1008.04/1011.19 c 52.0s| 1 | 0 | 1872 | - | 532M | 0 |1447 |2167 |2182 | 184 | 1 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1008.52/1011.61 c 52.5s| 1 | 0 | 2449 | - | 541M | 0 |1447 |2167 |2465 | 467 | 2 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1008.82/1011.93 c 52.8s| 1 | 0 | 2649 | - | 549M | 0 |1447 |2167 |2592 | 594 | 3 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1009.12/1012.27 c 53.1s| 1 | 0 | 2764 | - | 550M | 0 |1447 |2167 |2680 | 682 | 4 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1009.42/1012.57 c 53.4s| 1 | 0 | 2851 | - | 564M | 0 |1447 |2167 |2748 | 750 | 5 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1009.82/1012.94 c 53.8s| 1 | 0 | 2967 | - | 569M | 0 |1447 |2167 |2823 | 825 | 6 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1010.11/1013.27 c 54.1s| 1 | 0 | 3103 | - | 573M | 0 |1447 |2167 |2899 | 901 | 7 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1010.41/1013.59 c 54.4s| 1 | 0 | 3200 | - | 573M | 0 |1447 |2168 |2963 | 965 | 8 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1010.81/1013.91 c 54.8s| 1 | 0 | 3302 | - | 577M | 0 |1447 |2168 |3020 |1022 | 9 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1011.11/1014.27 c 55.1s| 1 | 0 | 3378 | - | 579M | 0 |1447 |2168 |3064 |1066 | 10 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1011.41/1014.50 c 55.3s| 1 | 0 | 3461 | - | 580M | 0 |1447 |2168 |3110 |1112 | 11 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1011.61/1014.71 c 55.5s| 1 | 0 | 3557 | - | 580M | 0 |1447 |2169 |3165 |1167 | 12 | 21 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1019.79/1022.93 c 63.8s| 1 | 2 | 25751 | - | 580M | 0 |1447 |2200 |3165 |1167 | 12 | 52 | 11 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1324.34/1328.32 c 369s| 100 | 101 |367004 |3677.0 | 581M | 15 |1447 |2218 |2177 |2909 | 1 | 71 | 11 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1385.26/1389.42 c
1385.26/1389.42 c SCIP Status : solving was interrupted [time limit reached]
1385.26/1389.42 c Solving Time (sec) : 430.26
1385.26/1389.42 c Solving Nodes : 139
1385.26/1389.42 c Primal Bound : -1.52000000000000e+02 (2 solutions)
1385.26/1389.42 c Dual Bound : -1.00000000000000e+00
1385.26/1389.42 c Gap : 15100.00 %
1385.26/1389.42 c SCIP status: 23 (TIMELIMIT)
1385.26/1389.42 c solveScip: freeing transform (!can_skip_free_transform)
1385.36/1389.54 c pb_solver_status: sst_sat
1385.36/1389.54 c LB_goalvalue: 79
1385.36/1389.54 c UB_goalvalue: 230
1385.36/1389.54 c Both SAT and SCIP timed out; boosting budgets to sat=224.000000 scip=1204.725760
1385.36/1389.54 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
1385.36/1389.54 c SCIP returned: sst_sat
1385.36/1389.54 c SCIP primal LB: 79, dual UB: 230
1385.36/1389.54 c Try to find a solution more than 129
1385.36/1389.54 c assumptions:
1385.36/1389.54 c invoking solver with time budget: 224.000000
1614.56/1619.53 c sat_solver_result: sst_unknown
1614.56/1619.53 c SAT solver timed out; proceeding to cooperative SCIP call
1614.56/1619.53 c Calling solveScip for cooperative mode with LB_goalvalue: 79, UB_goalvalue: 230
1614.56/1619.53 c scip solving with time budget: 1204.725760
1614.56/1619.53 c solveScip
1614.56/1619.53 c initScipForCoop
1614.56/1619.53 c Coop Mode: Using SCIP obj units for LB/UB: 79, +oo
1614.56/1619.55 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
1614.56/1619.55 c
1614.56/1619.56 c presolving:
1614.66/1619.61 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
1614.66/1619.68 c (0.1s) running MILP presolver
1639.60/1644.68 c (25.1s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
1639.60/1644.69 c (round 2, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs, 0 implints
1639.70/1644.75 c (round 3, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs, 0 implints
1639.80/1644.83 c (round 4, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs, 0 implints
1640.90/1645.93 c (26.4s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
1640.90/1645.93 c (26.4s) probing aborted: 50/50 successive totally useless probings
1641.01/1646.07 c (26.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
1641.11/1646.13 c (26.6s) no symmetry present (symcode time: 0.00)
1641.19/1646.25 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
1641.19/1646.25 c 3 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1641.19/1646.25 c 0 implications, 63003 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
1641.19/1646.25 c presolved problem has 1447 variables (1447 bin, 0 int, 0 cont) and 2014 constraints
1641.19/1646.25 c 1079 constraints of type <knapsack>
1641.19/1646.25 c 935 constraints of type <setppc>
1641.19/1646.25 c transformed objective value is always integral (scale: 1)
1641.19/1646.25 c Presolving Time: 26.69
1641.19/1646.26 c transformed 2/2 original solutions to the transformed problem space
1641.19/1646.26 c
1643.79/1648.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
1643.79/1648.85 c 29.3s| 1 | 0 | 1044 | - | 516M | 0 |1447 |2012 |1998 | 0 | 0 | 18 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1666.52/1671.64 c 52.1s| 1 | 0 | 1872 | - | 526M | 0 |1447 |2167 |2182 | 184 | 1 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1666.93/1672.07 c 52.5s| 1 | 0 | 2449 | - | 534M | 0 |1447 |2167 |2465 | 467 | 2 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1667.22/1672.39 c 52.9s| 1 | 0 | 2649 | - | 541M | 0 |1447 |2167 |2592 | 594 | 3 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1667.62/1672.72 c 53.2s| 1 | 0 | 2764 | - | 542M | 0 |1447 |2167 |2680 | 682 | 4 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1667.93/1673.03 c 53.5s| 1 | 0 | 2851 | - | 552M | 0 |1447 |2167 |2748 | 750 | 5 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1668.22/1673.39 c 53.9s| 1 | 0 | 2967 | - | 557M | 0 |1447 |2167 |2823 | 825 | 6 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1668.62/1673.74 c 54.2s| 1 | 0 | 3103 | - | 572M | 0 |1447 |2167 |2899 | 901 | 7 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1668.93/1674.06 c 54.5s| 1 | 0 | 3200 | - | 571M | 0 |1447 |2168 |2963 | 965 | 8 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1669.21/1674.37 c 54.8s| 1 | 0 | 3302 | - | 576M | 0 |1447 |2168 |3020 |1022 | 9 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1669.61/1674.73 c 55.2s| 1 | 0 | 3378 | - | 576M | 0 |1447 |2168 |3064 |1066 | 10 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1669.81/1674.96 c 55.4s| 1 | 0 | 3461 | - | 577M | 0 |1447 |2168 |3110 |1112 | 11 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1670.02/1675.17 c 55.6s| 1 | 0 | 3557 | - | 577M | 0 |1447 |2169 |3165 |1167 | 12 | 21 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1678.18/1683.39 c 63.9s| 1 | 2 | 25751 | - | 577M | 0 |1447 |2200 |3165 |1167 | 12 | 52 | 11 |-1.000000e+00 |-1.520000e+02 | Large | unknown
1983.65/1989.65 c 370s| 100 | 101 |367004 |3677.0 | 578M | 15 |1447 |2218 |2177 |2909 | 1 | 71 | 11 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2142.18/2148.60 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
2142.18/2148.60 c 529s| 200 | 189 |701961 |3512.5 | 610M | 29 |1447 |2277 |2205 |5038 | 1 | 133 | 377 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2239.61/2246.32 c 627s| 300 | 285 |731939 |2438.0 | 610M | 29 |1447 |2295 |2185 |5927 | 1 | 155 | 463 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2363.98/2371.03 c 751s| 400 | 371 |825268 |2060.9 | 611M | 39 |1447 |2313 |2236 |6843 | 1 | 177 | 621 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2462.50/2469.86 c 850s| 500 | 461 |855501 |1708.5 | 614M | 41 |1447 |2327 |2244 |7896 | 1 | 193 | 672 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2541.98/2549.50 c 930s| 600 | 549 |877071 |1459.2 | 616M | 41 |1447 |2332 |2290 |9315 | 1 | 199 | 831 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2609.89/2617.67 c 998s| 700 | 647 |937994 |1337.6 | 617M | 41 |1447 |2363 |2146 | 10k| 1 | 233 | 986 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2785.22/2793.40 c 1174s| 800 | 743 | 1472k|1839.2 | 617M | 41 |1447 |2367 |2234 | 11k| 1 | 239 |1014 |-1.000000e+00 |-1.520000e+02 | Large | unknown
2815.94/2824.26 c
2815.94/2824.26 c SCIP Status : solving was interrupted [time limit reached]
2815.94/2824.26 c Solving Time (sec) : 1204.73
2815.94/2824.26 c Solving Nodes : 824
2815.94/2824.26 c Primal Bound : -1.52000000000000e+02 (2 solutions, 1 respecting the objective limit)
2815.94/2824.26 c Dual Bound : -1.00000000000000e+00
2815.94/2824.26 c Gap : 15100.00 %
2815.94/2824.26 c SCIP status: 23 (TIMELIMIT)
2815.94/2824.26 c pb_solver_status: sst_sat
2815.94/2824.26 c LB_goalvalue: 79
2815.94/2824.26 c UB_goalvalue: 230
2815.94/2824.26 c Both SAT and SCIP timed out; boosting budgets to sat=448.000000 scip=1800.000000
2815.94/2824.26 c # improved by sat (lb/ub): 0, # improved by scip (lb): 0
2815.94/2824.26 c SCIP returned: sst_sat
2815.94/2824.26 c SCIP primal LB: 79, dual UB: 230
2815.94/2824.26 c Try to find a solution more than 129
2815.94/2824.26 c assumptions:
2815.94/2824.26 c invoking solver with time budget: 448.000000
3311.32/3320.80 c sat_solver_result: sst_unknown
3311.32/3320.80 c c SAT fixed 1 new variables
3311.32/3320.80 c SAT solver timed out; proceeding to cooperative SCIP call
3311.32/3320.80 c Calling solveScip for cooperative mode with LB_goalvalue: 79, UB_goalvalue: 230
3311.32/3320.80 c scip solving with time budget: 1800.000000
3311.32/3320.80 c solveScip
3311.32/3320.80 c initScipForCoop
3311.32/3320.80 c Coop Mode: Using SCIP obj units for LB/UB: 79, +oo
3311.32/3320.80 c SCIPfreeTransform due to timeout and having shadow nodes
3311.32/3320.80 c forcing SCIPfreeTransform before solve
3311.32/3320.85 c Running SCIP presolve for solve-time propagation (rounds=3)
3311.32/3320.87 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
3311.32/3320.87 c
3311.32/3320.88 c presolving:
3311.42/3321.00 c (0.1s) running MILP presolver
3336.67/3346.23 c (25.4s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
3336.67/3346.23 c (round 1, medium) 2 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
3336.67/3346.23 c (round 2, fast) 2 del vars, 5 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 936 clqs, 0 implints
3337.77/3347.39 c (26.5s) probing: 206/1448 (14.2%) - 0 fixings, 0 aggregations, 62223 implications, 0 bound changes
3337.77/3347.39 c (26.5s) probing aborted: 50/50 successive totally useless probings
3337.96/3347.54 c presolving (3 rounds: 3 fast, 2 medium, 1 exhaustive):
3337.96/3347.54 c 2 deleted vars, 6 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3337.96/3347.54 c 0 implications, 63159 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
3337.96/3347.54 c presolved problem has 1448 variables (1448 bin, 0 int, 0 cont) and 2015 constraints
3337.96/3347.54 c 1069 constraints of type <knapsack>
3337.96/3347.54 c 934 constraints of type <setppc>
3337.96/3347.54 c 12 constraints of type <linear>
3337.96/3347.54 c transformed objective value is always integral (scale: 1)
3337.96/3347.54 c Presolving Time: 26.66
3337.96/3347.57 c 2/2 feasible solutions given by solution candidate storage, new primal bound -1.520000e+02
3337.96/3347.57 c
3337.96/3347.59 c presolving:
3338.06/3347.64 c (round 1, fast) 2 del vars, 1 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 940 clqs, 0 implints
3338.16/3347.71 c (0.2s) running MILP presolver
3363.01/3372.66 c (25.1s) MILP presolver (3 rounds): 0 aggregations, 1 fixings, 0 bound changes
3363.01/3372.67 c (round 2, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 0 impls, 935 clqs, 0 implints
3363.11/3372.73 c (round 3, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2004 upgd conss, 0 impls, 935 clqs, 0 implints
3363.21/3372.82 c (round 4, exhaustive) 3 del vars, 7 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 2014 upgd conss, 0 impls, 935 clqs, 0 implints
3364.21/3373.89 c (26.3s) probing: 205/1447 (14.2%) - 0 fixings, 0 aggregations, 62068 implications, 0 bound changes
3364.21/3373.89 c (26.3s) probing aborted: 50/50 successive totally useless probings
3364.42/3374.04 c (26.5s) symmetry computation started: requiring (bin +, int +, cont +), (fixed: bin -, int -, cont -)
3364.42/3374.10 c (26.5s) no symmetry present (symcode time: 0.00)
3364.62/3374.21 c presolving (5 rounds: 5 fast, 4 medium, 4 exhaustive):
3364.62/3374.21 c 3 deleted vars, 7 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3364.62/3374.21 c 0 implications, 63003 cliques, 0 implied integral variables (0 bin, 0 int, 0 cont)
3364.62/3374.21 c presolved problem has 1447 variables (1447 bin, 0 int, 0 cont) and 2014 constraints
3364.62/3374.21 c 1079 constraints of type <knapsack>
3364.62/3374.21 c 935 constraints of type <setppc>
3364.62/3374.21 c transformed objective value is always integral (scale: 1)
3364.62/3374.21 c Presolving Time: 26.63
3364.62/3374.22 c transformed 2/2 original solutions to the transformed problem space
3364.62/3374.22 c
3367.21/3376.85 c time | node | left |LP iter|LP it/n|mem/heur|mdpt |vars |cons |rows |cuts |sepa|confs|strbr| dualbound | primalbound | gap | compl.
3367.21/3376.85 c 29.3s| 1 | 0 | 1044 | - | 553M | 0 |1447 |2012 |1998 | 0 | 0 | 18 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3389.97/3399.65 c 52.1s| 1 | 0 | 1872 | - | 562M | 0 |1447 |2167 |2182 | 184 | 1 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3390.38/3400.08 c 52.5s| 1 | 0 | 2449 | - | 565M | 0 |1447 |2167 |2465 | 467 | 2 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3390.76/3400.40 c 52.8s| 1 | 0 | 2649 | - | 565M | 0 |1447 |2167 |2592 | 594 | 3 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3391.06/3400.74 c 53.2s| 1 | 0 | 2764 | - | 570M | 0 |1447 |2167 |2680 | 682 | 4 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3391.37/3401.05 c 53.5s| 1 | 0 | 2851 | - | 579M | 0 |1447 |2167 |2748 | 750 | 5 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3391.76/3401.42 c 53.9s| 1 | 0 | 2967 | - | 584M | 0 |1447 |2167 |2823 | 825 | 6 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3392.06/3401.76 c 54.2s| 1 | 0 | 3103 | - | 584M | 0 |1447 |2167 |2899 | 901 | 7 | 19 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3392.37/3402.08 c 54.5s| 1 | 0 | 3200 | - | 585M | 0 |1447 |2168 |2963 | 965 | 8 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3392.76/3402.40 c 54.8s| 1 | 0 | 3302 | - | 608M | 0 |1447 |2168 |3020 |1022 | 9 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3393.06/3402.77 c 55.2s| 1 | 0 | 3378 | - | 609M | 0 |1447 |2168 |3064 |1066 | 10 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3393.26/3402.99 c 55.4s| 1 | 0 | 3461 | - | 610M | 0 |1447 |2168 |3110 |1112 | 11 | 20 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3393.56/3403.20 c 55.6s| 1 | 0 | 3557 | - | 610M | 0 |1447 |2169 |3165 |1167 | 12 | 21 | 0 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3401.83/3411.54 c 64.0s| 1 | 2 | 25751 | - | 610M | 0 |1447 |2200 |3165 |1167 | 12 | 52 | 11 |-1.000000e+00 |-1.520000e+02 | Large | unknown
3600.04/3610.11
3600.04/3610.11 *** TERMINATED *** by signal
3600.04/3610.11 c
3600.04/3610.11 s SATISFIABLE
3600.04/3610.11 v x1294 x1295 x1296 x1297 x1298 x1299 x1300 x1301 x1302 x1303 x1304 x1305 x1306 x1307 x1308 x1309 x1310 x1311 x1312 x1313 x1314 x1315 x1316 x1317 x1318 x1319 x1320 x1321 x1322 x1323 x1324 x1325 x1326 x1327 x1328 x1329 x1330 x1331 x1332 x1333 x1334 x1335 x1336 x1337 x1338 x1339 x1340 x1341 x1342 x1343 x1344 x1345 x1346 x1347 x1348 x1349 x1350 x1351 x1352 x1353 x1354 x1355 x1356 x1357 x1358 x1359 x1360 x1361 x1362 x1363 x1364 x1365 x1366 x1367 x1368 x1369 x1370 x1371 x1372 x1373 x1374 x1375 x1376 x1377 x1378 x1379 x1380 x1381 x1382 x1383 x1384 x1385 x1386 x1387 x1388 x1389 x1390 x1391 x1392 x1393 x1394 x1395 x1396 x1397 x1398 x1399 x1400 x1401 x1402 x1403 x1404 x1405 x1406 x1407 x1408 x1409 x1410 x1411 x1412 x1413 x1414 x1415 x1416 x1417 x1418 x1419 x1420 x1421 x1422 x1423 x1424 x1425 x1426 x1427 x1428 x1429 x1430 x1431 x1432 x1433 x1434 x1435 x1436 x1437 x1438 x1439 x1440 x1441 x1442 x1443 -x1444 -x1445 -x1446 -x1447 -x1448 -x1449 -x1450 -x795 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 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 -x92 -x93 -x94 x95 x96 x97 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 x203 x204 x205 x206 x207 x208 x209 x210 x211 x212 x213 x214 -x215 -x216 -x217 x218 -x219 x220 -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 x398 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 x442 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 x643 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 x690 -x691 -x692 x693 x694 x695 -x696 -x697 -x698 x699 x700 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 x752 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 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 x1290 x1291 -x1292 x1293 -x785 x786 -x787 -x788 -x789 -x790 -x791 -x792 -x793 -x794
3600.04/3610.11 c Model check passed
3600.04/3610.11 c Model check has passed with goal value: 152
3600.04/3610.11 c _____________________________________________________________________________
3600.04/3610.11 c std/band forms : 1086,0
3600.04/3610.11 c 2cl/3cl ITE-codings : 64227129,0
3600.04/3610.11 c BDD/srt/adr Max costs : 32312272,5145,0
3600.04/3610.11 c BDDraw/bin/mul/srt/adr: 1082,0,0,4,0
3600.04/3610.11 c BDD nodes : 64646708
3600.04/3610.11 c Es1/CC detections : 0,0
3600.04/3610.11 c CC sort : 1
3600.04/3610.11 c SAT/UNSAT calls : 1,0
3600.04/3610.11 c regenrated variables : 0
3600.04/3610.11 c eliminated fixed lits : 3
3600.04/3610.11 c goal lit flips : 0
3600.04/3610.11 c goal stages : 0
3600.04/3610.11 c goal shrink : 0
3600.04/3610.11 c goal coeff separations: 0
3600.04/3610.11 c restarts : 202
3600.04/3610.11 c conflicts : 6578 (2 /sec)
3600.04/3610.11 c decisions : 35425 (10 /sec)
3600.04/3610.11 c propagations : 1559148900 (433091 /sec)
3600.04/3610.11 c inspects : 0 (0 /sec)
3600.04/3610.11 c CPU time (solving tm) : 3600 s (1036 s, SAT 19.87 s, UNSAT 0 s)
3600.04/3610.11 c SAT solver time : 1036 s
3600.04/3610.11 c SAT solver SAT time : 19.87 s
3600.04/3610.11 c SAT solver UNSAT time : 0 s
3600.04/3610.11 c SAT solver TO time : 1017 s
3600.04/3610.11 c Time for SCIP : 1912 s
3600.04/3610.11 c Coop SCIP LB improvements : 1
3600.04/3610.11 c Coop SCIP UB improvements : 0
3600.04/3610.11 c SCIP globally fixed variables : 1
3600.04/3610.11 c SAT globally fixed variables : 1
3600.04/3610.11 c SCIP freeTransform calls : 13
3600.04/3610.11 c Time for Opt-base : 0.001364 s
3600.04/3610.11 c Steps for Opt-base : 6864
3600.04/3610.11 c Time for BDD coding : 204.8 s
3600.04/3610.11 c Time for srt coding : 0.001757 s
3600.04/3610.11 c Inner solver invocations : 0
3600.04/3610.11 c Inner solving count : 0
3600.04/3610.11 c _____________________________________________________________________________