this repo has no description
dekker.one
1% init_area = 10111;
2s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 35, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
3objective = 1011;
4% time elapsed: 0.03 s
5----------
6s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 36, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
7objective = 1007;
8% time elapsed: 0.03 s
9----------
10s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 37, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
11objective = 1003;
12% time elapsed: 0.03 s
13----------
14s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 38, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
15objective = 999;
16% time elapsed: 0.03 s
17----------
18s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 39, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
19objective = 995;
20% time elapsed: 0.03 s
21----------
22s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 40, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
23objective = 991;
24% time elapsed: 0.03 s
25----------
26s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 41, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
27objective = 987;
28% time elapsed: 0.03 s
29----------
30s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 42, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
31objective = 983;
32% time elapsed: 0.03 s
33----------
34s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 43, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
35objective = 979;
36% time elapsed: 0.04 s
37----------
38s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 44, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
39objective = 975;
40% time elapsed: 0.04 s
41----------
42s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 45, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
43objective = 971;
44% time elapsed: 0.04 s
45----------
46s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 10, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
47objective = 967;
48% time elapsed: 0.04 s
49----------
50s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 17, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
51objective = 966;
52% time elapsed: 0.04 s
53----------
54s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 18, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
55objective = 965;
56% time elapsed: 0.04 s
57----------
58s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 15, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
59objective = 964;
60% time elapsed: 0.04 s
61----------
62s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 16, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
63objective = 963;
64% time elapsed: 0.04 s
65----------
66s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 17, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
67objective = 962;
68% time elapsed: 0.04 s
69----------
70s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 18, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
71objective = 961;
72% time elapsed: 0.04 s
73----------
74s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 15, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
75objective = 960;
76% time elapsed: 0.04 s
77----------
78s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 16, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
79objective = 959;
80% time elapsed: 0.04 s
81----------
82s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 17, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
83objective = 958;
84% time elapsed: 0.04 s
85----------
86s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 18, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
87objective = 957;
88% time elapsed: 0.04 s
89----------
90s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 15, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
91objective = 956;
92% time elapsed: 0.04 s
93----------
94s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 16, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
95objective = 955;
96% time elapsed: 0.04 s
97----------
98s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 17, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
99objective = 954;
100% time elapsed: 0.04 s
101----------
102s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 18, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
103objective = 953;
104% time elapsed: 0.04 s
105----------
106s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 15, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
107objective = 952;
108% time elapsed: 0.04 s
109----------
110s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 16, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
111objective = 951;
112% time elapsed: 0.04 s
113----------
114s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 17, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
115objective = 950;
116% time elapsed: 0.04 s
117----------
118s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 19, 28, 32, 27, 24, 24, 32, 28, 29, 3, 18, 32, 15, 10, 29, 46, 25, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
119objective = 949;
120% time elapsed: 0.04 s
121----------
122s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 3, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
123objective = 947;
124% time elapsed: 0.04 s
125----------
126s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 4, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
127objective = 943;
128% time elapsed: 0.04 s
129----------
130s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 5, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
131objective = 939;
132% time elapsed: 0.04 s
133----------
134s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
135objective = 935;
136% time elapsed: 0.04 s
137----------
138s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
139objective = 931;
140% time elapsed: 0.04 s
141----------
142s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
143objective = 927;
144% time elapsed: 0.04 s
145----------
146s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
147objective = 926;
148% time elapsed: 0.04 s
149----------
150s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
151objective = 922;
152% time elapsed: 0.04 s
153----------
154s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
155objective = 921;
156% time elapsed: 0.04 s
157----------
158s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 15, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
159objective = 917;
160% time elapsed: 0.04 s
161----------
162s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
163objective = 916;
164% time elapsed: 0.04 s
165----------
166s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
167objective = 913;
168% time elapsed: 0.04 s
169----------
170s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
171objective = 912;
172% time elapsed: 0.04 s
173----------
174s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
175objective = 911;
176% time elapsed: 0.04 s
177----------
178s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 40, 53, 1, 63, 55, 69, 41, 72];
179objective = 908;
180% time elapsed: 0.04 s
181----------
182s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
183objective = 907;
184% time elapsed: 0.04 s
185----------
186s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
187objective = 904;
188% time elapsed: 0.04 s
189----------
190s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
191objective = 903;
192% time elapsed: 0.04 s
193----------
194s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 17, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
195objective = 902;
196% time elapsed: 0.04 s
197----------
198s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 35, 57, 43, 53, 1, 63, 55, 69, 41, 72];
199objective = 899;
200% time elapsed: 0.04 s
201----------
202s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 36, 57, 43, 53, 1, 63, 55, 69, 41, 72];
203objective = 896;
204% time elapsed: 0.04 s
205----------
206s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 37, 57, 43, 53, 1, 63, 55, 69, 41, 72];
207objective = 893;
208% time elapsed: 0.04 s
209----------
210s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 38, 57, 43, 53, 1, 63, 55, 69, 41, 72];
211objective = 890;
212% time elapsed: 0.05 s
213----------
214s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 39, 57, 44, 53, 1, 63, 55, 69, 41, 72];
215objective = 889;
216% time elapsed: 0.05 s
217----------
218s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 40, 57, 45, 53, 1, 63, 55, 69, 41, 72];
219objective = 888;
220% time elapsed: 0.05 s
221----------
222s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 41, 57, 46, 53, 1, 63, 55, 69, 41, 72];
223objective = 887;
224% time elapsed: 0.06 s
225----------
226s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 42, 57, 47, 53, 1, 63, 55, 69, 41, 72];
227objective = 886;
228% time elapsed: 0.06 s
229----------
230s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 55, 69, 41, 72];
231objective = 885;
232% time elapsed: 0.06 s
233----------
234s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 72];
235objective = 884;
236% time elapsed: 0.07 s
237----------
238s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 29, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 55, 69, 41, 72];
239objective = 883;
240% time elapsed: 0.07 s
241----------
242s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 55, 69, 41, 72];
243objective = 882;
244% time elapsed: 0.11 s
245----------
246s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 55, 69, 41, 72];
247objective = 881;
248% time elapsed: 0.13 s
249----------
250s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 55, 69, 41, 72];
251objective = 880;
252% time elapsed: 0.13 s
253----------
254s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 55, 69, 41, 72];
255objective = 879;
256% time elapsed: 0.13 s
257----------
258s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 55, 69, 41, 72];
259objective = 878;
260% time elapsed: 0.14 s
261----------
262s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 55, 69, 41, 72];
263objective = 877;
264% time elapsed: 0.14 s
265----------
266s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
267objective = 876;
268% time elapsed: 0.29 s
269----------
270s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 6, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
271objective = 875;
272% time elapsed: 0.29 s
273----------
274s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
275objective = 874;
276% time elapsed: 0.32 s
277----------
278s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 59, 69, 41, 72];
279objective = 873;
280% time elapsed: 0.36 s
281----------
282s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
283objective = 872;
284% time elapsed: 0.36 s
285----------
286s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
287objective = 871;
288% time elapsed: 0.36 s
289----------
290s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
291objective = 870;
292% time elapsed: 0.39 s
293----------
294s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 59, 69, 41, 72];
295objective = 869;
296% time elapsed: 0.43 s
297----------
298s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
299objective = 868;
300% time elapsed: 0.43 s
301----------
302s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
303objective = 867;
304% time elapsed: 0.43 s
305----------
306s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
307objective = 866;
308% time elapsed: 0.56 s
309----------
310s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
311objective = 865;
312% time elapsed: 0.62 s
313----------
314s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 59, 69, 41, 72];
315objective = 864;
316% time elapsed: 0.66 s
317----------
318s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
319objective = 863;
320% time elapsed: 0.66 s
321----------
322s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
323objective = 862;
324% time elapsed: 0.66 s
325----------
326s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
327objective = 861;
328% time elapsed: 0.79 s
329----------
330s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
331objective = 860;
332% time elapsed: 0.85 s
333----------
334s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 43, 57, 48, 53, 1, 63, 59, 69, 41, 72];
335objective = 859;
336% time elapsed: 0.88 s
337----------
338s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
339objective = 858;
340% time elapsed: 0.89 s
341----------
342s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 47, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
343objective = 857;
344% time elapsed: 0.89 s
345----------
346s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
347objective = 856;
348% time elapsed: 1.92 s
349----------
350s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
351objective = 855;
352% time elapsed: 1.93 s
353----------
354s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
355objective = 854;
356% time elapsed: 1.93 s
357----------
358s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
359objective = 853;
360% time elapsed: 2.20 s
361----------
362s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
363objective = 852;
364% time elapsed: 2.33 s
365----------
366s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
367objective = 851;
368% time elapsed: 2.42 s
369----------
370s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
371objective = 850;
372% time elapsed: 2.44 s
373----------
374s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 11, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
375objective = 849;
376% time elapsed: 2.44 s
377----------
378s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 12, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
379objective = 848;
380% time elapsed: 6.93 s
381----------
382s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 12, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
383objective = 847;
384% time elapsed: 7.26 s
385----------
386s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 12, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
387objective = 846;
388% time elapsed: 7.33 s
389----------
390s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 12, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
391objective = 845;
392% time elapsed: 7.33 s
393----------
394s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 12, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
395objective = 844;
396% time elapsed: 7.33 s
397----------
398s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 13, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
399objective = 843;
400% time elapsed: 10.50 s
401----------
402s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 13, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
403objective = 842;
404% time elapsed: 10.83 s
405----------
406s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 13, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
407objective = 841;
408% time elapsed: 10.90 s
409----------
410s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 13, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
411objective = 840;
412% time elapsed: 10.90 s
413----------
414s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 13, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
415objective = 839;
416% time elapsed: 10.90 s
417----------
418s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 14, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
419objective = 838;
420% time elapsed: 14.07 s
421----------
422s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
423objective = 837;
424% time elapsed: 14.40 s
425----------
426s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
427objective = 836;
428% time elapsed: 14.47 s
429----------
430s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
431objective = 835;
432% time elapsed: 14.47 s
433----------
434s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 14, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
435objective = 834;
436% time elapsed: 14.47 s
437----------
438s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 15, 17, 17, 21, 25, 7, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
439objective = 833;
440% time elapsed: 17.63 s
441----------
442s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 15, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
443objective = 832;
444% time elapsed: 17.97 s
445----------
446s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 15, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
447objective = 831;
448% time elapsed: 18.04 s
449----------
450s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 15, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
451objective = 830;
452% time elapsed: 18.04 s
453----------
454s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 15, 17, 17, 21, 25, 8, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
455objective = 829;
456% time elapsed: 18.04 s
457----------
458s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
459objective = 828;
460% time elapsed: 20.87 s
461----------
462s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
463objective = 827;
464% time elapsed: 20.88 s
465----------
466s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
467objective = 826;
468% time elapsed: 20.88 s
469----------
470s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 16, 17, 17, 21, 25, 9, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
471objective = 825;
472% time elapsed: 21.26 s
473----------
474s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
475objective = 824;
476% time elapsed: 21.56 s
477----------
478s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
479objective = 823;
480% time elapsed: 21.62 s
481----------
482s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
483objective = 822;
484% time elapsed: 21.63 s
485----------
486s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
487objective = 821;
488% time elapsed: 21.63 s
489----------
490s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 16, 17, 17, 21, 25, 9, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
491objective = 820;
492% time elapsed: 22.01 s
493----------
494s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
495objective = 819;
496% time elapsed: 22.31 s
497----------
498s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
499objective = 818;
500% time elapsed: 22.37 s
501----------
502s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
503objective = 817;
504% time elapsed: 22.38 s
505----------
506s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 16, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
507objective = 816;
508% time elapsed: 22.38 s
509----------
510s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 9, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
511objective = 815;
512% time elapsed: 23.34 s
513----------
514s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
515objective = 814;
516% time elapsed: 23.63 s
517----------
518s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
519objective = 813;
520% time elapsed: 23.70 s
521----------
522s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
523objective = 812;
524% time elapsed: 23.70 s
525----------
526s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 9, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
527objective = 811;
528% time elapsed: 23.70 s
529----------
530s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 19, 17, 17, 21, 25, 9, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
531objective = 810;
532% time elapsed: 24.76 s
533----------
534s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
535objective = 809;
536% time elapsed: 25.06 s
537----------
538s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
539objective = 808;
540% time elapsed: 25.12 s
541----------
542s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
543objective = 807;
544% time elapsed: 25.13 s
545----------
546s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 10, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
547objective = 806;
548% time elapsed: 25.13 s
549----------
550s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 19, 17, 17, 21, 25, 9, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
551objective = 805;
552% time elapsed: 26.19 s
553----------
554s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
555objective = 804;
556% time elapsed: 26.48 s
557----------
558s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
559objective = 803;
560% time elapsed: 26.55 s
561----------
562s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
563objective = 802;
564% time elapsed: 26.55 s
565----------
566s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 10, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
567objective = 801;
568% time elapsed: 26.55 s
569----------
570s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 11, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
571objective = 800;
572% time elapsed: 28.12 s
573----------
574s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 11, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
575objective = 799;
576% time elapsed: 28.25 s
577----------
578s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 11, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
579objective = 798;
580% time elapsed: 28.26 s
581----------
582s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 11, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
583objective = 797;
584% time elapsed: 28.26 s
585----------
586s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 12, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
587objective = 796;
588% time elapsed: 29.85 s
589----------
590s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 12, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
591objective = 795;
592% time elapsed: 29.98 s
593----------
594s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 12, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
595objective = 794;
596% time elapsed: 29.99 s
597----------
598s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 12, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
599objective = 793;
600% time elapsed: 29.99 s
601----------
602s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 13, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
603objective = 792;
604% time elapsed: 31.58 s
605----------
606s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 13, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
607objective = 791;
608% time elapsed: 31.72 s
609----------
610s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 13, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
611objective = 790;
612% time elapsed: 31.72 s
613----------
614s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 13, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
615objective = 789;
616% time elapsed: 31.72 s
617----------
618s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 14, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
619objective = 788;
620% time elapsed: 33.31 s
621----------
622s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 14, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
623objective = 787;
624% time elapsed: 33.53 s
625----------
626s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 14, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
627objective = 786;
628% time elapsed: 33.54 s
629----------
630s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 14, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
631objective = 785;
632% time elapsed: 33.54 s
633----------
634s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 15, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
635objective = 784;
636% time elapsed: 35.11 s
637----------
638s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 15, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
639objective = 783;
640% time elapsed: 35.33 s
641----------
642s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 15, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
643objective = 782;
644% time elapsed: 35.33 s
645----------
646s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 15, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
647objective = 781;
648% time elapsed: 35.33 s
649----------
650s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 16, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 30, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
651objective = 780;
652% time elapsed: 37.19 s
653----------
654s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 16, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 50, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
655objective = 779;
656% time elapsed: 37.26 s
657----------
658s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 16, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
659objective = 778;
660% time elapsed: 37.26 s
661----------
662s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 3, 15, 17, 21, 11, 9, 7, 16, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 10, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
663objective = 777;
664% time elapsed: 37.26 s
665----------
666s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 4, 15, 17, 21, 11, 9, 7, 16, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 11, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 44, 57, 49, 53, 1, 63, 59, 69, 41, 72];
667objective = 776;
668% time elapsed: 45.59 s
669----------
670s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 4, 15, 17, 21, 11, 9, 7, 16, 19, 17, 17, 21, 25, 10, 27, 17, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 11, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
671objective = 775;
672% time elapsed: 45.59 s
673----------
674s = [0, 0, 0, 0, 3, 1, 1, 3, 9, 5, 15, 17, 21, 11, 9, 7, 17, 19, 17, 17, 21, 25, 10, 27, 18, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 12, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
675objective = 774;
676% time elapsed: 50.96 s
677----------
678s = [0, 0, 0, 0, 3, 2, 1, 3, 9, 5, 15, 17, 21, 11, 9, 7, 17, 19, 17, 17, 21, 25, 10, 27, 18, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 12, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
679objective = 773;
680% time elapsed: 68.21 s
681----------
682s = [0, 0, 0, 0, 3, 3, 1, 3, 9, 5, 15, 17, 21, 11, 9, 7, 17, 19, 17, 17, 21, 25, 10, 27, 18, 28, 32, 27, 24, 24, 32, 28, 29, 3, 19, 32, 18, 12, 31, 46, 28, 35, 40, 39, 40, 32, 41, 51, 44, 45, 52, 53, 45, 57, 50, 53, 1, 63, 59, 69, 41, 72];
683objective = 772;
684% time elapsed: 75.13 s
685----------
686%%%mzn-stat: initTime=0.002411
687%%%mzn-stat: solveTime=120
688%%%mzn-stat: solutions=171
689%%%mzn-stat: variables=266
690%%%mzn-stat: propagators=316
691%%%mzn-stat: propagations=192819254
692%%%mzn-stat: nodes=4316465
693%%%mzn-stat: failures=2158036
694%%%mzn-stat: restarts=0
695%%%mzn-stat: peakDepth=62
696%%%mzn-stat-end
697%% copies: 2158431