this repo has no description
dekker.one
1% init_area = 3764;
2s = [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];
3objective = 412;
4% time elapsed: 0.03 s
5----------
6s = [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, 51, 44, 53];
7objective = 407;
8% time elapsed: 0.03 s
9----------
10s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 15, 23, 38, 42, 27, 36, 36, 43, 45, 52];
11objective = 404;
12% time elapsed: 0.03 s
13----------
14s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 15, 23, 38, 42, 27, 36, 36, 51, 44, 53];
15objective = 399;
16% time elapsed: 0.03 s
17----------
18s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 15, 23, 38, 42, 27, 36, 36, 51, 44, 54];
19objective = 394;
20% time elapsed: 0.03 s
21----------
22s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 17, 23, 38, 42, 27, 36, 36, 43, 45, 52];
23objective = 392;
24% time elapsed: 0.03 s
25----------
26s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 17, 23, 38, 42, 27, 36, 36, 51, 44, 53];
27objective = 387;
28% time elapsed: 0.03 s
29----------
30s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 13, 1, 20, 27, 17, 23, 38, 42, 27, 36, 36, 51, 44, 54];
31objective = 382;
32% time elapsed: 0.03 s
33----------
34s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 18, 1, 20, 27, 16, 23, 38, 42, 27, 36, 36, 43, 45, 52];
35objective = 381;
36% time elapsed: 0.03 s
37----------
38s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 18, 1, 20, 27, 16, 23, 38, 42, 27, 36, 36, 51, 44, 53];
39objective = 376;
40% time elapsed: 0.04 s
41----------
42s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 18, 1, 20, 27, 16, 23, 38, 43, 27, 36, 36, 51, 44, 53];
43objective = 374;
44% time elapsed: 0.04 s
45----------
46s = [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];
47objective = 373;
48% time elapsed: 0.04 s
49----------
50s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 17, 10, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 36, 43, 45, 52];
51objective = 370;
52% time elapsed: 0.04 s
53----------
54s = [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];
55objective = 367;
56% time elapsed: 0.04 s
57----------
58s = [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];
59objective = 364;
60% time elapsed: 0.04 s
61----------
62s = [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];
63objective = 359;
64% time elapsed: 0.04 s
65----------
66s = [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];
67objective = 358;
68% time elapsed: 0.04 s
69----------
70s = [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];
71objective = 353;
72% time elapsed: 0.04 s
73----------
74s = [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];
75objective = 351;
76% time elapsed: 0.04 s
77----------
78s = [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];
79objective = 348;
80% time elapsed: 0.04 s
81----------
82s = [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, 53];
83objective = 343;
84% time elapsed: 0.04 s
85----------
86s = [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, 54];
87objective = 338;
88% time elapsed: 0.04 s
89----------
90s = [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, 41, 43, 45, 52];
91objective = 336;
92% time elapsed: 0.04 s
93----------
94s = [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, 41, 43, 45, 52];
95objective = 333;
96% time elapsed: 0.04 s
97----------
98s = [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, 41, 51, 44, 53];
99objective = 328;
100% time elapsed: 0.04 s
101----------
102s = [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, 41, 43, 45, 52];
103objective = 327;
104% time elapsed: 0.04 s
105----------
106s = [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, 41, 51, 44, 53];
107objective = 322;
108% time elapsed: 0.04 s
109----------
110s = [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, 43, 43, 45, 52];
111objective = 317;
112% time elapsed: 0.04 s
113----------
114s = [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];
115objective = 315;
116% time elapsed: 0.04 s
117----------
118s = [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];
119objective = 313;
120% time elapsed: 0.04 s
121----------
122s = [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, 43, 45, 52];
123objective = 310;
124% time elapsed: 0.04 s
125----------
126s = [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, 43, 45, 53];
127objective = 305;
128% time elapsed: 0.04 s
129----------
130s = [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, 46, 43, 45, 52];
131objective = 304;
132% time elapsed: 0.04 s
133----------
134s = [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, 47, 43, 45, 52];
135objective = 302;
136% time elapsed: 0.04 s
137----------
138s = [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, 45, 27, 36, 45, 51, 44, 53];
139objective = 301;
140% time elapsed: 0.04 s
141----------
142s = [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, 46, 27, 36, 45, 51, 44, 53];
143objective = 299;
144% time elapsed: 0.04 s
145----------
146s = [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, 47, 43, 45, 52];
147objective = 298;
148% time elapsed: 0.04 s
149----------
150s = [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];
151objective = 295;
152% time elapsed: 0.04 s
153----------
154s = [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];
155objective = 293;
156% time elapsed: 0.04 s
157----------
158s = [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];
159objective = 290;
160% time elapsed: 0.04 s
161----------
162s = [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];
163objective = 285;
164% time elapsed: 0.04 s
165----------
166s = [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];
167objective = 284;
168% time elapsed: 0.04 s
169----------
170s = [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, 45, 27, 36, 48, 51, 44, 53];
171objective = 283;
172% time elapsed: 0.04 s
173----------
174s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
175objective = 282;
176% time elapsed: 0.04 s
177----------
178s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 51, 44, 53];
179objective = 277;
180% time elapsed: 0.04 s
181----------
182s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 51, 44, 54];
183objective = 272;
184% time elapsed: 0.04 s
185----------
186s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 51, 44, 55];
187objective = 267;
188% time elapsed: 0.04 s
189----------
190s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 55];
191objective = 264;
192% time elapsed: 0.04 s
193----------
194s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 20, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
195objective = 263;
196% time elapsed: 0.04 s
197----------
198s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 18, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 55];
199objective = 262;
200% time elapsed: 0.04 s
201----------
202s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 39, 18, 23, 38, 42, 27, 31, 50, 48, 39, 51];
203objective = 259;
204% time elapsed: 0.04 s
205----------
206s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 39, 18, 23, 38, 42, 27, 31, 50, 49, 39, 51];
207objective = 258;
208% time elapsed: 0.04 s
209----------
210s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 39, 18, 23, 38, 42, 27, 31, 50, 48, 39, 52];
211objective = 254;
212% time elapsed: 0.04 s
213----------
214s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 40, 18, 23, 38, 42, 27, 32, 50, 49, 40, 51];
215objective = 251;
216% time elapsed: 0.04 s
217----------
218s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 39, 18, 23, 38, 47, 27, 31, 50, 48, 39, 51];
219objective = 249;
220% time elapsed: 0.04 s
221----------
222s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 39, 18, 23, 38, 47, 27, 31, 50, 49, 39, 51];
223objective = 248;
224% time elapsed: 0.04 s
225----------
226s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 40, 18, 23, 38, 47, 27, 31, 50, 49, 39, 51];
227objective = 246;
228% time elapsed: 0.04 s
229----------
230s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 40, 18, 23, 38, 45, 27, 32, 50, 49, 40, 51];
231objective = 245;
232% time elapsed: 0.04 s
233----------
234s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 2, 21, 40, 18, 23, 38, 46, 27, 32, 50, 49, 40, 51];
235objective = 243;
236% time elapsed: 0.04 s
237----------
238s = [0, 1, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
239objective = 242;
240% time elapsed: 0.04 s
241----------
242s = [0, 1, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 47, 27, 37, 50, 52, 45, 54];
243objective = 240;
244% time elapsed: 0.04 s
245----------
246s = [0, 2, 0, 0, 11, 4, 1, 6, 5, 19, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
247objective = 239;
248% time elapsed: 0.04 s
249----------
250s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
251objective = 238;
252% time elapsed: 0.04 s
253----------
254s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 37, 18, 23, 38, 42, 27, 29, 50, 46, 37, 55];
255objective = 235;
256% time elapsed: 0.04 s
257----------
258s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 37, 18, 23, 38, 42, 27, 29, 50, 47, 37, 55];
259objective = 234;
260% time elapsed: 0.04 s
261----------
262s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 37, 18, 23, 38, 47, 27, 29, 50, 48, 37, 53];
263objective = 233;
264% time elapsed: 0.04 s
265----------
266s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 37, 18, 23, 38, 47, 27, 29, 50, 49, 37, 53];
267objective = 232;
268% time elapsed: 0.04 s
269----------
270s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 39, 18, 23, 38, 46, 27, 31, 50, 48, 39, 51];
271objective = 231;
272% time elapsed: 0.04 s
273----------
274s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 50, 48, 39, 51];
275objective = 229;
276% time elapsed: 0.04 s
277----------
278s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 50, 49, 39, 51];
279objective = 228;
280% time elapsed: 0.04 s
281----------
282s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 39, 18, 23, 38, 46, 27, 31, 50, 48, 39, 52];
283objective = 226;
284% time elapsed: 0.04 s
285----------
286s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 50, 48, 39, 52];
287objective = 224;
288% time elapsed: 0.04 s
289----------
290s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 46, 27, 32, 50, 49, 40, 51];
291objective = 223;
292% time elapsed: 0.04 s
293----------
294s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 47, 27, 32, 50, 49, 40, 51];
295objective = 221;
296% time elapsed: 0.04 s
297----------
298s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 45, 27, 32, 50, 49, 40, 52];
299objective = 220;
300% time elapsed: 0.04 s
301----------
302s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 46, 27, 32, 50, 49, 40, 52];
303objective = 218;
304% time elapsed: 0.04 s
305----------
306s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 47, 27, 32, 50, 49, 40, 52];
307objective = 216;
308% time elapsed: 0.04 s
309----------
310s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 45, 27, 32, 50, 49, 40, 53];
311objective = 215;
312% time elapsed: 0.04 s
313----------
314s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 46, 27, 33, 50, 50, 41, 52];
315objective = 214;
316% time elapsed: 0.04 s
317----------
318s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 46, 27, 33, 50, 50, 41, 53];
319objective = 209;
320% time elapsed: 0.04 s
321----------
322s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 53];
323objective = 207;
324% time elapsed: 0.04 s
325----------
326s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 47, 27, 32, 50, 49, 40, 54];
327objective = 206;
328% time elapsed: 0.04 s
329----------
330s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 20, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 54];
331objective = 205;
332% time elapsed: 0.04 s
333----------
334s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 20, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 47, 27, 32, 50, 49, 40, 55];
335objective = 204;
336% time elapsed: 0.04 s
337----------
338s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 54];
339objective = 202;
340% time elapsed: 0.04 s
341----------
342s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 40, 18, 23, 38, 47, 27, 32, 50, 49, 40, 55];
343objective = 201;
344% time elapsed: 0.04 s
345----------
346s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 46, 27, 33, 50, 50, 41, 55];
347objective = 199;
348% time elapsed: 0.04 s
349----------
350s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 55];
351objective = 197;
352% time elapsed: 0.04 s
353----------
354s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 29, 21, 11, 18, 3, 21, 40, 18, 23, 39, 47, 28, 32, 50, 49, 40, 55];
355objective = 196;
356% time elapsed: 0.04 s
357----------
358s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 28, 21, 11, 18, 3, 21, 41, 18, 23, 38, 47, 27, 33, 50, 50, 41, 55];
359objective = 195;
360% time elapsed: 0.05 s
361----------
362s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 29, 21, 11, 18, 3, 21, 40, 18, 23, 39, 47, 28, 32, 50, 49, 40, 55];
363objective = 194;
364% time elapsed: 0.06 s
365----------
366s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 29, 21, 11, 18, 3, 21, 41, 18, 23, 39, 46, 28, 33, 50, 50, 41, 55];
367objective = 192;
368% time elapsed: 0.06 s
369----------
370s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 29, 21, 11, 18, 3, 21, 41, 18, 23, 39, 47, 28, 33, 50, 50, 41, 55];
371objective = 190;
372% time elapsed: 0.06 s
373----------
374s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 30, 21, 11, 18, 3, 21, 41, 18, 23, 40, 46, 29, 33, 50, 50, 41, 55];
375objective = 189;
376% time elapsed: 0.07 s
377----------
378s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 21, 11, 6, 30, 21, 11, 18, 3, 21, 41, 18, 23, 40, 47, 29, 33, 50, 50, 41, 55];
379objective = 187;
380% time elapsed: 0.07 s
381----------
382s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 30, 21, 11, 18, 3, 21, 41, 18, 23, 40, 47, 29, 33, 50, 50, 41, 55];
383objective = 185;
384% time elapsed: 0.07 s
385----------
386s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 31, 21, 11, 18, 3, 21, 40, 18, 23, 41, 47, 30, 32, 50, 49, 40, 55];
387objective = 184;
388% time elapsed: 0.07 s
389----------
390s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 23, 43, 47, 32, 33, 50, 50, 41, 53];
391objective = 180;
392% time elapsed: 0.08 s
393----------
394s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 52];
395objective = 179;
396% time elapsed: 0.08 s
397----------
398s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 24, 43, 47, 32, 33, 50, 50, 41, 53];
399objective = 178;
400% time elapsed: 0.08 s
401----------
402s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 24, 43, 47, 32, 33, 50, 50, 41, 54];
403objective = 173;
404% time elapsed: 0.08 s
405----------
406s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 21, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 24, 43, 47, 32, 33, 50, 50, 41, 55];
407objective = 168;
408% time elapsed: 0.08 s
409----------
410s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 24, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 53];
411objective = 167;
412% time elapsed: 0.08 s
413----------
414s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 23, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 54];
415objective = 165;
416% time elapsed: 0.08 s
417----------
418s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 23, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 54];
419objective = 163;
420% time elapsed: 0.09 s
421----------
422s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 23, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
423objective = 158;
424% time elapsed: 0.09 s
425----------
426s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 21, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
427objective = 155;
428% time elapsed: 0.09 s
429----------
430s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 24, 11, 6, 33, 22, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
431objective = 153;
432% time elapsed: 0.09 s
433----------
434s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 22, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
435objective = 151;
436% time elapsed: 0.11 s
437----------
438s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 24, 11, 6, 33, 23, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
439objective = 149;
440% time elapsed: 0.11 s
441----------
442s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 23, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
443objective = 147;
444% time elapsed: 0.12 s
445----------
446s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 32, 25, 11, 18, 3, 21, 41, 18, 27, 42, 46, 31, 33, 50, 50, 41, 55];
447objective = 146;
448% time elapsed: 0.13 s
449----------
450s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 32, 25, 11, 18, 3, 21, 41, 18, 27, 42, 47, 31, 33, 50, 50, 41, 55];
451objective = 144;
452% time elapsed: 0.13 s
453----------
454s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 24, 11, 18, 3, 21, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 55];
455objective = 143;
456% time elapsed: 0.15 s
457----------
458s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 24, 11, 6, 33, 26, 11, 18, 3, 21, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 54];
459objective = 142;
460% time elapsed: 0.15 s
461----------
462s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 18, 13, 5, 24, 11, 6, 33, 25, 11, 18, 3, 21, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 55];
463objective = 141;
464% time elapsed: 0.15 s
465----------
466s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 26, 11, 18, 3, 21, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 54];
467objective = 140;
468% time elapsed: 0.15 s
469----------
470s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 26, 11, 18, 3, 21, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
471objective = 135;
472% time elapsed: 0.15 s
473----------
474s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 26, 12, 18, 3, 22, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
475objective = 134;
476% time elapsed: 0.16 s
477----------
478s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 14, 5, 24, 11, 6, 33, 26, 12, 18, 3, 22, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
479objective = 133;
480% time elapsed: 0.16 s
481----------
482s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 15, 5, 24, 11, 6, 33, 26, 12, 18, 3, 22, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
483objective = 132;
484% time elapsed: 0.16 s
485----------
486s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 13, 5, 24, 11, 6, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
487objective = 131;
488% time elapsed: 0.18 s
489----------
490s = [0, 2, 0, 0, 11, 5, 1, 6, 5, 19, 14, 5, 24, 11, 6, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
491objective = 130;
492% time elapsed: 0.24 s
493----------
494%%%mzn-stat: initTime=0.003839
495%%%mzn-stat: solveTime=120
496%%%mzn-stat: solutions=123
497%%%mzn-stat: variables=381
498%%%mzn-stat: propagators=446
499%%%mzn-stat: propagations=1377625312
500%%%mzn-stat: nodes=14387816
501%%%mzn-stat: failures=7076810
502%%%mzn-stat: restarts=135872
503%%%mzn-stat: peakDepth=31
504%%%mzn-stat-end
505%% copies: 7447004