this repo has no description
dekker.one
1% init_area = 10111;
2% Read 61334 lines of neighbourhoods!
3s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 35, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
4objective = 1011;
5% time elapsed: 0.30 s
6----------
7s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 36, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
8objective = 1007;
9% time elapsed: 0.30 s
10----------
11s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 37, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
12objective = 1003;
13% time elapsed: 0.30 s
14----------
15s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 38, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
16objective = 999;
17% time elapsed: 0.30 s
18----------
19s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 38, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
20objective = 994;
21% time elapsed: 0.30 s
22----------
23s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 40, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
24objective = 991;
25% time elapsed: 0.31 s
26----------
27s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
28objective = 987;
29% time elapsed: 0.31 s
30----------
31s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
32objective = 982;
33% time elapsed: 0.31 s
34----------
35s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 57, 69, 41, 72];
36objective = 977;
37% time elapsed: 0.31 s
38----------
39s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 42, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
40objective = 974;
41% time elapsed: 0.31 s
42----------
43s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 45, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
44objective = 971;
45% time elapsed: 0.31 s
46----------
47s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
48objective = 967;
49% time elapsed: 0.31 s
50----------
51s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 73];
52objective = 964;
53% time elapsed: 0.31 s
54----------
55s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 45, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
56objective = 962;
57% time elapsed: 0.31 s
58----------
59s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 42, 53, 1, 63, 55, 69, 41, 72];
60objective = 961;
61% time elapsed: 0.32 s
62----------
63s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
64objective = 958;
65% time elapsed: 0.32 s
66----------
67s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
68objective = 953;
69% time elapsed: 0.32 s
70----------
71s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 45, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
72objective = 952;
73% time elapsed: 0.32 s
74----------
75s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
76objective = 951;
77% time elapsed: 0.32 s
78----------
79s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 72];
80objective = 946;
81% time elapsed: 0.32 s
82----------
83s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 56, 69, 41, 73];
84objective = 943;
85% time elapsed: 0.32 s
86----------
87s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
88objective = 942;
89% time elapsed: 0.32 s
90----------
91s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 73];
92objective = 939;
93% time elapsed: 0.32 s
94----------
95s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
96objective = 937;
97% time elapsed: 0.33 s
98----------
99s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
100objective = 932;
101% time elapsed: 0.33 s
102----------
103s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 45, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 72];
104objective = 931;
105% time elapsed: 0.33 s
106----------
107s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 41, 57, 46, 53, 1, 63, 55, 69, 41, 72];
108objective = 930;
109% time elapsed: 0.33 s
110----------
111s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
112objective = 929;
113% time elapsed: 0.33 s
114----------
115s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 36, 57, 43, 53, 1, 63, 55, 69, 41, 72];
116objective = 926;
117% time elapsed: 0.34 s
118----------
119s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 72];
120objective = 923;
121% time elapsed: 0.34 s
122----------
123s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 73];
124objective = 920;
125% time elapsed: 0.34 s
126----------
127s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
128objective = 917;
129% time elapsed: 0.34 s
130----------
131s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
132objective = 912;
133% time elapsed: 0.34 s
134----------
135s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
136objective = 909;
137% time elapsed: 0.34 s
138----------
139s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 45, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 56, 69, 41, 72];
140objective = 908;
141% time elapsed: 0.35 s
142----------
143s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 42, 53, 1, 63, 56, 69, 41, 72];
144objective = 907;
145% time elapsed: 0.35 s
146----------
147s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 36, 57, 43, 53, 1, 63, 55, 69, 41, 72];
148objective = 906;
149% time elapsed: 0.35 s
150----------
151s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 72];
152objective = 903;
153% time elapsed: 0.35 s
154----------
155s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 72];
156objective = 902;
157% time elapsed: 0.36 s
158----------
159s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 73];
160objective = 899;
161% time elapsed: 0.36 s
162----------
163s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 56, 69, 41, 72];
164objective = 898;
165% time elapsed: 0.36 s
166----------
167s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 56, 69, 41, 73];
168objective = 895;
169% time elapsed: 0.36 s
170----------
171s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
172objective = 894;
173% time elapsed: 0.36 s
174----------
175s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
176objective = 893;
177% time elapsed: 0.36 s
178----------
179s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
180objective = 892;
181% time elapsed: 0.37 s
182----------
183s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
184objective = 891;
185% time elapsed: 0.37 s
186----------
187s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
188objective = 888;
189% time elapsed: 0.37 s
190----------
191s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 59, 69, 41, 72];
192objective = 887;
193% time elapsed: 0.37 s
194----------
195s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 58, 69, 41, 72];
196objective = 886;
197% time elapsed: 0.37 s
198----------
199s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 58, 69, 41, 73];
200objective = 883;
201% time elapsed: 0.37 s
202----------
203s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
204objective = 882;
205% time elapsed: 0.37 s
206----------
207s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
208objective = 881;
209% time elapsed: 0.38 s
210----------
211s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 45, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
212objective = 880;
213% time elapsed: 0.38 s
214----------
215s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
216objective = 879;
217% time elapsed: 0.38 s
218----------
219s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
220objective = 876;
221% time elapsed: 0.38 s
222----------
223s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
224objective = 875;
225% time elapsed: 0.38 s
226----------
227s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
228objective = 874;
229% time elapsed: 0.40 s
230----------
231s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 56, 69, 41, 78];
232objective = 871;
233% time elapsed: 0.40 s
234----------
235s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 48, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 56, 73, 41, 77];
236objective = 870;
237% time elapsed: 0.40 s
238----------
239s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
240objective = 869;
241% time elapsed: 0.41 s
242----------
243s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
244objective = 866;
245% time elapsed: 0.41 s
246----------
247s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
248objective = 863;
249% time elapsed: 0.41 s
250----------
251s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 75];
252objective = 860;
253% time elapsed: 0.41 s
254----------
255s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 49, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
256objective = 859;
257% time elapsed: 0.41 s
258----------
259s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
260objective = 857;
261% time elapsed: 0.43 s
262----------
263s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
264objective = 855;
265% time elapsed: 0.43 s
266----------
267s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
268objective = 854;
269% time elapsed: 0.45 s
270----------
271s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
272objective = 851;
273% time elapsed: 0.46 s
274----------
275s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
276objective = 848;
277% time elapsed: 0.48 s
278----------
279s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
280objective = 847;
281% time elapsed: 0.48 s
282----------
283s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
284objective = 846;
285% time elapsed: 0.48 s
286----------
287s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
288objective = 845;
289% time elapsed: 0.48 s
290----------
291s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
292objective = 842;
293% time elapsed: 0.48 s
294----------
295s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
296objective = 841;
297% time elapsed: 0.50 s
298----------
299s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
300objective = 838;
301% time elapsed: 0.50 s
302----------
303s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
304objective = 837;
305% time elapsed: 0.50 s
306----------
307s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
308objective = 836;
309% time elapsed: 0.50 s
310----------
311s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
312objective = 835;
313% time elapsed: 0.51 s
314----------
315s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
316objective = 834;
317% time elapsed: 0.52 s
318----------
319s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
320objective = 831;
321% time elapsed: 0.52 s
322----------
323s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
324objective = 830;
325% time elapsed: 0.54 s
326----------
327s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 72, 41, 75];
328objective = 829;
329% time elapsed: 0.55 s
330----------
331s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 70, 41, 76];
332objective = 828;
333% time elapsed: 0.56 s
334----------
335s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 30, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 71, 41, 76];
336objective = 827;
337% time elapsed: 0.56 s
338----------
339s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
340objective = 826;
341% time elapsed: 0.57 s
342----------
343s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 58, 69, 41, 72];
344objective = 825;
345% time elapsed: 0.58 s
346----------
347s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
348objective = 824;
349% time elapsed: 0.59 s
350----------
351s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
352objective = 823;
353% time elapsed: 0.61 s
354----------
355s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
356objective = 822;
357% time elapsed: 0.61 s
358----------
359s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
360objective = 821;
361% time elapsed: 0.61 s
362----------
363s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
364objective = 820;
365% time elapsed: 0.64 s
366----------
367s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
368objective = 817;
369% time elapsed: 0.64 s
370----------
371s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 75];
372objective = 814;
373% time elapsed: 0.65 s
374----------
375s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 72, 41, 76];
376objective = 813;
377% time elapsed: 0.66 s
378----------
379s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 73, 41, 76];
380objective = 812;
381% time elapsed: 0.66 s
382----------
383s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 71, 41, 77];
384objective = 811;
385% time elapsed: 0.66 s
386----------
387s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 71, 41, 78];
388objective = 808;
389% time elapsed: 0.66 s
390----------
391s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 59, 69, 41, 72];
392objective = 807;
393% time elapsed: 0.66 s
394----------
395s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
396objective = 806;
397% time elapsed: 0.70 s
398----------
399s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
400objective = 805;
401% time elapsed: 0.74 s
402----------
403s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
404objective = 802;
405% time elapsed: 0.74 s
406----------
407s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
408objective = 799;
409% time elapsed: 0.74 s
410----------
411s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
412objective = 798;
413% time elapsed: 0.76 s
414----------
415s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 73];
416objective = 797;
417% time elapsed: 0.76 s
418----------
419s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 76];
420objective = 794;
421% time elapsed: 0.78 s
422----------
423s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 77];
424objective = 791;
425% time elapsed: 0.78 s
426----------
427s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 37, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 78];
428objective = 788;
429% time elapsed: 0.78 s
430----------
431s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
432objective = 787;
433% time elapsed: 0.78 s
434----------
435s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 69, 41, 74];
436objective = 786;
437% time elapsed: 0.78 s
438----------
439s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 70, 41, 74];
440objective = 785;
441% time elapsed: 0.78 s
442----------
443s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
444objective = 784;
445% time elapsed: 0.79 s
446----------
447s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
448objective = 783;
449% time elapsed: 0.79 s
450----------
451s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
452objective = 782;
453% time elapsed: 0.79 s
454----------
455s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 73];
456objective = 779;
457% time elapsed: 0.81 s
458----------
459s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
460objective = 776;
461% time elapsed: 0.81 s
462----------
463s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 74];
464objective = 775;
465% time elapsed: 0.82 s
466----------
467s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 74];
468objective = 774;
469% time elapsed: 0.82 s
470----------
471s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 77];
472objective = 773;
473% time elapsed: 0.83 s
474----------
475s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 80];
476objective = 772;
477% time elapsed: 0.83 s
478----------
479s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 77];
480objective = 771;
481% time elapsed: 0.84 s
482----------
483s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 77];
484objective = 770;
485% time elapsed: 0.86 s
486----------
487s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 74, 41, 79];
488objective = 769;
489% time elapsed: 0.86 s
490----------
491s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 79];
492objective = 768;
493% time elapsed: 0.86 s
494----------
495s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 80];
496objective = 765;
497% time elapsed: 0.86 s
498----------
499s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 79];
500objective = 764;
501% time elapsed: 0.86 s
502----------
503s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 74, 41, 79];
504objective = 763;
505% time elapsed: 0.86 s
506----------
507s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 79];
508objective = 762;
509% time elapsed: 0.86 s
510----------
511s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 73, 41, 80];
512objective = 761;
513% time elapsed: 0.88 s
514----------
515s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 80];
516objective = 760;
517% time elapsed: 0.88 s
518----------
519s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 67, 59, 75, 41, 79];
520objective = 759;
521% time elapsed: 0.90 s
522----------
523s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 58, 73, 41, 83];
524objective = 758;
525% time elapsed: 0.90 s
526----------
527s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 71, 58, 77, 41, 80];
528objective = 757;
529% time elapsed: 0.90 s
530----------
531s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 81];
532objective = 756;
533% time elapsed: 0.90 s
534----------
535s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 69, 59, 75, 41, 79];
536objective = 755;
537% time elapsed: 0.90 s
538----------
539s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 82];
540objective = 754;
541% time elapsed: 0.90 s
542----------
543s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 82];
544objective = 753;
545% time elapsed: 0.90 s
546----------
547s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 82];
548objective = 752;
549% time elapsed: 0.92 s
550----------
551s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 83];
552objective = 751;
553% time elapsed: 0.92 s
554----------
555s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 18, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 27, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 84];
556objective = 750;
557% time elapsed: 0.92 s
558----------
559s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
560objective = 749;
561% time elapsed: 0.92 s
562----------
563s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
564objective = 748;
565% time elapsed: 0.93 s
566----------
567s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
568objective = 747;
569% time elapsed: 0.93 s
570----------
571s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
572objective = 746;
573% time elapsed: 0.93 s
574----------
575s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
576objective = 745;
577% time elapsed: 0.93 s
578----------
579s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
580objective = 744;
581% time elapsed: 0.93 s
582----------
583s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
584objective = 743;
585% time elapsed: 0.93 s
586----------
587s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 17, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 84];
588objective = 742;
589% time elapsed: 0.93 s
590----------
591s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 17, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
592objective = 741;
593% time elapsed: 0.93 s
594----------
595s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
596objective = 740;
597% time elapsed: 0.94 s
598----------
599s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
600objective = 739;
601% time elapsed: 0.94 s
602----------
603s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
604objective = 738;
605% time elapsed: 0.94 s
606----------
607s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 73, 59, 79, 41, 82];
608objective = 737;
609% time elapsed: 0.94 s
610----------
611s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 73, 59, 79, 41, 83];
612objective = 734;
613% time elapsed: 0.94 s
614----------
615s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 74, 59, 80, 41, 83];
616objective = 733;
617% time elapsed: 0.94 s
618----------
619s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 41, 3, 19, 39, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
620objective = 732;
621% time elapsed: 0.96 s
622----------
623s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
624objective = 731;
625% time elapsed: 1.01 s
626----------
627s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
628objective = 730;
629% time elapsed: 1.01 s
630----------
631s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
632objective = 729;
633% time elapsed: 1.01 s
634----------
635s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
636objective = 728;
637% time elapsed: 1.03 s
638----------
639s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
640objective = 727;
641% time elapsed: 1.03 s
642----------
643s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 29, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
644objective = 726;
645% time elapsed: 1.06 s
646----------
647s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
648objective = 725;
649% time elapsed: 1.06 s
650----------
651s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
652objective = 724;
653% time elapsed: 1.06 s
654----------
655s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
656objective = 723;
657% time elapsed: 1.06 s
658----------
659s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
660objective = 722;
661% time elapsed: 1.07 s
662----------
663s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
664objective = 721;
665% time elapsed: 1.07 s
666----------
667s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
668objective = 720;
669% time elapsed: 1.12 s
670----------
671s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
672objective = 719;
673% time elapsed: 1.12 s
674----------
675s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
676objective = 718;
677% time elapsed: 1.13 s
678----------
679s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
680objective = 715;
681% time elapsed: 1.14 s
682----------
683s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
684objective = 714;
685% time elapsed: 1.15 s
686----------
687s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 30, 41, 3, 19, 39, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
688objective = 713;
689% time elapsed: 1.15 s
690----------
691s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
692objective = 712;
693% time elapsed: 1.15 s
694----------
695s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 33, 41, 3, 19, 39, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
696objective = 711;
697% time elapsed: 1.15 s
698----------
699s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
700objective = 710;
701% time elapsed: 1.18 s
702----------
703s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
704objective = 709;
705% time elapsed: 1.18 s
706----------
707s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
708objective = 708;
709% time elapsed: 1.18 s
710----------
711s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
712objective = 707;
713% time elapsed: 1.18 s
714----------
715s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
716objective = 706;
717% time elapsed: 1.18 s
718----------
719s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 31, 41, 3, 19, 39, 21, 10, 31, 45, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
720objective = 705;
721% time elapsed: 1.20 s
722----------
723s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
724objective = 704;
725% time elapsed: 1.20 s
726----------
727s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
728objective = 703;
729% time elapsed: 1.20 s
730----------
731s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
732objective = 702;
733% time elapsed: 1.20 s
734----------
735s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
736objective = 701;
737% time elapsed: 1.20 s
738----------
739s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 32, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
740objective = 700;
741% time elapsed: 1.22 s
742----------
743s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 33, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
744objective = 699;
745% time elapsed: 1.24 s
746----------
747s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 17, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 34, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
748objective = 698;
749% time elapsed: 1.24 s
750----------
751s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
752objective = 697;
753% time elapsed: 1.27 s
754----------
755s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
756objective = 696;
757% time elapsed: 1.27 s
758----------
759s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
760objective = 695;
761% time elapsed: 1.27 s
762----------
763s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 84];
764objective = 694;
765% time elapsed: 1.32 s
766----------
767s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
768objective = 693;
769% time elapsed: 1.32 s
770----------
771s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
772objective = 692;
773% time elapsed: 1.32 s
774----------
775s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 31, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 47, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
776objective = 691;
777% time elapsed: 1.32 s
778----------
779s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
780objective = 690;
781% time elapsed: 1.34 s
782----------
783s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 85];
784objective = 689;
785% time elapsed: 1.34 s
786----------
787s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 71, 59, 77, 41, 82];
788objective = 688;
789% time elapsed: 1.34 s
790----------
791s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 72, 59, 78, 41, 82];
792objective = 687;
793% time elapsed: 1.35 s
794----------
795s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
796objective = 686;
797% time elapsed: 1.35 s
798----------
799s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 33, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 73, 41, 85];
800objective = 685;
801% time elapsed: 1.35 s
802----------
803s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
804objective = 684;
805% time elapsed: 1.36 s
806----------
807s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
808objective = 683;
809% time elapsed: 1.37 s
810----------
811s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
812objective = 682;
813% time elapsed: 1.37 s
814----------
815s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 27, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
816objective = 681;
817% time elapsed: 1.38 s
818----------
819s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 27, 32, 34, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
820objective = 680;
821% time elapsed: 1.39 s
822----------
823s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
824objective = 679;
825% time elapsed: 1.40 s
826----------
827s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
828objective = 678;
829% time elapsed: 1.40 s
830----------
831s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 83];
832objective = 675;
833% time elapsed: 1.43 s
834----------
835s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 35, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 74, 59, 80, 41, 83];
836objective = 674;
837% time elapsed: 1.43 s
838----------
839s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
840objective = 673;
841% time elapsed: 1.44 s
842----------
843s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
844objective = 672;
845% time elapsed: 1.44 s
846----------
847s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
848objective = 671;
849% time elapsed: 1.44 s
850----------
851s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 74, 41, 85];
852objective = 670;
853% time elapsed: 1.44 s
854----------
855s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
856objective = 669;
857% time elapsed: 1.44 s
858----------
859s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
860objective = 668;
861% time elapsed: 1.44 s
862----------
863s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 84];
864objective = 667;
865% time elapsed: 1.44 s
866----------
867s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 73, 41, 85];
868objective = 666;
869% time elapsed: 1.45 s
870----------
871s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
872objective = 665;
873% time elapsed: 1.45 s
874----------
875s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 36, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
876objective = 664;
877% time elapsed: 1.45 s
878----------
879s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 38, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
880objective = 663;
881% time elapsed: 1.46 s
882----------
883s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 38, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
884objective = 662;
885% time elapsed: 1.46 s
886----------
887s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 38, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 46, 52, 53, 45, 57, 50, 53, 1, 63, 59, 74, 41, 85];
888objective = 661;
889% time elapsed: 1.46 s
890----------
891s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
892objective = 660;
893% time elapsed: 1.46 s
894----------
895s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
896objective = 659;
897% time elapsed: 1.48 s
898----------
899s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
900objective = 658;
901% time elapsed: 1.50 s
902----------
903s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 71, 59, 77, 41, 83];
904objective = 657;
905% time elapsed: 1.50 s
906----------
907s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 74, 41, 85];
908objective = 656;
909% time elapsed: 1.50 s
910----------
911s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
912objective = 655;
913% time elapsed: 1.51 s
914----------
915s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 64, 59, 75, 41, 85];
916objective = 654;
917% time elapsed: 1.51 s
918----------
919s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 84];
920objective = 653;
921% time elapsed: 1.51 s
922----------
923s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
924objective = 652;
925% time elapsed: 1.51 s
926----------
927s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 74, 41, 85];
928objective = 651;
929% time elapsed: 1.52 s
930----------
931s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 59, 50, 53, 1, 64, 59, 75, 41, 85];
932objective = 650;
933% time elapsed: 1.52 s
934----------
935s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 37, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
936objective = 649;
937% time elapsed: 1.52 s
938----------
939s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 84];
940objective = 648;
941% time elapsed: 1.52 s
942----------
943s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
944objective = 647;
945% time elapsed: 1.52 s
946----------
947s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
948objective = 646;
949% time elapsed: 1.53 s
950----------
951s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 21, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 73, 59, 79, 41, 82];
952objective = 645;
953% time elapsed: 1.53 s
954----------
955s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 25, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
956objective = 644;
957% time elapsed: 1.54 s
958----------
959s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
960objective = 643;
961% time elapsed: 1.54 s
962----------
963s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 27, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
964objective = 642;
965% time elapsed: 1.55 s
966----------
967s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 42, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
968objective = 641;
969% time elapsed: 1.57 s
970----------
971s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 42, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
972objective = 640;
973% time elapsed: 1.57 s
974----------
975s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 42, 50, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
976objective = 639;
977% time elapsed: 1.58 s
978----------
979s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 44, 57, 49, 53, 1, 63, 59, 75, 41, 85];
980objective = 638;
981% time elapsed: 1.58 s
982----------
983s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 40, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
984objective = 637;
985% time elapsed: 1.58 s
986----------
987s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 43, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
988objective = 636;
989% time elapsed: 1.58 s
990----------
991s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 43, 51, 44, 47, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
992objective = 635;
993% time elapsed: 1.59 s
994----------
995s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
996objective = 634;
997% time elapsed: 1.60 s
998----------
999s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
1000objective = 633;
1001% time elapsed: 1.60 s
1002----------
1003s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 84];
1004objective = 632;
1005% time elapsed: 1.60 s
1006----------
1007s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 57, 50, 53, 1, 63, 59, 75, 41, 85];
1008objective = 631;
1009% time elapsed: 1.60 s
1010----------
1011s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 63, 59, 75, 41, 85];
1012objective = 630;
1013% time elapsed: 1.60 s
1014----------
1015s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 58, 50, 53, 1, 73, 59, 79, 41, 82];
1016objective = 629;
1017% time elapsed: 1.62 s
1018----------
1019s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 63, 59, 75, 41, 85];
1020objective = 628;
1021% time elapsed: 1.63 s
1022----------
1023s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 64, 59, 75, 41, 85];
1024objective = 627;
1025% time elapsed: 1.65 s
1026----------
1027s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 75, 41, 84];
1028objective = 626;
1029% time elapsed: 1.65 s
1030----------
1031s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 73, 41, 85];
1032objective = 625;
1033% time elapsed: 1.65 s
1034----------
1035s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 74, 41, 85];
1036objective = 624;
1037% time elapsed: 1.66 s
1038----------
1039s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 64, 59, 75, 41, 85];
1040objective = 623;
1041% time elapsed: 1.66 s
1042----------
1043s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 65, 59, 75, 41, 85];
1044objective = 622;
1045% time elapsed: 1.68 s
1046----------
1047s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 72, 59, 78, 41, 83];
1048objective = 621;
1049% time elapsed: 1.68 s
1050----------
1051s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 60, 49, 53, 1, 65, 59, 75, 41, 85];
1052objective = 620;
1053% time elapsed: 1.68 s
1054----------
1055s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 60, 49, 53, 1, 65, 59, 74, 41, 85];
1056objective = 619;
1057% time elapsed: 1.68 s
1058----------
1059s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 60, 49, 53, 1, 65, 59, 75, 41, 85];
1060objective = 618;
1061% time elapsed: 1.68 s
1062----------
1063s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 58, 49, 53, 1, 74, 59, 80, 41, 85];
1064objective = 617;
1065% time elapsed: 1.68 s
1066----------
1067s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 60, 50, 53, 1, 66, 59, 75, 41, 85];
1068objective = 616;
1069% time elapsed: 1.69 s
1070----------
1071s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 61, 49, 53, 1, 66, 59, 75, 41, 85];
1072objective = 615;
1073% time elapsed: 1.69 s
1074----------
1075s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 59, 49, 53, 1, 75, 59, 81, 41, 85];
1076objective = 614;
1077% time elapsed: 1.78 s
1078----------
1079s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 59, 49, 53, 1, 76, 59, 82, 41, 85];
1080objective = 613;
1081% time elapsed: 1.78 s
1082----------
1083s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 60, 49, 53, 1, 73, 59, 79, 41, 85];
1084objective = 612;
1085% time elapsed: 1.81 s
1086----------
1087s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 59, 49, 53, 1, 76, 59, 82, 41, 85];
1088objective = 611;
1089% time elapsed: 1.84 s
1090----------
1091s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 62, 49, 53, 1, 67, 59, 75, 41, 85];
1092objective = 610;
1093% time elapsed: 1.84 s
1094----------
1095s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 62, 50, 53, 1, 67, 59, 75, 41, 85];
1096objective = 609;
1097% time elapsed: 1.89 s
1098----------
1099s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 45, 58, 50, 61, 1, 76, 59, 82, 41, 85];
1100objective = 608;
1101% time elapsed: 1.90 s
1102----------
1103s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 67, 59, 75, 41, 85];
1104objective = 607;
1105% time elapsed: 1.91 s
1106----------
1107s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 68, 59, 75, 41, 85];
1108objective = 606;
1109% time elapsed: 1.92 s
1110----------
1111s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
1112objective = 605;
1113% time elapsed: 1.93 s
1114----------
1115s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 72, 59, 78, 41, 84];
1116objective = 604;
1117% time elapsed: 1.97 s
1118----------
1119s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 63, 49, 53, 1, 68, 59, 75, 41, 85];
1120objective = 603;
1121% time elapsed: 1.99 s
1122----------
1123s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 68, 59, 75, 41, 85];
1124objective = 602;
1125% time elapsed: 1.99 s
1126----------
1127s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 73, 59, 79, 41, 85];
1128objective = 601;
1129% time elapsed: 1.99 s
1130----------
1131s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 74, 59, 80, 41, 85];
1132objective = 600;
1133% time elapsed: 1.99 s
1134----------
1135s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 75, 59, 81, 41, 85];
1136objective = 599;
1137% time elapsed: 2.00 s
1138----------
1139s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 53, 1, 76, 59, 82, 41, 85];
1140objective = 598;
1141% time elapsed: 2.00 s
1142----------
1143s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 76, 59, 82, 41, 85];
1144objective = 597;
1145% time elapsed: 2.00 s
1146----------
1147s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 53, 1, 73, 59, 79, 41, 85];
1148objective = 596;
1149% time elapsed: 2.01 s
1150----------
1151s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 50, 44, 48, 52, 53, 45, 62, 50, 61, 1, 76, 59, 82, 41, 85];
1152objective = 595;
1153% time elapsed: 2.02 s
1154----------
1155s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 63, 50, 53, 1, 76, 59, 82, 41, 85];
1156objective = 594;
1157% time elapsed: 2.02 s
1158----------
1159s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 41, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 53, 1, 76, 59, 82, 41, 85];
1160objective = 593;
1161% time elapsed: 2.07 s
1162----------
1163s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 64, 50, 53, 1, 76, 59, 82, 41, 85];
1164objective = 592;
1165% time elapsed: 2.09 s
1166----------
1167s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 65, 50, 53, 1, 73, 59, 79, 41, 85];
1168objective = 591;
1169% time elapsed: 2.11 s
1170----------
1171s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 62, 50, 61, 1, 76, 59, 82, 41, 85];
1172objective = 590;
1173% time elapsed: 2.11 s
1174----------
1175s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 63, 49, 61, 1, 76, 59, 82, 41, 85];
1176objective = 589;
1177% time elapsed: 2.14 s
1178----------
1179s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 39, 42, 32, 44, 50, 44, 48, 52, 53, 44, 64, 49, 61, 1, 73, 59, 79, 41, 85];
1180objective = 588;
1181% time elapsed: 2.17 s
1182----------
1183s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 70, 49, 53, 1, 75, 59, 81, 41, 85];
1184objective = 587;
1185% time elapsed: 2.19 s
1186----------
1187s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 75, 59, 81, 41, 85];
1188objective = 586;
1189% time elapsed: 2.21 s
1190----------
1191s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 76, 59, 82, 41, 85];
1192objective = 585;
1193% time elapsed: 2.22 s
1194----------
1195s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 44, 69, 49, 61, 1, 74, 59, 80, 41, 85];
1196objective = 584;
1197% time elapsed: 2.24 s
1198----------
1199s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 63, 49, 61, 1, 76, 59, 82, 50, 85];
1200objective = 583;
1201% time elapsed: 2.24 s
1202----------
1203s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 65, 49, 61, 1, 71, 59, 77, 50, 85];
1204objective = 580;
1205% time elapsed: 2.26 s
1206----------
1207s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 64, 49, 61, 1, 76, 59, 82, 50, 85];
1208objective = 579;
1209% time elapsed: 2.27 s
1210----------
1211s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 71, 59, 77, 50, 85];
1212objective = 576;
1213% time elapsed: 2.30 s
1214----------
1215s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1216objective = 575;
1217% time elapsed: 2.31 s
1218----------
1219s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 67, 50, 61, 1, 73, 59, 79, 50, 85];
1220objective = 574;
1221% time elapsed: 2.32 s
1222----------
1223s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 39, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1224objective = 573;
1225% time elapsed: 2.32 s
1226----------
1227s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 43, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1228objective = 572;
1229% time elapsed: 2.39 s
1230----------
1231s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 44, 70, 49, 61, 1, 75, 59, 81, 41, 85];
1232objective = 571;
1233% time elapsed: 2.43 s
1234----------
1235s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 44, 70, 49, 61, 1, 76, 59, 82, 41, 85];
1236objective = 570;
1237% time elapsed: 2.43 s
1238----------
1239s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 50, 45, 48, 53, 54, 44, 71, 49, 60, 1, 76, 59, 82, 41, 85];
1240objective = 569;
1241% time elapsed: 2.44 s
1242----------
1243s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 50, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 41, 85];
1244objective = 568;
1245% time elapsed: 2.44 s
1246----------
1247s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 50, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1248objective = 567;
1249% time elapsed: 2.46 s
1250----------
1251s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 60, 1, 76, 59, 82, 41, 85];
1252objective = 566;
1253% time elapsed: 2.46 s
1254----------
1255s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 30, 46, 32, 35, 40, 39, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 41, 85];
1256objective = 565;
1257% time elapsed: 2.46 s
1258----------
1259s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
1260objective = 564;
1261% time elapsed: 2.52 s
1262----------
1263s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1264objective = 563;
1265% time elapsed: 2.53 s
1266----------
1267s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1268objective = 560;
1269% time elapsed: 2.53 s
1270----------
1271s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1272objective = 559;
1273% time elapsed: 2.55 s
1274----------
1275s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1276objective = 558;
1277% time elapsed: 2.55 s
1278----------
1279s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1280objective = 557;
1281% time elapsed: 2.57 s
1282----------
1283s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1284objective = 556;
1285% time elapsed: 2.60 s
1286----------
1287s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1288objective = 555;
1289% time elapsed: 2.60 s
1290----------
1291s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1292objective = 554;
1293% time elapsed: 2.62 s
1294----------
1295s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1296objective = 553;
1297% time elapsed: 2.62 s
1298----------
1299s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1300objective = 552;
1301% time elapsed: 2.65 s
1302----------
1303s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1304objective = 551;
1305% time elapsed: 2.68 s
1306----------
1307s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1308objective = 550;
1309% time elapsed: 2.74 s
1310----------
1311s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1312objective = 549;
1313% time elapsed: 2.75 s
1314----------
1315s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1316objective = 548;
1317% time elapsed: 2.79 s
1318----------
1319s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
1320objective = 547;
1321% time elapsed: 2.81 s
1322----------
1323s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 74, 59, 80, 50, 85];
1324objective = 546;
1325% time elapsed: 2.81 s
1326----------
1327s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1328objective = 545;
1329% time elapsed: 2.81 s
1330----------
1331s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
1332objective = 544;
1333% time elapsed: 2.82 s
1334----------
1335s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1336objective = 543;
1337% time elapsed: 2.84 s
1338----------
1339s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 66, 50, 61, 1, 73, 59, 79, 50, 85];
1340objective = 542;
1341% time elapsed: 2.84 s
1342----------
1343s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 66, 50, 59, 1, 76, 59, 82, 50, 85];
1344objective = 541;
1345% time elapsed: 2.85 s
1346----------
1347s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 66, 50, 60, 1, 76, 59, 82, 50, 85];
1348objective = 540;
1349% time elapsed: 2.85 s
1350----------
1351s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 43, 50, 45, 48, 53, 54, 45, 67, 50, 60, 1, 73, 59, 79, 50, 85];
1352objective = 539;
1353% time elapsed: 2.88 s
1354----------
1355s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 61, 1, 73, 59, 79, 50, 85];
1356objective = 538;
1357% time elapsed: 2.92 s
1358----------
1359s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 32, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 66, 50, 59, 1, 76, 59, 82, 50, 85];
1360objective = 537;
1361% time elapsed: 2.92 s
1362----------
1363s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1364objective = 536;
1365% time elapsed: 2.92 s
1366----------
1367s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1368objective = 535;
1369% time elapsed: 2.97 s
1370----------
1371s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1372objective = 531;
1373% time elapsed: 2.99 s
1374----------
1375s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1376objective = 530;
1377% time elapsed: 3.02 s
1378----------
1379s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1380objective = 529;
1381% time elapsed: 3.23 s
1382----------
1383s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 65, 50, 60, 1, 76, 59, 82, 50, 85];
1384objective = 528;
1385% time elapsed: 3.25 s
1386----------
1387s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1388objective = 527;
1389% time elapsed: 3.25 s
1390----------
1391s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1392objective = 526;
1393% time elapsed: 3.25 s
1394----------
1395s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1396objective = 525;
1397% time elapsed: 3.28 s
1398----------
1399s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 73, 59, 79, 50, 85];
1400objective = 524;
1401% time elapsed: 3.28 s
1402----------
1403s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 27, 17, 28, 39, 27, 24, 26, 32, 40, 41, 3, 19, 39, 23, 10, 32, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 74, 59, 80, 50, 85];
1404objective = 523;
1405% time elapsed: 3.28 s
1406----------
1407s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1408objective = 522;
1409% time elapsed: 3.28 s
1410----------
1411s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 73, 59, 79, 50, 85];
1412objective = 521;
1413% time elapsed: 3.28 s
1414----------
1415s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 71, 59, 77, 50, 85];
1416objective = 519;
1417% time elapsed: 3.30 s
1418----------
1419s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 65, 50, 61, 1, 76, 59, 82, 50, 85];
1420objective = 518;
1421% time elapsed: 3.30 s
1422----------
1423s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 64, 50, 61, 1, 76, 59, 82, 50, 85];
1424objective = 517;
1425% time elapsed: 3.32 s
1426----------
1427s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 61, 1, 74, 59, 80, 50, 85];
1428objective = 516;
1429% time elapsed: 3.32 s
1430----------
1431s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 66, 50, 60, 1, 76, 59, 82, 50, 85];
1432objective = 515;
1433% time elapsed: 3.32 s
1434----------
1435s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 65, 49, 61, 1, 76, 59, 82, 50, 85];
1436objective = 514;
1437% time elapsed: 3.32 s
1438----------
1439s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 45, 48, 53, 54, 44, 66, 49, 60, 1, 76, 59, 82, 50, 85];
1440objective = 513;
1441% time elapsed: 3.32 s
1442----------
1443s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 45, 48, 53, 54, 44, 67, 49, 60, 1, 73, 59, 79, 50, 85];
1444objective = 512;
1445% time elapsed: 3.32 s
1446----------
1447s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 60, 1, 76, 59, 82, 50, 85];
1448objective = 511;
1449% time elapsed: 3.36 s
1450----------
1451s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 66, 49, 61, 1, 76, 59, 82, 50, 85];
1452objective = 510;
1453% time elapsed: 3.36 s
1454----------
1455s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 73, 59, 79, 50, 85];
1456objective = 509;
1457% time elapsed: 3.45 s
1458----------
1459s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 74, 59, 80, 50, 85];
1460objective = 508;
1461% time elapsed: 3.45 s
1462----------
1463s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 60, 1, 76, 59, 82, 50, 85];
1464objective = 507;
1465% time elapsed: 3.46 s
1466----------
1467s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 76, 59, 82, 50, 85];
1468objective = 506;
1469% time elapsed: 3.48 s
1470----------
1471s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 69, 50, 60, 1, 76, 59, 82, 50, 85];
1472objective = 505;
1473% time elapsed: 3.50 s
1474----------
1475s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1476objective = 504;
1477% time elapsed: 3.50 s
1478----------
1479s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1480objective = 501;
1481% time elapsed: 3.52 s
1482----------
1483s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 60, 1, 75, 59, 81, 50, 85];
1484objective = 500;
1485% time elapsed: 3.52 s
1486----------
1487s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 60, 1, 76, 59, 82, 50, 85];
1488objective = 499;
1489% time elapsed: 3.52 s
1490----------
1491s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1492objective = 498;
1493% time elapsed: 3.54 s
1494----------
1495s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1496objective = 497;
1497% time elapsed: 3.54 s
1498----------
1499s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 50, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1500objective = 496;
1501% time elapsed: 3.58 s
1502----------
1503s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 33, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
1504objective = 495;
1505% time elapsed: 3.59 s
1506----------
1507s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1508objective = 494;
1509% time elapsed: 3.64 s
1510----------
1511s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
1512objective = 493;
1513% time elapsed: 3.64 s
1514----------
1515s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 69, 49, 61, 1, 74, 59, 80, 50, 85];
1516objective = 492;
1517% time elapsed: 3.66 s
1518----------
1519s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 69, 49, 60, 1, 76, 59, 82, 50, 85];
1520objective = 491;
1521% time elapsed: 3.68 s
1522----------
1523s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 70, 49, 60, 1, 75, 59, 81, 50, 85];
1524objective = 488;
1525% time elapsed: 3.69 s
1526----------
1527s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 32, 40, 41, 3, 19, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
1528objective = 487;
1529% time elapsed: 3.71 s
1530----------
1531s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1532objective = 486;
1533% time elapsed: 3.71 s
1534----------
1535s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1536objective = 485;
1537% time elapsed: 3.74 s
1538----------
1539s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1540objective = 481;
1541% time elapsed: 3.74 s
1542----------
1543s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 73, 59, 79, 50, 85];
1544objective = 480;
1545% time elapsed: 3.74 s
1546----------
1547s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 68, 50, 61, 1, 74, 59, 80, 50, 85];
1548objective = 479;
1549% time elapsed: 3.74 s
1550----------
1551s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 25, 26, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 68, 50, 60, 1, 76, 59, 82, 50, 85];
1552objective = 478;
1553% time elapsed: 3.74 s
1554----------
1555s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 25, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1556objective = 477;
1557% time elapsed: 3.74 s
1558----------
1559s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1560objective = 476;
1561% time elapsed: 3.75 s
1562----------
1563s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1564objective = 475;
1565% time elapsed: 3.78 s
1566----------
1567s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1568objective = 474;
1569% time elapsed: 3.78 s
1570----------
1571s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 50, 45, 48, 53, 54, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
1572objective = 473;
1573% time elapsed: 3.78 s
1574----------
1575s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1576objective = 472;
1577% time elapsed: 3.79 s
1578----------
1579s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1580objective = 471;
1581% time elapsed: 3.79 s
1582----------
1583s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 26, 26, 33, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1584objective = 470;
1585% time elapsed: 3.79 s
1586----------
1587s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 8, 32, 17, 28, 39, 27, 27, 24, 32, 40, 41, 3, 19, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 33, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1588objective = 469;
1589% time elapsed: 3.82 s
1590----------
1591s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1592objective = 468;
1593% time elapsed: 3.84 s
1594----------
1595s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1596objective = 467;
1597% time elapsed: 3.87 s
1598----------
1599s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 50, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1600objective = 466;
1601% time elapsed: 3.89 s
1602----------
1603s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1604objective = 465;
1605% time elapsed: 3.92 s
1606----------
1607s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 32, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1608objective = 464;
1609% time elapsed: 3.94 s
1610----------
1611s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1612objective = 463;
1613% time elapsed: 3.94 s
1614----------
1615s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 32, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1616objective = 462;
1617% time elapsed: 3.96 s
1618----------
1619s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 68, 50, 61, 1, 73, 59, 79, 50, 85];
1620objective = 461;
1621% time elapsed: 4.17 s
1622----------
1623s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 50, 45, 48, 53, 54, 45, 68, 50, 61, 1, 76, 59, 82, 50, 85];
1624objective = 460;
1625% time elapsed: 4.19 s
1626----------
1627s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 50, 45, 48, 53, 54, 45, 69, 50, 61, 1, 74, 59, 80, 50, 85];
1628objective = 458;
1629% time elapsed: 4.23 s
1630----------
1631s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 74, 59, 80, 50, 85];
1632objective = 457;
1633% time elapsed: 4.25 s
1634----------
1635s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 75, 59, 81, 50, 85];
1636objective = 456;
1637% time elapsed: 4.27 s
1638----------
1639s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 69, 50, 61, 1, 76, 59, 82, 50, 85];
1640objective = 455;
1641% time elapsed: 4.28 s
1642----------
1643s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 59, 1, 75, 59, 81, 50, 85];
1644objective = 454;
1645% time elapsed: 4.34 s
1646----------
1647s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1648objective = 453;
1649% time elapsed: 4.35 s
1650----------
1651s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 70, 49, 61, 1, 75, 59, 81, 50, 85];
1652objective = 452;
1653% time elapsed: 4.35 s
1654----------
1655s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1656objective = 451;
1657% time elapsed: 4.37 s
1658----------
1659s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1660objective = 450;
1661% time elapsed: 4.37 s
1662----------
1663s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 32, 17, 28, 39, 27, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1664objective = 449;
1665% time elapsed: 4.37 s
1666----------
1667s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 71, 50, 60, 1, 76, 59, 82, 50, 85];
1668objective = 448;
1669% time elapsed: 4.42 s
1670----------
1671s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1672objective = 447;
1673% time elapsed: 4.44 s
1674----------
1675s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1676objective = 446;
1677% time elapsed: 4.53 s
1678----------
1679s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1680objective = 442;
1681% time elapsed: 4.53 s
1682----------
1683s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 33, 17, 28, 39, 28, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 29, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1684objective = 441;
1685% time elapsed: 4.54 s
1686----------
1687s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 43, 51, 44, 48, 52, 53, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1688objective = 440;
1689% time elapsed: 4.97 s
1690----------
1691s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1692objective = 439;
1693% time elapsed: 4.97 s
1694----------
1695s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1696objective = 438;
1697% time elapsed: 4.99 s
1698----------
1699s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1700objective = 437;
1701% time elapsed: 5.01 s
1702----------
1703s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 44, 51, 45, 48, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1704objective = 436;
1705% time elapsed: 5.01 s
1706----------
1707s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 43, 51, 45, 48, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1708objective = 435;
1709% time elapsed: 5.01 s
1710----------
1711s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 29, 24, 24, 34, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 44, 51, 45, 48, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1712objective = 434;
1713% time elapsed: 5.01 s
1714----------
1715s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 45, 50, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1716objective = 433;
1717% time elapsed: 5.10 s
1718----------
1719s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1720objective = 432;
1721% time elapsed: 5.16 s
1722----------
1723s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 44, 49, 52, 53, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1724objective = 431;
1725% time elapsed: 5.28 s
1726----------
1727s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 70, 50, 61, 1, 75, 59, 81, 50, 85];
1728objective = 430;
1729% time elapsed: 5.45 s
1730----------
1731s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 70, 50, 61, 1, 76, 59, 82, 50, 85];
1732objective = 429;
1733% time elapsed: 5.47 s
1734----------
1735s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 58, 1, 76, 59, 82, 50, 85];
1736objective = 428;
1737% time elapsed: 5.47 s
1738----------
1739s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 50, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1740objective = 427;
1741% time elapsed: 5.47 s
1742----------
1743s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 44, 71, 49, 61, 1, 76, 59, 82, 50, 85];
1744objective = 426;
1745% time elapsed: 5.49 s
1746----------
1747s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1748objective = 425;
1749% time elapsed: 5.55 s
1750----------
1751s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 25, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 31, 46, 28, 35, 41, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1752objective = 424;
1753% time elapsed: 5.57 s
1754----------
1755s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 29, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 40, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1756objective = 423;
1757% time elapsed: 6.00 s
1758----------
1759s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 24, 17, 21, 29, 8, 34, 17, 28, 39, 31, 24, 24, 36, 40, 41, 3, 18, 39, 23, 10, 29, 46, 28, 35, 41, 48, 42, 36, 45, 51, 45, 49, 53, 54, 45, 71, 50, 61, 1, 76, 59, 82, 50, 85];
1760objective = 422;
1761% time elapsed: 6.06 s
1762----------
1763%%%mzn-stat: initTime=0.292176
1764%%%mzn-stat: solveTime=120
1765%%%mzn-stat: solutions=440
1766%%%mzn-stat: variables=266
1767%%%mzn-stat: propagators=316
1768%%%mzn-stat: propagations=591082403
1769%%%mzn-stat: nodes=4050559
1770%%%mzn-stat: failures=1947094
1771%%%mzn-stat: restarts=31311
1772%%%mzn-stat: peakDepth=62
1773%%%mzn-stat-end
1774%% copies: 2135219