this repo has no description
dekker.one
1% init_area = 4710;
2s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 18, 27, 12, 27, 40, 33, 41, 30, 47, 27, 48, 46, 48, 52, 59, 57, 62];
3objective = 488;
4% time elapsed: 0.03 s
5----------
6s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 19, 27, 12, 27, 40, 33, 41, 30, 47, 27, 48, 46, 48, 52, 59, 57, 62];
7objective = 483;
8% time elapsed: 0.03 s
9----------
10s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 19, 27, 12, 27, 40, 33, 41, 30, 47, 27, 48, 46, 48, 52, 57, 59, 63];
11objective = 480;
12% time elapsed: 0.03 s
13----------
14s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 20, 27, 12, 27, 40, 33, 41, 30, 47, 27, 48, 46, 48, 52, 59, 57, 62];
15objective = 478;
16% time elapsed: 0.03 s
17----------
18s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 20, 27, 12, 27, 40, 33, 41, 30, 47, 27, 48, 46, 48, 52, 59, 57, 63];
19objective = 473;
20% time elapsed: 0.03 s
21----------
22s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 21, 27, 12, 27, 40, 33, 41, 31, 47, 27, 48, 46, 48, 52, 59, 57, 62];
23objective = 469;
24% time elapsed: 0.03 s
25----------
26s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 21, 27, 12, 27, 40, 33, 41, 31, 47, 27, 48, 46, 48, 52, 59, 57, 63];
27objective = 464;
28% time elapsed: 0.03 s
29----------
30s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 21, 27, 12, 27, 40, 33, 41, 31, 47, 27, 48, 46, 48, 52, 60, 57, 63];
31objective = 463;
32% time elapsed: 0.03 s
33----------
34s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 22, 27, 12, 27, 40, 33, 41, 32, 47, 27, 48, 46, 48, 52, 59, 57, 62];
35objective = 460;
36% time elapsed: 0.03 s
37----------
38s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 21, 27, 12, 27, 40, 33, 41, 34, 47, 27, 48, 46, 48, 52, 59, 57, 62];
39objective = 457;
40% time elapsed: 0.03 s
41----------
42s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 21, 27, 12, 27, 40, 33, 41, 34, 47, 28, 48, 46, 48, 52, 59, 57, 62];
43objective = 453;
44% time elapsed: 0.04 s
45----------
46s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 21, 27, 12, 27, 40, 33, 41, 34, 47, 29, 48, 46, 48, 52, 59, 57, 62];
47objective = 449;
48% time elapsed: 0.04 s
49----------
50s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 21, 27, 12, 27, 40, 33, 41, 34, 47, 29, 48, 46, 48, 52, 59, 57, 63];
51objective = 444;
52% time elapsed: 0.04 s
53----------
54s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 24, 27, 12, 27, 40, 33, 41, 34, 47, 27, 48, 46, 48, 52, 59, 57, 62];
55objective = 442;
56% time elapsed: 0.04 s
57----------
58s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 24, 27, 12, 27, 40, 33, 41, 34, 47, 27, 48, 46, 48, 52, 59, 57, 63];
59objective = 437;
60% time elapsed: 0.04 s
61----------
62s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 26, 27, 12, 27, 40, 33, 41, 35, 47, 27, 48, 46, 48, 52, 59, 57, 62];
63objective = 435;
64% time elapsed: 0.04 s
65----------
66s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 27, 48, 46, 48, 52, 59, 57, 62];
67objective = 433;
68% time elapsed: 0.04 s
69----------
70s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 27, 48, 46, 48, 52, 57, 59, 63];
71objective = 430;
72% time elapsed: 0.04 s
73----------
74s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 9, 25, 7, 18, 12, 26, 27, 12, 27, 40, 33, 41, 35, 47, 28, 48, 46, 48, 52, 59, 57, 62];
75objective = 429;
76% time elapsed: 0.04 s
77----------
78s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 9, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 28, 48, 46, 48, 52, 59, 57, 62];
79objective = 427;
80% time elapsed: 0.04 s
81----------
82s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 9, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 28, 48, 46, 48, 52, 59, 57, 63];
83objective = 422;
84% time elapsed: 0.04 s
85----------
86s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 25, 27, 12, 27, 40, 33, 41, 35, 47, 31, 48, 46, 48, 52, 59, 57, 62];
87objective = 421;
88% time elapsed: 0.04 s
89----------
90s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 25, 27, 12, 27, 40, 33, 41, 35, 47, 31, 48, 46, 48, 52, 59, 57, 63];
91objective = 416;
92% time elapsed: 0.04 s
93----------
94s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 25, 27, 12, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 59, 57, 63];
95objective = 415;
96% time elapsed: 0.04 s
97----------
98s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 26, 27, 12, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 62];
99objective = 414;
100% time elapsed: 0.04 s
101----------
102s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 59, 57, 62];
103objective = 410;
104% time elapsed: 0.04 s
105----------
106s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 62];
107objective = 409;
108% time elapsed: 0.04 s
109----------
110s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 63];
111objective = 404;
112% time elapsed: 0.04 s
113----------
114s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 59, 57, 62];
115objective = 403;
116% time elapsed: 0.04 s
117----------
118s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 62];
119objective = 402;
120% time elapsed: 0.04 s
121----------
122s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 63];
123objective = 397;
124% time elapsed: 0.04 s
125----------
126s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 37, 47, 33, 57, 46, 48, 52, 59, 60, 62];
127objective = 390;
128% time elapsed: 0.04 s
129----------
130s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 62];
131objective = 389;
132% time elapsed: 0.04 s
133----------
134s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 59, 57, 63];
135objective = 385;
136% time elapsed: 0.04 s
137----------
138s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 62];
139objective = 384;
140% time elapsed: 0.04 s
141----------
142s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 59, 57, 63];
143objective = 383;
144% time elapsed: 0.04 s
145----------
146s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 7, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 36, 47, 31, 57, 46, 48, 52, 59, 60, 62];
147objective = 380;
148% time elapsed: 0.04 s
149----------
150s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 37, 47, 33, 48, 46, 48, 52, 59, 57, 63];
151objective = 379;
152% time elapsed: 0.04 s
153----------
154s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 37, 47, 33, 57, 46, 48, 52, 59, 60, 62];
155objective = 372;
156% time elapsed: 0.04 s
157----------
158s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 59, 57, 70];
159objective = 370;
160% time elapsed: 0.04 s
161----------
162s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 60, 57, 70];
163objective = 369;
164% time elapsed: 0.04 s
165----------
166s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 48, 46, 48, 52, 61, 57, 70];
167objective = 368;
168% time elapsed: 0.04 s
169----------
170s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 57, 46, 48, 52, 60, 60, 68];
171objective = 367;
172% time elapsed: 0.04 s
173----------
174s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 57, 46, 48, 52, 61, 60, 68];
175objective = 366;
176% time elapsed: 0.04 s
177----------
178s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 37, 47, 33, 57, 46, 48, 52, 61, 60, 68];
179objective = 365;
180% time elapsed: 0.04 s
181----------
182s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 57, 46, 48, 52, 59, 60, 69];
183objective = 363;
184% time elapsed: 0.04 s
185----------
186s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 57, 58, 61, 64];
187objective = 362;
188% time elapsed: 0.04 s
189----------
190s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 57, 58, 61, 65];
191objective = 357;
192% time elapsed: 0.04 s
193----------
194s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 57, 59, 62, 65];
195objective = 356;
196% time elapsed: 0.04 s
197----------
198s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 57, 60, 58, 65];
199objective = 355;
200% time elapsed: 0.04 s
201----------
202s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 50, 32, 55, 46, 48, 57, 60, 58, 64];
203objective = 354;
204% time elapsed: 0.04 s
205----------
206s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 57, 60, 65];
207objective = 353;
208% time elapsed: 0.04 s
209----------
210s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 54, 46, 48, 58, 60, 57, 65];
211objective = 352;
212% time elapsed: 0.04 s
213----------
214s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 59, 62, 65];
215objective = 351;
216% time elapsed: 0.04 s
217----------
218s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 13, 27, 40, 33, 41, 37, 47, 33, 57, 46, 48, 52, 61, 60, 70];
219objective = 350;
220% time elapsed: 0.04 s
221----------
222s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 13, 27, 40, 33, 41, 37, 47, 33, 55, 46, 48, 57, 60, 58, 65];
223objective = 349;
224% time elapsed: 0.04 s
225----------
226s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 57, 46, 48, 52, 59, 60, 70];
227objective = 348;
228% time elapsed: 0.04 s
229----------
230s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 57, 46, 48, 52, 60, 60, 70];
231objective = 347;
232% time elapsed: 0.04 s
233----------
234s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 57, 46, 48, 52, 61, 60, 70];
235objective = 346;
236% time elapsed: 0.04 s
237----------
238s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 37, 47, 33, 57, 46, 48, 52, 61, 60, 70];
239objective = 345;
240% time elapsed: 0.04 s
241----------
242s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 37, 47, 33, 55, 46, 48, 57, 60, 58, 65];
243objective = 344;
244% time elapsed: 0.04 s
245----------
246s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 37, 47, 33, 55, 46, 48, 57, 61, 58, 65];
247objective = 343;
248% time elapsed: 0.04 s
249----------
250s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 54, 46, 48, 58, 60, 57, 65];
251objective = 342;
252% time elapsed: 0.04 s
253----------
254s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 59, 62, 65];
255objective = 341;
256% time elapsed: 0.04 s
257----------
258s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 60, 58, 65];
259objective = 340;
260% time elapsed: 0.04 s
261----------
262s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 57, 61, 58, 64];
263objective = 339;
264% time elapsed: 0.04 s
265----------
266s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 50, 32, 55, 46, 48, 57, 61, 58, 65];
267objective = 338;
268% time elapsed: 0.04 s
269----------
270s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 54, 46, 48, 58, 60, 57, 66];
271objective = 337;
272% time elapsed: 0.04 s
273----------
274s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 57, 46, 48, 52, 61, 60, 70];
275objective = 336;
276% time elapsed: 0.04 s
277----------
278s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 57, 60, 58, 65];
279objective = 335;
280% time elapsed: 0.05 s
281----------
282s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 57, 61, 58, 65];
283objective = 334;
284% time elapsed: 0.05 s
285----------
286s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 37, 47, 33, 55, 46, 48, 57, 61, 58, 65];
287objective = 333;
288% time elapsed: 0.05 s
289----------
290s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 54, 46, 48, 58, 60, 57, 65];
291objective = 332;
292% time elapsed: 0.05 s
293----------
294s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 59, 62, 65];
295objective = 331;
296% time elapsed: 0.05 s
297----------
298s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 60, 58, 65];
299objective = 330;
300% time elapsed: 0.05 s
301----------
302s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 60, 58, 66];
303objective = 325;
304% time elapsed: 0.05 s
305----------
306s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 58, 61, 58, 66];
307objective = 324;
308% time elapsed: 0.05 s
309----------
310s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 37, 47, 33, 55, 46, 48, 59, 61, 58, 69];
311objective = 323;
312% time elapsed: 0.05 s
313----------
314s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 61, 58, 67];
315objective = 322;
316% time elapsed: 0.05 s
317----------
318s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 59, 59, 62, 70];
319objective = 321;
320% time elapsed: 0.05 s
321----------
322s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 60, 58, 68];
323objective = 320;
324% time elapsed: 0.05 s
325----------
326s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 61, 58, 68];
327objective = 319;
328% time elapsed: 0.05 s
329----------
330s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 37, 47, 33, 55, 46, 48, 59, 61, 58, 70];
331objective = 318;
332% time elapsed: 0.05 s
333----------
334s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 12, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 61, 58, 68];
335objective = 317;
336% time elapsed: 0.05 s
337----------
338s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 13, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 59, 59, 62, 70];
339objective = 316;
340% time elapsed: 0.05 s
341----------
342s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 13, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 60, 58, 68];
343objective = 315;
344% time elapsed: 0.05 s
345----------
346s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 13, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 61, 58, 68];
347objective = 314;
348% time elapsed: 0.05 s
349----------
350s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 13, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 60, 58, 68];
351objective = 313;
352% time elapsed: 0.05 s
353----------
354s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 13, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 61, 58, 68];
355objective = 312;
356% time elapsed: 0.05 s
357----------
358s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 59, 59, 62, 70];
359objective = 311;
360% time elapsed: 0.06 s
361----------
362s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 59, 60, 58, 70];
363objective = 310;
364% time elapsed: 0.06 s
365----------
366s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 61, 58, 68];
367objective = 309;
368% time elapsed: 0.06 s
369----------
370s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 14, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 61, 58, 69];
371objective = 304;
372% time elapsed: 0.06 s
373----------
374s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 15, 27, 40, 33, 41, 37, 47, 33, 55, 46, 48, 59, 61, 58, 70];
375objective = 303;
376% time elapsed: 0.06 s
377----------
378s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 15, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 61, 58, 68];
379objective = 302;
380% time elapsed: 0.06 s
381----------
382s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 47, 32, 55, 46, 48, 59, 59, 62, 70];
383objective = 301;
384% time elapsed: 0.06 s
385----------
386s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 60, 58, 68];
387objective = 300;
388% time elapsed: 0.06 s
389----------
390s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 61, 58, 68];
391objective = 299;
392% time elapsed: 0.06 s
393----------
394s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 60, 58, 68];
395objective = 298;
396% time elapsed: 0.06 s
397----------
398s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 60, 58, 69];
399objective = 293;
400% time elapsed: 0.06 s
401----------
402s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 58, 61, 58, 70];
403objective = 292;
404% time elapsed: 0.06 s
405----------
406s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 47, 36, 53, 32, 55, 46, 48, 59, 60, 58, 67];
407objective = 291;
408% time elapsed: 0.06 s
409----------
410s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 16, 27, 40, 33, 47, 36, 53, 32, 55, 46, 48, 59, 60, 58, 68];
411objective = 286;
412% time elapsed: 0.06 s
413----------
414s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 60, 58, 70];
415objective = 285;
416% time elapsed: 0.06 s
417----------
418s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 36, 52, 32, 55, 46, 48, 59, 61, 58, 70];
419objective = 284;
420% time elapsed: 0.06 s
421----------
422s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 60, 58, 70];
423objective = 283;
424% time elapsed: 0.06 s
425----------
426s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 36, 53, 32, 55, 46, 48, 59, 61, 58, 70];
427objective = 282;
428% time elapsed: 0.06 s
429----------
430s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 41, 37, 53, 33, 55, 46, 48, 59, 61, 58, 70];
431objective = 281;
432% time elapsed: 0.06 s
433----------
434s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 42, 36, 53, 32, 55, 46, 48, 59, 61, 58, 70];
435objective = 280;
436% time elapsed: 0.07 s
437----------
438s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 42, 37, 53, 33, 55, 46, 48, 59, 61, 58, 70];
439objective = 279;
440% time elapsed: 0.07 s
441----------
442s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 7, 18, 12, 27, 27, 17, 27, 40, 33, 43, 36, 53, 32, 55, 46, 48, 59, 61, 58, 70];
443objective = 278;
444% time elapsed: 0.07 s
445----------
446s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 8, 18, 13, 27, 27, 17, 27, 40, 33, 41, 37, 53, 33, 55, 46, 48, 59, 61, 58, 70];
447objective = 277;
448% time elapsed: 0.07 s
449----------
450s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 8, 18, 13, 27, 27, 17, 27, 40, 33, 47, 37, 53, 33, 55, 46, 48, 59, 60, 58, 68];
451objective = 276;
452% time elapsed: 0.07 s
453----------
454s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 8, 18, 13, 27, 27, 17, 27, 40, 33, 42, 37, 53, 33, 55, 46, 48, 59, 61, 58, 70];
455objective = 275;
456% time elapsed: 0.07 s
457----------
458s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 8, 18, 13, 27, 27, 17, 27, 40, 33, 48, 36, 54, 32, 55, 46, 48, 59, 61, 58, 68];
459objective = 274;
460% time elapsed: 0.07 s
461----------
462s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 8, 18, 13, 27, 27, 17, 27, 40, 33, 43, 37, 53, 33, 55, 46, 48, 59, 61, 58, 70];
463objective = 273;
464% time elapsed: 0.07 s
465----------
466s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 8, 18, 13, 27, 27, 17, 27, 40, 33, 46, 37, 53, 33, 55, 46, 48, 59, 61, 58, 69];
467objective = 272;
468% time elapsed: 0.07 s
469----------
470s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 30, 10, 25, 8, 18, 13, 27, 27, 17, 27, 40, 33, 44, 37, 53, 33, 55, 46, 48, 59, 61, 58, 70];
471objective = 271;
472% time elapsed: 0.08 s
473----------
474s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 34, 10, 25, 8, 18, 13, 27, 27, 17, 27, 28, 33, 46, 36, 53, 32, 55, 43, 46, 58, 61, 58, 65];
475objective = 270;
476% time elapsed: 0.08 s
477----------
478s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 34, 10, 25, 8, 18, 13, 27, 27, 17, 27, 28, 33, 44, 36, 53, 32, 55, 43, 46, 58, 61, 58, 66];
479objective = 269;
480% time elapsed: 0.09 s
481----------
482s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 34, 10, 25, 8, 18, 13, 27, 27, 17, 27, 28, 33, 47, 36, 53, 32, 55, 43, 46, 58, 61, 58, 65];
483objective = 268;
484% time elapsed: 0.09 s
485----------
486s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 34, 10, 25, 8, 18, 13, 27, 27, 17, 27, 28, 33, 47, 36, 53, 32, 55, 43, 46, 58, 58, 61, 66];
487objective = 266;
488% time elapsed: 0.09 s
489----------
490s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 34, 10, 25, 8, 18, 13, 27, 27, 17, 27, 28, 36, 46, 36, 53, 31, 55, 43, 46, 58, 61, 58, 65];
491objective = 265;
492% time elapsed: 0.09 s
493----------
494s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 34, 10, 25, 8, 18, 13, 27, 27, 17, 27, 28, 36, 47, 36, 53, 31, 55, 43, 46, 58, 60, 58, 65];
495objective = 264;
496% time elapsed: 0.09 s
497----------
498s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 36, 10, 25, 8, 18, 13, 27, 27, 17, 27, 30, 33, 47, 37, 53, 33, 55, 43, 46, 58, 61, 58, 65];
499objective = 263;
500% time elapsed: 0.09 s
501----------
502s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 36, 10, 25, 8, 18, 13, 27, 27, 17, 27, 30, 33, 47, 37, 53, 33, 55, 43, 46, 58, 58, 61, 66];
503objective = 261;
504% time elapsed: 0.10 s
505----------
506s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 8, 18, 13, 26, 27, 13, 27, 31, 33, 47, 35, 53, 33, 55, 43, 46, 59, 61, 58, 68];
507objective = 260;
508% time elapsed: 0.10 s
509----------
510s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 8, 18, 13, 26, 27, 13, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 68];
511objective = 259;
512% time elapsed: 0.11 s
513----------
514s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 8, 18, 13, 26, 27, 13, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 68];
515objective = 258;
516% time elapsed: 0.11 s
517----------
518s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 8, 18, 13, 27, 27, 13, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 68];
519objective = 257;
520% time elapsed: 0.11 s
521----------
522s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 12, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
523objective = 256;
524% time elapsed: 0.11 s
525----------
526s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 12, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
527objective = 255;
528% time elapsed: 0.11 s
529----------
530s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 27, 13, 27, 31, 33, 48, 34, 54, 33, 55, 43, 46, 59, 61, 58, 70];
531objective = 254;
532% time elapsed: 0.12 s
533----------
534s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 27, 13, 27, 31, 35, 48, 34, 54, 33, 55, 43, 46, 59, 61, 58, 69];
535objective = 253;
536% time elapsed: 0.12 s
537----------
538s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 27, 13, 27, 31, 35, 48, 34, 54, 33, 54, 43, 46, 59, 59, 57, 70];
539objective = 252;
540% time elapsed: 0.12 s
541----------
542s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 13, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
543objective = 251;
544% time elapsed: 0.12 s
545----------
546s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 13, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
547objective = 250;
548% time elapsed: 0.12 s
549----------
550s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 27, 14, 27, 31, 33, 48, 34, 54, 33, 55, 43, 46, 59, 61, 58, 70];
551objective = 249;
552% time elapsed: 0.12 s
553----------
554s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 28, 14, 27, 31, 33, 47, 34, 53, 33, 55, 43, 46, 59, 60, 58, 70];
555objective = 248;
556% time elapsed: 0.12 s
557----------
558s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 28, 14, 27, 31, 33, 47, 34, 53, 33, 55, 43, 46, 59, 61, 58, 70];
559objective = 247;
560% time elapsed: 0.12 s
561----------
562s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 14, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
563objective = 246;
564% time elapsed: 0.12 s
565----------
566s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 14, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
567objective = 245;
568% time elapsed: 0.13 s
569----------
570s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 27, 15, 27, 31, 33, 48, 34, 54, 33, 55, 43, 46, 59, 61, 58, 70];
571objective = 244;
572% time elapsed: 0.13 s
573----------
574s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 15, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
575objective = 243;
576% time elapsed: 0.13 s
577----------
578s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 15, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
579objective = 242;
580% time elapsed: 0.13 s
581----------
582s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 15, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
583objective = 241;
584% time elapsed: 0.13 s
585----------
586s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 15, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
587objective = 240;
588% time elapsed: 0.13 s
589----------
590s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 27, 16, 27, 31, 33, 48, 34, 54, 33, 55, 43, 46, 59, 61, 58, 70];
591objective = 239;
592% time elapsed: 0.13 s
593----------
594s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 16, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
595objective = 238;
596% time elapsed: 0.14 s
597----------
598s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 16, 27, 31, 36, 48, 35, 54, 32, 55, 43, 46, 59, 61, 58, 69];
599objective = 237;
600% time elapsed: 0.14 s
601----------
602s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 16, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
603objective = 236;
604% time elapsed: 0.14 s
605----------
606s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 27, 27, 16, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
607objective = 235;
608% time elapsed: 0.14 s
609----------
610s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 25, 27, 17, 27, 31, 33, 48, 34, 54, 33, 55, 43, 46, 59, 61, 58, 70];
611objective = 234;
612% time elapsed: 0.14 s
613----------
614s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 17, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
615objective = 233;
616% time elapsed: 0.14 s
617----------
618s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 17, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
619objective = 232;
620% time elapsed: 0.14 s
621----------
622s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 17, 27, 31, 35, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 69];
623objective = 231;
624% time elapsed: 0.14 s
625----------
626s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 27, 17, 27, 31, 35, 47, 35, 53, 33, 55, 43, 46, 59, 59, 62, 70];
627objective = 230;
628% time elapsed: 0.14 s
629----------
630s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 28, 17, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
631objective = 229;
632% time elapsed: 0.15 s
633----------
634s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 28, 17, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
635objective = 228;
636% time elapsed: 0.15 s
637----------
638s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 28, 17, 27, 31, 35, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 69];
639objective = 227;
640% time elapsed: 0.15 s
641----------
642s = [0, 0, 0, 0, 9, 6, 1, 18, 6, 37, 10, 25, 7, 18, 12, 26, 28, 17, 27, 31, 35, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
643objective = 222;
644% time elapsed: 0.15 s
645----------
646s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 28, 17, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
647objective = 221;
648% time elapsed: 0.15 s
649----------
650s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 28, 17, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
651objective = 220;
652% time elapsed: 0.16 s
653----------
654s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 26, 29, 17, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
655objective = 219;
656% time elapsed: 0.16 s
657----------
658s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 26, 29, 17, 27, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
659objective = 218;
660% time elapsed: 0.16 s
661----------
662s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 29, 17, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
663objective = 217;
664% time elapsed: 0.16 s
665----------
666s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 29, 17, 27, 31, 36, 48, 36, 54, 32, 55, 43, 46, 59, 61, 58, 69];
667objective = 216;
668% time elapsed: 0.16 s
669----------
670s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 29, 17, 27, 31, 36, 47, 36, 53, 32, 55, 43, 46, 59, 59, 62, 70];
671objective = 215;
672% time elapsed: 0.16 s
673----------
674s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 29, 17, 27, 31, 36, 47, 36, 53, 32, 55, 43, 46, 59, 60, 58, 70];
675objective = 214;
676% time elapsed: 0.16 s
677----------
678s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
679objective = 213;
680% time elapsed: 0.17 s
681----------
682s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 27, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
683objective = 212;
684% time elapsed: 0.17 s
685----------
686s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 27, 31, 35, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 69];
687objective = 211;
688% time elapsed: 0.18 s
689----------
690s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 27, 31, 35, 47, 36, 53, 33, 55, 43, 46, 59, 59, 62, 70];
691objective = 210;
692% time elapsed: 0.18 s
693----------
694s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 28, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
695objective = 209;
696% time elapsed: 0.18 s
697----------
698s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 26, 30, 17, 29, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
699objective = 208;
700% time elapsed: 0.18 s
701----------
702s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 29, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
703objective = 207;
704% time elapsed: 0.19 s
705----------
706s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 29, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
707objective = 206;
708% time elapsed: 0.19 s
709----------
710s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 26, 30, 17, 30, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
711objective = 205;
712% time elapsed: 0.19 s
713----------
714s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 30, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
715objective = 204;
716% time elapsed: 0.21 s
717----------
718s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 18, 13, 27, 30, 17, 30, 31, 36, 48, 36, 54, 32, 55, 43, 46, 59, 61, 58, 69];
719objective = 203;
720% time elapsed: 0.22 s
721----------
722s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 26, 30, 18, 28, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
723objective = 202;
724% time elapsed: 0.23 s
725----------
726s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 26, 30, 18, 28, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
727objective = 201;
728% time elapsed: 0.23 s
729----------
730s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 27, 30, 18, 28, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
731objective = 200;
732% time elapsed: 0.23 s
733----------
734s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 27, 30, 18, 28, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
735objective = 199;
736% time elapsed: 0.24 s
737----------
738s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 26, 30, 18, 29, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
739objective = 198;
740% time elapsed: 0.27 s
741----------
742s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 26, 30, 18, 30, 31, 33, 47, 35, 53, 33, 55, 43, 46, 59, 61, 58, 70];
743objective = 197;
744% time elapsed: 0.27 s
745----------
746s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 26, 30, 18, 30, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
747objective = 196;
748% time elapsed: 0.27 s
749----------
750s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 26, 30, 18, 30, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
751objective = 195;
752% time elapsed: 0.28 s
753----------
754s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 27, 30, 18, 30, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
755objective = 194;
756% time elapsed: 0.29 s
757----------
758s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 19, 13, 27, 30, 18, 30, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
759objective = 193;
760% time elapsed: 0.30 s
761----------
762s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 26, 29, 19, 29, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
763objective = 192;
764% time elapsed: 0.31 s
765----------
766s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 26, 30, 19, 29, 31, 33, 47, 35, 53, 33, 55, 43, 46, 59, 60, 58, 70];
767objective = 191;
768% time elapsed: 0.31 s
769----------
770s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 26, 30, 19, 29, 31, 33, 47, 35, 53, 33, 55, 43, 46, 59, 61, 58, 70];
771objective = 190;
772% time elapsed: 0.32 s
773----------
774s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 26, 30, 19, 29, 31, 33, 48, 35, 54, 33, 55, 43, 46, 59, 60, 58, 70];
775objective = 189;
776% time elapsed: 0.32 s
777----------
778s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 26, 30, 19, 29, 31, 36, 48, 35, 54, 32, 55, 43, 46, 59, 61, 58, 69];
779objective = 188;
780% time elapsed: 0.32 s
781----------
782s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 29, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
783objective = 187;
784% time elapsed: 0.32 s
785----------
786s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 29, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
787objective = 186;
788% time elapsed: 0.32 s
789----------
790s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 34, 10, 25, 8, 20, 13, 27, 30, 19, 29, 31, 37, 48, 36, 54, 32, 55, 43, 46, 59, 60, 58, 69];
791objective = 185;
792% time elapsed: 0.33 s
793----------
794s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 30, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
795objective = 184;
796% time elapsed: 0.33 s
797----------
798s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 30, 31, 33, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
799objective = 183;
800% time elapsed: 0.33 s
801----------
802s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 26, 30, 19, 30, 31, 34, 48, 35, 54, 33, 55, 43, 46, 59, 61, 58, 70];
803objective = 182;
804% time elapsed: 0.34 s
805----------
806s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 30, 31, 34, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
807objective = 181;
808% time elapsed: 0.34 s
809----------
810s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 30, 31, 34, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
811objective = 180;
812% time elapsed: 0.35 s
813----------
814s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 30, 31, 36, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 69];
815objective = 179;
816% time elapsed: 0.35 s
817----------
818s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 31, 31, 34, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
819objective = 178;
820% time elapsed: 0.38 s
821----------
822s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 31, 31, 34, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
823objective = 177;
824% time elapsed: 0.39 s
825----------
826s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 68];
827objective = 176;
828% time elapsed: 0.40 s
829----------
830s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 68];
831objective = 175;
832% time elapsed: 0.40 s
833----------
834s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 48, 36, 54, 33, 54, 43, 46, 59, 59, 57, 69];
835objective = 174;
836% time elapsed: 0.41 s
837----------
838s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 47, 36, 53, 33, 55, 43, 46, 59, 60, 58, 69];
839objective = 173;
840% time elapsed: 0.41 s
841----------
842s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 47, 36, 53, 33, 55, 43, 46, 59, 61, 58, 69];
843objective = 172;
844% time elapsed: 0.45 s
845----------
846s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 69];
847objective = 171;
848% time elapsed: 0.46 s
849----------
850s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 69];
851objective = 170;
852% time elapsed: 0.46 s
853----------
854s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 47, 36, 53, 33, 55, 43, 46, 59, 59, 62, 70];
855objective = 169;
856% time elapsed: 0.47 s
857----------
858s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 47, 36, 53, 33, 55, 43, 46, 59, 60, 58, 70];
859objective = 168;
860% time elapsed: 0.47 s
861----------
862s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 47, 36, 53, 33, 55, 43, 46, 59, 61, 58, 70];
863objective = 167;
864% time elapsed: 0.50 s
865----------
866s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 48, 36, 54, 33, 55, 43, 46, 59, 60, 58, 70];
867objective = 166;
868% time elapsed: 0.50 s
869----------
870s = [0, 0, 0, 0, 9, 6, 1, 18, 7, 37, 10, 25, 8, 20, 13, 27, 30, 19, 33, 31, 36, 48, 36, 54, 33, 55, 43, 46, 59, 61, 58, 70];
871objective = 165;
872% time elapsed: 0.50 s
873----------
874%%%mzn-stat: initTime=0.003568
875%%%mzn-stat: solveTime=120
876%%%mzn-stat: solutions=218
877%%%mzn-stat: variables=322
878%%%mzn-stat: propagators=392
879%%%mzn-stat: propagations=913459042
880%%%mzn-stat: nodes=6681315
881%%%mzn-stat: failures=3288354
882%%%mzn-stat: restarts=45568
883%%%mzn-stat: peakDepth=29
884%%%mzn-stat-end
885%% copies: 3438750