this repo has no description
dekker.one
1% init_area = 3764;
2% Read 267951 lines of neighbourhoods!
3s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 52];
4objective = 412;
5% time elapsed: 0.73 s
6----------
7s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 52];
8objective = 410;
9% time elapsed: 0.74 s
10----------
11s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 52];
12objective = 407;
13% time elapsed: 0.74 s
14----------
15s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 53];
16objective = 402;
17% time elapsed: 0.74 s
18----------
19s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 54];
20objective = 397;
21% time elapsed: 0.74 s
22----------
23s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 55];
24objective = 392;
25% time elapsed: 0.74 s
26----------
27s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 40, 43, 45, 52];
28objective = 387;
29% time elapsed: 0.74 s
30----------
31s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 40, 43, 45, 53];
32objective = 382;
33% time elapsed: 0.74 s
34----------
35s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 13, 1, 20, 27, 13, 23, 38, 42, 27, 36, 42, 43, 45, 52];
36objective = 377;
37% time elapsed: 0.74 s
38----------
39s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 36, 43, 45, 52];
40objective = 375;
41% time elapsed: 0.74 s
42----------
43s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 37, 43, 45, 52];
44objective = 370;
45% time elapsed: 0.74 s
46----------
47s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 37, 51, 44, 53];
48objective = 365;
49% time elapsed: 0.74 s
50----------
51s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 19, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 36, 43, 45, 52];
52objective = 364;
53% time elapsed: 0.74 s
54----------
55s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 19, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 36, 51, 44, 53];
56objective = 359;
57% time elapsed: 0.74 s
58----------
59s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 36, 43, 45, 52];
60objective = 358;
61% time elapsed: 0.74 s
62----------
63s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 36, 51, 44, 53];
64objective = 353;
65% time elapsed: 0.74 s
66----------
67s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 38, 43, 45, 52];
68objective = 351;
69% time elapsed: 0.74 s
70----------
71s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 38, 43, 45, 52];
72objective = 348;
73% time elapsed: 0.74 s
74----------
75s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 39, 43, 45, 52];
76objective = 346;
77% time elapsed: 0.74 s
78----------
79s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 39, 51, 44, 53];
80objective = 341;
81% time elapsed: 0.74 s
82----------
83s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 38, 43, 45, 52];
84objective = 340;
85% time elapsed: 0.74 s
86----------
87s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 39, 43, 45, 52];
88objective = 338;
89% time elapsed: 0.74 s
90----------
91s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 39, 43, 45, 52];
92objective = 335;
93% time elapsed: 0.74 s
94----------
95s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 40, 43, 45, 52];
96objective = 333;
97% time elapsed: 0.74 s
98----------
99s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 40, 43, 45, 52];
100objective = 332;
101% time elapsed: 0.74 s
102----------
103s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 40, 51, 44, 53];
104objective = 327;
105% time elapsed: 0.74 s
106----------
107s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 42, 43, 45, 52];
108objective = 322;
109% time elapsed: 0.74 s
110----------
111s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 42, 43, 45, 52];
112objective = 320;
113% time elapsed: 0.74 s
114----------
115s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 42, 51, 44, 53];
116objective = 315;
117% time elapsed: 0.74 s
118----------
119s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 43, 51, 44, 53];
120objective = 310;
121% time elapsed: 0.74 s
122----------
123s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 44, 51, 44, 53];
124objective = 305;
125% time elapsed: 0.74 s
126----------
127s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 45, 51, 44, 53];
128objective = 300;
129% time elapsed: 0.74 s
130----------
131s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 46, 51, 44, 53];
132objective = 295;
133% time elapsed: 0.74 s
134----------
135s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 48, 43, 45, 52];
136objective = 290;
137% time elapsed: 0.74 s
138----------
139s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 49, 43, 45, 52];
140objective = 289;
141% time elapsed: 0.74 s
142----------
143s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
144objective = 284;
145% time elapsed: 0.74 s
146----------
147s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
148objective = 283;
149% time elapsed: 0.74 s
150----------
151s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
152objective = 280;
153% time elapsed: 0.74 s
154----------
155s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 45, 27, 36, 48, 51, 44, 53];
156objective = 279;
157% time elapsed: 0.74 s
158----------
159s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 45, 27, 36, 49, 51, 44, 53];
160objective = 274;
161% time elapsed: 0.74 s
162----------
163s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
164objective = 273;
165% time elapsed: 0.74 s
166----------
167s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
168objective = 271;
169% time elapsed: 0.74 s
170----------
171s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 53];
172objective = 270;
173% time elapsed: 0.74 s
174----------
175s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 6, 26, 21, 10, 18, 2, 20, 27, 18, 25, 38, 42, 36, 37, 50, 43, 45, 53];
176objective = 268;
177% time elapsed: 0.74 s
178----------
179s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 6, 26, 21, 10, 18, 2, 20, 27, 18, 25, 38, 42, 36, 37, 50, 43, 45, 54];
180objective = 263;
181% time elapsed: 0.74 s
182----------
183s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 54];
184objective = 261;
185% time elapsed: 0.74 s
186----------
187s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 55];
188objective = 260;
189% time elapsed: 0.74 s
190----------
191s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 20, 39, 18, 23, 38, 47, 27, 31, 49, 48, 39, 50];
192objective = 258;
193% time elapsed: 0.74 s
194----------
195s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 55];
196objective = 256;
197% time elapsed: 0.74 s
198----------
199s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 6, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
200objective = 254;
201% time elapsed: 0.74 s
202----------
203s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 6, 28, 21, 11, 18, 3, 21, 39, 18, 23, 38, 42, 27, 31, 50, 48, 39, 51];
204objective = 253;
205% time elapsed: 0.74 s
206----------
207s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 6, 28, 21, 11, 18, 3, 21, 39, 18, 23, 38, 42, 27, 31, 50, 49, 39, 51];
208objective = 252;
209% time elapsed: 0.74 s
210----------
211s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
212objective = 251;
213% time elapsed: 0.74 s
214----------
215s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 28, 18, 23, 38, 47, 27, 37, 50, 52, 45, 54];
216objective = 249;
217% time elapsed: 0.75 s
218----------
219s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 26, 21, 10, 18, 3, 21, 28, 18, 23, 38, 46, 36, 37, 50, 52, 45, 55];
220objective = 247;
221% time elapsed: 0.75 s
222----------
223s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 39, 18, 23, 38, 46, 27, 31, 50, 48, 39, 51];
224objective = 246;
225% time elapsed: 0.75 s
226----------
227s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 39, 18, 23, 38, 46, 27, 31, 50, 49, 39, 51];
228objective = 245;
229% time elapsed: 0.75 s
230----------
231s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 50, 48, 39, 51];
232objective = 244;
233% time elapsed: 0.75 s
234----------
235s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 50, 49, 39, 51];
236objective = 243;
237% time elapsed: 0.75 s
238----------
239s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 40, 18, 23, 38, 47, 27, 31, 50, 49, 39, 51];
240objective = 241;
241% time elapsed: 0.75 s
242----------
243s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 50, 48, 39, 52];
244objective = 239;
245% time elapsed: 0.75 s
246----------
247s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 40, 18, 23, 38, 46, 27, 32, 50, 49, 40, 51];
248objective = 238;
249% time elapsed: 0.75 s
250----------
251s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 40, 18, 23, 38, 47, 27, 32, 50, 49, 40, 51];
252objective = 236;
253% time elapsed: 0.75 s
254----------
255s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 40, 18, 23, 38, 47, 27, 32, 50, 49, 40, 52];
256objective = 231;
257% time elapsed: 0.75 s
258----------
259s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 46, 27, 33, 50, 50, 41, 52];
260objective = 229;
261% time elapsed: 0.75 s
262----------
263s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 52];
264objective = 227;
265% time elapsed: 0.75 s
266----------
267s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 53];
268objective = 222;
269% time elapsed: 0.75 s
270----------
271s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 45, 27, 33, 50, 50, 41, 54];
272objective = 221;
273% time elapsed: 0.75 s
274----------
275s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 45, 27, 33, 50, 50, 41, 55];
276objective = 216;
277% time elapsed: 0.75 s
278----------
279s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 46, 27, 33, 50, 50, 41, 55];
280objective = 214;
281% time elapsed: 0.75 s
282----------
283s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 54];
284objective = 213;
285% time elapsed: 0.76 s
286----------
287s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 10, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 55];
288objective = 208;
289% time elapsed: 0.76 s
290----------
291s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 55];
292objective = 207;
293% time elapsed: 0.77 s
294----------
295s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 55];
296objective = 205;
297% time elapsed: 0.77 s
298----------
299s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 55];
300objective = 203;
301% time elapsed: 0.77 s
302----------
303s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 29, 21, 11, 18, 3, 21, 40, 18, 23, 39, 47, 28, 32, 50, 49, 40, 55];
304objective = 202;
305% time elapsed: 0.78 s
306----------
307s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 18, 13, 5, 21, 11, 6, 29, 21, 11, 18, 3, 21, 41, 18, 23, 39, 47, 28, 33, 50, 50, 41, 55];
308objective = 200;
309% time elapsed: 0.78 s
310----------
311s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 29, 21, 11, 18, 3, 21, 41, 18, 23, 39, 47, 28, 33, 50, 50, 41, 55];
312objective = 198;
313% time elapsed: 0.78 s
314----------
315s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 23, 43, 47, 32, 33, 50, 50, 41, 52];
316objective = 193;
317% time elapsed: 0.78 s
318----------
319s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 23, 43, 47, 32, 33, 50, 50, 41, 53];
320objective = 188;
321% time elapsed: 0.78 s
322----------
323s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 23, 43, 47, 32, 33, 50, 50, 41, 54];
324objective = 183;
325% time elapsed: 0.78 s
326----------
327s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 23, 43, 47, 32, 33, 50, 50, 41, 55];
328objective = 178;
329% time elapsed: 0.78 s
330----------
331s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 54];
332objective = 177;
333% time elapsed: 0.78 s
334----------
335s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 23, 11, 6, 30, 23, 11, 18, 3, 21, 41, 18, 25, 40, 47, 29, 33, 50, 50, 41, 55];
336objective = 175;
337% time elapsed: 0.79 s
338----------
339s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 31, 21, 11, 18, 3, 21, 41, 18, 26, 41, 47, 30, 33, 50, 50, 41, 55];
340objective = 173;
341% time elapsed: 0.79 s
342----------
343s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 32, 21, 11, 18, 3, 21, 40, 18, 26, 42, 47, 31, 32, 50, 49, 40, 55];
344objective = 172;
345% time elapsed: 0.79 s
346----------
347s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 32, 21, 11, 18, 3, 21, 41, 18, 26, 42, 46, 31, 33, 50, 50, 41, 55];
348objective = 170;
349% time elapsed: 0.80 s
350----------
351s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 54];
352objective = 168;
353% time elapsed: 0.80 s
354----------
355s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 23, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
356objective = 166;
357% time elapsed: 0.80 s
358----------
359s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 31, 23, 11, 18, 3, 21, 41, 18, 26, 41, 47, 30, 33, 50, 50, 41, 55];
360objective = 165;
361% time elapsed: 0.81 s
362----------
363s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 23, 11, 6, 31, 24, 11, 18, 3, 21, 41, 18, 26, 41, 47, 30, 33, 50, 50, 41, 55];
364objective = 164;
365% time elapsed: 0.81 s
366----------
367s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
368objective = 163;
369% time elapsed: 0.82 s
370----------
371s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 31, 24, 11, 18, 3, 21, 41, 18, 26, 41, 47, 30, 33, 50, 50, 41, 55];
372objective = 161;
373% time elapsed: 0.82 s
374----------
375s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 23, 11, 6, 32, 25, 11, 18, 3, 21, 41, 18, 27, 42, 47, 31, 33, 50, 50, 41, 54];
376objective = 160;
377% time elapsed: 0.83 s
378----------
379s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 23, 11, 6, 32, 25, 11, 18, 3, 21, 40, 18, 27, 42, 47, 31, 32, 50, 49, 40, 55];
380objective = 159;
381% time elapsed: 0.83 s
382----------
383s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 18, 13, 5, 24, 11, 6, 33, 23, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
384objective = 157;
385% time elapsed: 0.84 s
386----------
387s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 33, 23, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
388objective = 155;
389% time elapsed: 0.84 s
390----------
391s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 18, 13, 5, 24, 11, 6, 33, 24, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
392objective = 153;
393% time elapsed: 0.85 s
394----------
395s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 33, 24, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
396objective = 151;
397% time elapsed: 0.85 s
398----------
399s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 33, 26, 11, 18, 3, 21, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 54];
400objective = 148;
401% time elapsed: 0.86 s
402----------
403s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 6, 33, 26, 11, 18, 3, 21, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
404objective = 143;
405% time elapsed: 0.86 s
406----------
407s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 7, 33, 25, 15, 18, 3, 25, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 55];
408objective = 142;
409% time elapsed: 0.88 s
410----------
411s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 23, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
412objective = 141;
413% time elapsed: 0.88 s
414----------
415s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 13, 5, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
416objective = 138;
417% time elapsed: 0.88 s
418----------
419s = [0, 1, 0, 0, 10, 4, 1, 5, 5, 19, 14, 5, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
420objective = 137;
421% time elapsed: 0.89 s
422----------
423%%%mzn-stat: initTime=0.733061
424%%%mzn-stat: solveTime=120
425%%%mzn-stat: solutions=105
426%%%mzn-stat: variables=206
427%%%mzn-stat: propagators=239
428%%%mzn-stat: propagations=1391802058
429%%%mzn-stat: nodes=14962667
430%%%mzn-stat: failures=7365313
431%%%mzn-stat: restarts=140650
432%%%mzn-stat: peakDepth=31
433%%%mzn-stat-end
434%% copies: 7738112