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