% init_area = 3764;
s = [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];
objective = 412;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 14, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 52];
objective = 409;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 15, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 52];
objective = 406;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 15, 1, 20, 27, 13, 23, 38, 42, 27, 36, 37, 43, 45, 52];
objective = 401;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 15, 1, 20, 27, 13, 23, 38, 42, 27, 36, 38, 43, 45, 52];
objective = 396;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 16, 10, 6, 28, 21, 10, 15, 1, 20, 27, 13, 23, 38, 42, 27, 36, 39, 43, 45, 52];
objective = 391;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 19, 10, 6, 28, 21, 10, 18, 1, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 52];
objective = 388;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 19, 10, 6, 28, 21, 10, 18, 1, 20, 27, 13, 23, 38, 42, 27, 36, 37, 43, 45, 52];
objective = 383;
% time elapsed: 0.03 s
----------
s = [0, 0, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 19, 10, 6, 28, 21, 10, 18, 1, 20, 27, 13, 23, 38, 42, 27, 36, 37, 43, 45, 53];
objective = 378;
% time elapsed: 0.03 s
----------
s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 2, 20, 27, 13, 23, 38, 42, 27, 36, 36, 43, 45, 52];
objective = 376;
% time elapsed: 0.03 s
----------
s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 2, 20, 27, 13, 23, 38, 42, 27, 36, 37, 43, 45, 52];
objective = 374;
% time elapsed: 0.03 s
----------
s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 2, 20, 27, 13, 23, 38, 42, 27, 36, 37, 51, 44, 53];
objective = 369;
% time elapsed: 0.03 s
----------
s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 2, 20, 27, 13, 23, 38, 42, 27, 36, 38, 51, 44, 53];
objective = 364;
% time elapsed: 0.03 s
----------
s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 10, 6, 28, 21, 10, 18, 2, 20, 27, 13, 23, 38, 42, 27, 36, 39, 51, 44, 53];
objective = 359;
% time elapsed: 0.03 s
----------
s = [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];
objective = 358;
% time elapsed: 0.03 s
----------
s = [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];
objective = 353;
% time elapsed: 0.03 s
----------
s = [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, 43, 27, 36, 36, 51, 44, 53];
objective = 351;
% time elapsed: 0.03 s
----------
s = [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, 44, 27, 36, 36, 51, 44, 53];
objective = 349;
% time elapsed: 0.03 s
----------
s = [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, 37, 51, 44, 53];
objective = 348;
% time elapsed: 0.03 s
----------
s = [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, 51, 44, 53];
objective = 343;
% time elapsed: 0.03 s
----------
s = [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, 40, 43, 45, 52];
objective = 338;
% time elapsed: 0.03 s
----------
s = [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, 40, 51, 44, 53];
objective = 333;
% time elapsed: 0.03 s
----------
s = [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, 42, 43, 45, 52];
objective = 331;
% time elapsed: 0.03 s
----------
s = [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, 42, 43, 45, 53];
objective = 326;
% time elapsed: 0.04 s
----------
s = [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, 43, 45, 52];
objective = 325;
% time elapsed: 0.04 s
----------
s = [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];
objective = 320;
% time elapsed: 0.04 s
----------
s = [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, 54];
objective = 315;
% time elapsed: 0.04 s
----------
s = [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, 55];
objective = 310;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 44, 51, 44, 53];
objective = 305;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 46, 43, 45, 52];
objective = 300;
% time elapsed: 0.04 s
----------
s = [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];
objective = 295;
% time elapsed: 0.04 s
----------
s = [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];
objective = 290;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 17, 23, 38, 42, 27, 36, 49, 43, 45, 52];
objective = 289;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 17, 23, 38, 45, 27, 36, 47, 51, 44, 53];
objective = 288;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 10, 6, 28, 21, 10, 18, 3, 20, 27, 17, 23, 38, 46, 27, 36, 47, 51, 44, 53];
objective = 286;
% time elapsed: 0.04 s
----------
s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
objective = 285;
% time elapsed: 0.04 s
----------
s = [0, 1, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 1, 20, 27, 17, 23, 38, 42, 27, 36, 50, 43, 45, 53];
objective = 284;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
objective = 283;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 6, 28, 21, 10, 18, 1, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 53];
objective = 278;
% time elapsed: 0.04 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 6, 21, 11, 7, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
objective = 277;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 6, 21, 11, 7, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 45, 27, 36, 48, 51, 44, 53];
objective = 276;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 6, 21, 11, 7, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 46, 27, 36, 48, 51, 44, 53];
objective = 274;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 6, 21, 11, 7, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 47, 27, 36, 48, 51, 44, 53];
objective = 272;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 6, 21, 11, 7, 28, 21, 10, 18, 2, 20, 27, 18, 23, 38, 45, 27, 36, 49, 51, 44, 53];
objective = 271;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 52];
objective = 270;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 53];
objective = 269;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 54];
objective = 267;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 45, 27, 36, 50, 51, 44, 53];
objective = 266;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 46, 27, 36, 50, 51, 44, 53];
objective = 264;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 47, 27, 36, 50, 51, 44, 53];
objective = 262;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 47, 27, 36, 50, 51, 44, 54];
objective = 257;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 20, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 45, 27, 36, 50, 51, 44, 55];
objective = 256;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
objective = 255;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 21, 28, 18, 23, 38, 47, 27, 37, 50, 52, 45, 54];
objective = 253;
% time elapsed: 0.05 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 7, 30, 21, 10, 18, 3, 21, 38, 18, 23, 40, 47, 29, 30, 49, 48, 38, 50];
objective = 251;
% time elapsed: 0.06 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 17, 13, 5, 21, 11, 7, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
objective = 250;
% time elapsed: 0.06 s
----------
s = [0, 2, 0, 0, 10, 1, 1, 5, 5, 19, 13, 5, 22, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 46, 29, 30, 48, 47, 38, 49];
objective = 248;
% time elapsed: 0.06 s
----------
s = [0, 2, 1, 0, 10, 4, 1, 5, 5, 19, 13, 6, 21, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 55];
objective = 247;
% time elapsed: 0.06 s
----------
s = [0, 2, 1, 0, 10, 4, 1, 5, 5, 17, 13, 6, 21, 11, 7, 28, 21, 10, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 49, 48, 39, 50];
objective = 246;
% time elapsed: 0.06 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 20, 27, 18, 23, 38, 42, 27, 36, 50, 43, 45, 55];
objective = 245;
% time elapsed: 0.06 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 23, 11, 7, 26, 26, 10, 18, 3, 20, 27, 18, 28, 36, 40, 36, 37, 50, 41, 45, 52];
objective = 244;
% time elapsed: 0.06 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 23, 11, 7, 26, 26, 10, 18, 3, 20, 27, 18, 28, 36, 40, 36, 37, 50, 42, 45, 52];
objective = 243;
% time elapsed: 0.06 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 23, 11, 7, 26, 26, 10, 18, 3, 20, 27, 18, 28, 36, 40, 36, 37, 50, 43, 45, 52];
objective = 242;
% time elapsed: 0.06 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
objective = 241;
% time elapsed: 0.06 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 21, 11, 7, 30, 21, 10, 18, 3, 21, 38, 18, 23, 40, 46, 29, 30, 49, 47, 38, 50];
objective = 240;
% time elapsed: 0.07 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 21, 11, 7, 30, 21, 10, 18, 3, 21, 38, 18, 23, 40, 46, 29, 30, 49, 48, 38, 50];
objective = 239;
% time elapsed: 0.07 s
----------
s = [0, 2, 2, 0, 10, 3, 1, 5, 5, 19, 13, 5, 21, 11, 7, 30, 21, 10, 18, 3, 21, 38, 18, 23, 40, 47, 29, 30, 49, 48, 38, 50];
objective = 237;
% time elapsed: 0.07 s
----------
s = [0, 2, 3, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
objective = 236;
% time elapsed: 0.07 s
----------
s = [0, 2, 3, 0, 10, 4, 1, 5, 5, 19, 13, 5, 21, 11, 7, 28, 21, 10, 18, 3, 21, 39, 18, 23, 38, 47, 27, 31, 49, 48, 39, 50];
objective = 235;
% time elapsed: 0.07 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 21, 11, 7, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 54];
objective = 234;
% time elapsed: 0.07 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 21, 11, 7, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 47, 27, 37, 49, 52, 45, 54];
objective = 232;
% time elapsed: 0.07 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 21, 11, 7, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 45, 27, 37, 50, 52, 45, 54];
objective = 231;
% time elapsed: 0.08 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 45, 29, 30, 48, 47, 38, 49];
objective = 230;
% time elapsed: 0.08 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 44, 29, 30, 48, 47, 38, 50];
objective = 227;
% time elapsed: 0.08 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 23, 11, 7, 30, 22, 11, 18, 3, 21, 38, 18, 25, 40, 45, 29, 30, 48, 47, 38, 49];
objective = 226;
% time elapsed: 0.09 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 23, 11, 7, 30, 22, 11, 18, 3, 21, 38, 18, 25, 40, 46, 29, 30, 48, 47, 38, 49];
objective = 224;
% time elapsed: 0.09 s
----------
s = [0, 2, 3, 0, 10, 5, 1, 5, 5, 19, 13, 6, 23, 11, 7, 30, 22, 11, 18, 3, 21, 38, 18, 25, 40, 44, 29, 30, 48, 47, 38, 50];
objective = 223;
% time elapsed: 0.09 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 18, 13, 6, 21, 11, 7, 28, 21, 11, 18, 3, 21, 28, 18, 23, 38, 42, 27, 37, 50, 43, 45, 55];
objective = 222;
% time elapsed: 0.09 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 45, 29, 30, 48, 47, 38, 49];
objective = 221;
% time elapsed: 0.09 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 44, 29, 30, 48, 47, 38, 50];
objective = 218;
% time elapsed: 0.09 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 44, 29, 30, 49, 47, 38, 50];
objective = 213;
% time elapsed: 0.11 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 44, 29, 30, 49, 47, 38, 51];
objective = 208;
% time elapsed: 0.11 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 38, 18, 25, 40, 44, 29, 30, 50, 47, 38, 51];
objective = 203;
% time elapsed: 0.12 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 39, 18, 25, 40, 46, 29, 31, 49, 48, 39, 50];
objective = 201;
% time elapsed: 0.12 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 39, 18, 25, 40, 44, 29, 31, 49, 48, 39, 51];
objective = 200;
% time elapsed: 0.13 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 39, 18, 25, 40, 47, 29, 31, 49, 48, 39, 50];
objective = 199;
% time elapsed: 0.14 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 39, 18, 25, 40, 44, 29, 31, 50, 48, 39, 51];
objective = 195;
% time elapsed: 0.15 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 39, 18, 25, 40, 44, 29, 31, 50, 49, 39, 51];
objective = 194;
% time elapsed: 0.15 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 39, 18, 25, 40, 47, 29, 30, 50, 49, 38, 51];
objective = 193;
% time elapsed: 0.16 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 40, 18, 25, 40, 47, 29, 30, 50, 49, 38, 51];
objective = 191;
% time elapsed: 0.16 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 40, 18, 25, 40, 45, 29, 30, 50, 49, 38, 52];
objective = 190;
% time elapsed: 0.16 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 40, 18, 25, 40, 46, 29, 30, 50, 49, 38, 52];
objective = 188;
% time elapsed: 0.17 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 40, 18, 25, 40, 47, 29, 30, 50, 49, 38, 52];
objective = 186;
% time elapsed: 0.17 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 40, 18, 25, 40, 45, 29, 30, 50, 49, 38, 53];
objective = 185;
% time elapsed: 0.18 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 30, 21, 11, 18, 3, 21, 40, 18, 25, 40, 46, 29, 30, 50, 49, 38, 53];
objective = 183;
% time elapsed: 0.19 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 31, 21, 11, 18, 3, 21, 39, 18, 26, 41, 47, 30, 31, 50, 48, 39, 51];
objective = 182;
% time elapsed: 0.19 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 31, 23, 11, 18, 3, 21, 39, 18, 26, 41, 47, 30, 31, 49, 48, 39, 50];
objective = 181;
% time elapsed: 0.20 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 31, 23, 11, 18, 3, 21, 39, 18, 26, 41, 45, 30, 31, 49, 48, 39, 51];
objective = 180;
% time elapsed: 0.20 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 31, 23, 13, 18, 3, 23, 39, 18, 26, 41, 47, 30, 31, 49, 48, 39, 50];
objective = 179;
% time elapsed: 0.21 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 31, 23, 13, 18, 3, 23, 39, 18, 26, 41, 45, 30, 31, 49, 48, 39, 51];
objective = 178;
% time elapsed: 0.21 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 31, 23, 13, 18, 3, 23, 39, 18, 26, 41, 46, 30, 31, 49, 48, 39, 51];
objective = 176;
% time elapsed: 0.21 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 31, 24, 13, 18, 3, 23, 39, 18, 26, 41, 47, 30, 31, 49, 48, 39, 50];
objective = 175;
% time elapsed: 0.21 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 31, 24, 13, 18, 3, 23, 39, 18, 26, 41, 45, 30, 31, 49, 48, 39, 51];
objective = 174;
% time elapsed: 0.21 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 31, 23, 13, 18, 3, 23, 39, 18, 25, 41, 47, 30, 31, 50, 49, 39, 51];
objective = 173;
% time elapsed: 0.22 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 31, 24, 14, 18, 3, 24, 39, 18, 26, 41, 47, 30, 31, 49, 48, 39, 50];
objective = 172;
% time elapsed: 0.24 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 31, 24, 14, 18, 3, 24, 39, 18, 26, 41, 45, 30, 31, 49, 48, 39, 51];
objective = 171;
% time elapsed: 0.25 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 32, 23, 14, 18, 3, 24, 40, 14, 26, 42, 47, 31, 32, 50, 49, 40, 51];
objective = 169;
% time elapsed: 0.25 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 32, 23, 14, 18, 3, 24, 40, 14, 26, 42, 46, 31, 32, 50, 49, 40, 52];
objective = 166;
% time elapsed: 0.26 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 32, 24, 14, 18, 3, 24, 40, 14, 26, 42, 47, 31, 32, 50, 49, 40, 51];
objective = 165;
% time elapsed: 0.27 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 32, 24, 14, 18, 3, 24, 40, 14, 26, 42, 46, 31, 32, 50, 49, 40, 52];
objective = 162;
% time elapsed: 0.27 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 32, 24, 14, 18, 3, 24, 40, 14, 26, 42, 46, 31, 32, 50, 49, 40, 53];
objective = 157;
% time elapsed: 0.27 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 32, 24, 14, 18, 3, 24, 40, 14, 26, 42, 47, 31, 32, 50, 49, 40, 53];
objective = 155;
% time elapsed: 0.28 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 32, 24, 13, 18, 3, 23, 40, 18, 26, 42, 46, 31, 32, 50, 49, 40, 51];
objective = 154;
% time elapsed: 0.28 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 32, 24, 13, 18, 3, 23, 40, 18, 26, 42, 47, 31, 32, 50, 49, 40, 51];
objective = 152;
% time elapsed: 0.29 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 32, 24, 13, 18, 3, 23, 40, 18, 26, 42, 46, 31, 32, 50, 49, 40, 52];
objective = 149;
% time elapsed: 0.29 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 32, 24, 13, 18, 3, 23, 40, 18, 26, 42, 46, 31, 32, 50, 49, 40, 53];
objective = 144;
% time elapsed: 0.29 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 32, 24, 13, 18, 3, 23, 40, 18, 26, 42, 46, 31, 32, 50, 49, 40, 54];
objective = 139;
% time elapsed: 0.30 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 24, 13, 18, 3, 23, 41, 18, 26, 43, 47, 32, 33, 50, 50, 41, 52];
objective = 138;
% time elapsed: 0.30 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 33, 25, 13, 18, 3, 23, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 52];
objective = 137;
% time elapsed: 0.30 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 33, 25, 13, 18, 3, 23, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 53];
objective = 132;
% time elapsed: 0.31 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 26, 12, 18, 3, 22, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 52];
objective = 131;
% time elapsed: 0.35 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 25, 12, 18, 3, 22, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 53];
objective = 130;
% time elapsed: 0.35 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 25, 12, 18, 3, 22, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 54];
objective = 125;
% time elapsed: 0.36 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 25, 12, 18, 3, 22, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 120;
% time elapsed: 0.36 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 23, 11, 7, 33, 26, 12, 18, 3, 22, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 119;
% time elapsed: 0.37 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 26, 12, 18, 3, 22, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 116;
% time elapsed: 0.38 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 26, 13, 18, 3, 23, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 115;
% time elapsed: 0.39 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 26, 14, 18, 3, 24, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 114;
% time elapsed: 0.39 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 13, 6, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 113;
% time elapsed: 0.41 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 14, 6, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 112;
% time elapsed: 0.41 s
----------
s = [0, 2, 4, 0, 11, 5, 1, 6, 5, 19, 15, 6, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 111;
% time elapsed: 0.45 s
----------
s = [0, 2, 6, 0, 11, 7, 1, 6, 5, 19, 13, 5, 24, 11, 7, 33, 25, 13, 18, 3, 23, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 110;
% time elapsed: 0.86 s
----------
s = [0, 2, 6, 0, 11, 7, 1, 6, 5, 19, 13, 5, 24, 11, 7, 33, 25, 14, 18, 3, 24, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 109;
% time elapsed: 0.87 s
----------
s = [0, 2, 6, 0, 11, 7, 1, 6, 5, 18, 13, 5, 24, 11, 7, 33, 26, 14, 18, 3, 24, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 107;
% time elapsed: 0.87 s
----------
s = [0, 2, 6, 0, 11, 7, 1, 6, 5, 19, 13, 5, 24, 11, 7, 33, 26, 14, 18, 3, 24, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 105;
% time elapsed: 0.89 s
----------
s = [0, 2, 6, 0, 11, 7, 1, 6, 5, 19, 13, 5, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 104;
% time elapsed: 0.89 s
----------
s = [0, 2, 6, 0, 11, 7, 1, 6, 5, 19, 14, 5, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 103;
% time elapsed: 0.92 s
----------
s = [0, 2, 6, 0, 11, 7, 1, 6, 5, 19, 15, 5, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 102;
% time elapsed: 0.95 s
----------
s = [0, 2, 6, 0, 11, 8, 1, 6, 5, 19, 15, 5, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 101;
% time elapsed: 1.00 s
----------
s = [0, 2, 6, 0, 11, 8, 1, 6, 5, 19, 15, 6, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 100;
% time elapsed: 1.22 s
----------
s = [1, 2, 6, 1, 11, 8, 2, 6, 7, 19, 15, 6, 24, 11, 7, 33, 26, 14, 18, 3, 24, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 54];
objective = 99;
% time elapsed: 1.72 s
----------
s = [1, 2, 6, 1, 11, 8, 2, 6, 7, 19, 15, 6, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 54];
objective = 98;
% time elapsed: 1.72 s
----------
s = [1, 2, 6, 1, 11, 8, 2, 6, 7, 19, 15, 6, 24, 11, 7, 33, 25, 15, 18, 3, 25, 41, 18, 27, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 97;
% time elapsed: 1.73 s
----------
s = [1, 2, 6, 1, 11, 8, 2, 6, 7, 19, 15, 6, 23, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 96;
% time elapsed: 1.73 s
----------
s = [1, 2, 6, 1, 11, 8, 2, 6, 7, 18, 15, 6, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 95;
% time elapsed: 1.75 s
----------
s = [1, 2, 6, 1, 11, 8, 2, 6, 7, 19, 15, 6, 24, 11, 7, 33, 26, 15, 18, 3, 25, 41, 18, 28, 43, 47, 32, 33, 50, 50, 41, 55];
objective = 93;
% time elapsed: 1.75 s
----------
==========
% time elapsed: 2.00 s
%%%mzn-stat: nodes=96130
%%%mzn-stat: failures=33078
%%%mzn-stat: restarts=278
%%%mzn-stat: variables=17918
%%%mzn-stat: intVars=247
%%%mzn-stat: boolVariables=17669
%%%mzn-stat: propagators=616
%%%mzn-stat: propagations=12271788
%%%mzn-stat: peakDepth=69
%%%mzn-stat: nogoods=33078
%%%mzn-stat: backjumps=35148
%%%mzn-stat: peakMem=0.00
%%%mzn-stat: time=1.999
%%%mzn-stat: initTime=0.021
%%%mzn-stat: solveTime=1.978
%%%mzn-stat: objective=93
%%%mzn-stat: optTime=1.733
%%%mzn-stat: baseMem=0.00
%%%mzn-stat: trailMem=0.04
%%%mzn-stat: randomSeed=2