216 lines
23 KiB
Solidity
216 lines
23 KiB
Solidity
% init_area = 1554;
|
|
assign = [47, 18, 41, 43, 42, 48, 43, 46, 43, 43, 48, 48, 43, 41, 45, 42, 46, 42, 45, 42, 41, 47, 23, 32, 48, 17, 24, 25, 16, 15, 14, 21, 13, 45, 46, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 44, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 44, 44, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 47];
|
|
objective = 56;
|
|
% time elapsed: 0.46 s
|
|
----------
|
|
assign = [47, 18, 41, 43, 42, 48, 48, 46, 43, 43, 48, 48, 43, 41, 45, 42, 46, 42, 45, 42, 41, 47, 23, 32, 48, 17, 24, 25, 16, 15, 14, 21, 13, 45, 46, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 44, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 44, 44, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 47];
|
|
objective = 52;
|
|
% time elapsed: 0.48 s
|
|
----------
|
|
assign = [47, 18, 41, 48, 42, 47, 48, 46, 43, 43, 47, 47, 48, 41, 45, 42, 46, 42, 45, 42, 41, 47, 23, 32, 47, 17, 24, 25, 16, 15, 14, 21, 13, 45, 46, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 44, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 44, 44, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 48];
|
|
objective = 49;
|
|
% time elapsed: 0.50 s
|
|
----------
|
|
assign = [47, 18, 41, 48, 42, 46, 48, 47, 43, 43, 46, 46, 48, 41, 45, 42, 47, 42, 45, 42, 41, 47, 23, 32, 46, 17, 24, 25, 16, 15, 14, 21, 13, 45, 46, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 44, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 44, 44, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 48];
|
|
objective = 46;
|
|
% time elapsed: 0.53 s
|
|
----------
|
|
assign = [48, 18, 41, 46, 42, 47, 46, 48, 43, 43, 47, 47, 46, 41, 45, 42, 48, 42, 45, 42, 41, 48, 23, 32, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 45, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 44, 44, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 44];
|
|
objective = 43;
|
|
% time elapsed: 0.61 s
|
|
----------
|
|
assign = [48, 18, 41, 44, 42, 47, 44, 48, 44, 43, 47, 47, 44, 41, 46, 42, 48, 43, 46, 43, 41, 48, 23, 32, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 44, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 45];
|
|
objective = 42;
|
|
% time elapsed: 1.29 s
|
|
----------
|
|
assign = [47, 18, 41, 44, 42, 48, 44, 47, 44, 43, 48, 48, 44, 41, 46, 42, 47, 43, 46, 43, 41, 47, 23, 32, 48, 17, 24, 25, 16, 15, 14, 21, 13, 46, 44, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 45, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 48];
|
|
objective = 41;
|
|
% time elapsed: 1.33 s
|
|
----------
|
|
assign = [48, 18, 41, 44, 42, 47, 44, 48, 44, 44, 47, 47, 44, 41, 46, 42, 48, 43, 46, 43, 41, 48, 23, 32, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 43, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 45];
|
|
objective = 40;
|
|
% time elapsed: 1.82 s
|
|
----------
|
|
assign = [48, 18, 41, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 42, 44, 43, 47, 43, 41, 48, 23, 32, 48, 17, 24, 25, 16, 15, 14, 21, 13, 47, 45, 40, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 43, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 46, 46, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 46];
|
|
objective = 39;
|
|
% time elapsed: 1.90 s
|
|
----------
|
|
assign = [48, 18, 40, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 42, 44, 43, 47, 43, 41, 48, 23, 32, 48, 17, 24, 25, 16, 15, 14, 21, 13, 47, 45, 41, 17, 27, 20, 28, 39, 24, 40, 39, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 43, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 46, 46, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 46];
|
|
objective = 38;
|
|
% time elapsed: 2.14 s
|
|
----------
|
|
assign = [48, 18, 41, 46, 43, 47, 46, 48, 44, 43, 47, 47, 46, 42, 45, 39, 48, 39, 45, 39, 42, 48, 23, 32, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 41, 17, 27, 20, 28, 39, 24, 40, 40, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 45, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 44, 44, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 42];
|
|
objective = 37;
|
|
% time elapsed: 2.20 s
|
|
----------
|
|
assign = [48, 18, 40, 44, 42, 47, 46, 48, 44, 44, 47, 47, 46, 41, 46, 43, 48, 43, 46, 43, 41, 48, 23, 32, 47, 17, 24, 25, 16, 15, 14, 21, 13, 43, 47, 42, 17, 27, 20, 28, 39, 24, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 39, 2, 39, 19, 22, 31, 38, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 45];
|
|
objective = 36;
|
|
% time elapsed: 2.54 s
|
|
----------
|
|
assign = [48, 18, 38, 44, 41, 47, 44, 48, 42, 44, 47, 47, 42, 39, 46, 40, 48, 40, 46, 40, 39, 48, 23, 32, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 43, 17, 27, 20, 28, 40, 24, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 40, 2, 43, 19, 22, 31, 39, 38, 34, 33, 33, 36, 36, 26, 37, 25, 27, 1, 35, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 45];
|
|
objective = 35;
|
|
% time elapsed: 2.58 s
|
|
----------
|
|
assign = [48, 18, 37, 46, 39, 48, 46, 45, 46, 45, 48, 48, 46, 38, 43, 41, 45, 41, 44, 41, 38, 48, 23, 32, 48, 17, 24, 25, 16, 15, 14, 21, 13, 42, 46, 44, 17, 27, 20, 28, 41, 24, 43, 42, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 41, 2, 40, 19, 22, 31, 40, 39, 34, 33, 33, 36, 36, 26, 38, 25, 27, 1, 35, 47, 47, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 47];
|
|
objective = 34;
|
|
% time elapsed: 2.90 s
|
|
----------
|
|
assign = [49, 18, 37, 49, 39, 48, 49, 46, 40, 46, 48, 48, 40, 38, 43, 45, 46, 45, 44, 45, 38, 49, 23, 32, 48, 17, 24, 25, 16, 15, 14, 21, 13, 42, 48, 44, 17, 27, 20, 28, 36, 24, 43, 42, 6, 12, 21, 14, 8, 16, 11, 10, 35, 32, 28, 22, 20, 15, 9, 4, 18, 7, 34, 23, 3, 28, 31, 26, 36, 2, 41, 19, 22, 31, 41, 40, 34, 33, 33, 37, 36, 26, 39, 25, 27, 1, 35, 47, 47, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 38, 47];
|
|
objective = 33;
|
|
% time elapsed: 3.01 s
|
|
----------
|
|
assign = [48, 18, 41, 46, 43, 47, 46, 48, 44, 43, 47, 47, 46, 42, 45, 39, 48, 39, 45, 39, 42, 48, 23, 33, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 41, 17, 27, 20, 28, 39, 24, 40, 40, 6, 12, 21, 14, 8, 16, 11, 10, 36, 32, 28, 22, 20, 15, 9, 4, 18, 7, 35, 23, 3, 28, 31, 26, 39, 2, 45, 19, 22, 31, 38, 38, 35, 34, 34, 36, 33, 26, 37, 25, 27, 1, 32, 44, 44, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 42];
|
|
objective = 32;
|
|
% time elapsed: 3.07 s
|
|
----------
|
|
assign = [48, 18, 40, 44, 42, 47, 46, 48, 44, 44, 47, 47, 46, 41, 46, 43, 48, 43, 46, 43, 41, 48, 23, 33, 47, 17, 24, 25, 16, 15, 14, 21, 13, 43, 47, 42, 17, 27, 20, 28, 39, 24, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 36, 32, 28, 22, 20, 15, 9, 4, 18, 7, 35, 23, 3, 28, 31, 26, 39, 2, 39, 19, 22, 31, 38, 38, 35, 34, 34, 36, 33, 26, 37, 25, 27, 1, 32, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 45];
|
|
objective = 31;
|
|
% time elapsed: 3.42 s
|
|
----------
|
|
assign = [48, 18, 38, 44, 41, 47, 44, 48, 42, 44, 47, 47, 42, 39, 46, 40, 48, 40, 46, 40, 39, 48, 23, 33, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 43, 17, 27, 20, 28, 40, 24, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 36, 32, 28, 22, 20, 15, 9, 4, 18, 7, 35, 23, 3, 28, 31, 26, 40, 2, 43, 19, 22, 31, 39, 38, 35, 34, 34, 36, 33, 26, 37, 25, 27, 1, 32, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 45];
|
|
objective = 30;
|
|
% time elapsed: 3.46 s
|
|
----------
|
|
assign = [48, 18, 37, 46, 39, 48, 46, 45, 46, 45, 48, 48, 46, 38, 43, 41, 45, 41, 44, 41, 38, 48, 23, 33, 48, 17, 24, 25, 16, 15, 14, 21, 13, 42, 46, 44, 17, 27, 20, 28, 41, 24, 43, 42, 6, 12, 21, 14, 8, 16, 11, 10, 36, 32, 28, 22, 20, 15, 9, 4, 18, 7, 35, 23, 3, 28, 31, 26, 41, 2, 40, 19, 22, 31, 40, 39, 35, 34, 34, 36, 33, 26, 38, 25, 27, 1, 32, 47, 47, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 37, 47];
|
|
objective = 29;
|
|
% time elapsed: 3.69 s
|
|
----------
|
|
assign = [48, 18, 40, 44, 42, 47, 46, 48, 44, 44, 47, 47, 46, 41, 46, 43, 48, 43, 46, 43, 41, 48, 23, 34, 47, 17, 24, 25, 16, 15, 14, 21, 13, 43, 47, 42, 17, 27, 20, 28, 39, 24, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 37, 33, 28, 22, 20, 15, 9, 4, 18, 7, 36, 23, 3, 28, 32, 26, 39, 2, 39, 19, 22, 31, 38, 38, 36, 35, 35, 37, 34, 26, 32, 25, 27, 1, 33, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 45];
|
|
objective = 28;
|
|
% time elapsed: 4.07 s
|
|
----------
|
|
assign = [48, 18, 38, 44, 41, 47, 44, 48, 42, 44, 47, 47, 42, 39, 46, 40, 48, 40, 46, 40, 39, 48, 23, 34, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 43, 17, 27, 20, 28, 40, 24, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 37, 33, 28, 22, 20, 15, 9, 4, 18, 7, 36, 23, 3, 28, 32, 26, 40, 2, 43, 19, 22, 31, 39, 38, 36, 35, 35, 37, 34, 26, 32, 25, 27, 1, 33, 45, 45, 30, 30, 30, 19, 4, 3, 2, 1, 5, 29, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 45];
|
|
objective = 27;
|
|
% time elapsed: 4.12 s
|
|
----------
|
|
assign = [48, 18, 41, 46, 43, 47, 46, 48, 44, 43, 47, 47, 46, 42, 45, 39, 48, 39, 45, 39, 42, 48, 23, 35, 47, 17, 24, 25, 16, 15, 14, 21, 13, 46, 47, 41, 17, 27, 20, 28, 39, 24, 40, 40, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 28, 22, 20, 15, 9, 4, 18, 7, 37, 23, 3, 28, 33, 26, 39, 2, 45, 19, 22, 32, 33, 32, 37, 36, 36, 38, 35, 26, 31, 25, 27, 1, 34, 44, 44, 31, 29, 29, 19, 4, 3, 2, 1, 5, 30, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 42];
|
|
objective = 26;
|
|
% time elapsed: 4.22 s
|
|
----------
|
|
assign = [48, 18, 40, 44, 42, 47, 46, 48, 44, 44, 47, 47, 46, 41, 46, 43, 48, 43, 46, 43, 41, 48, 23, 35, 47, 17, 24, 25, 16, 15, 14, 21, 13, 43, 47, 42, 17, 27, 20, 28, 39, 24, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 28, 22, 20, 15, 9, 4, 18, 7, 37, 23, 3, 28, 33, 26, 39, 2, 39, 19, 22, 32, 33, 32, 37, 36, 36, 38, 35, 26, 31, 25, 27, 1, 34, 45, 45, 31, 29, 29, 19, 4, 3, 2, 1, 5, 30, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 45];
|
|
objective = 25;
|
|
% time elapsed: 4.57 s
|
|
----------
|
|
assign = [48, 18, 39, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 40, 44, 40, 47, 40, 41, 48, 23, 35, 48, 17, 24, 25, 16, 15, 14, 21, 13, 47, 45, 43, 17, 27, 20, 28, 40, 24, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 29, 22, 20, 15, 9, 4, 18, 7, 37, 23, 3, 28, 33, 26, 40, 2, 43, 19, 22, 32, 39, 33, 37, 36, 36, 38, 35, 26, 32, 25, 27, 1, 34, 46, 46, 31, 30, 30, 19, 4, 3, 2, 1, 5, 30, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 46];
|
|
objective = 24;
|
|
% time elapsed: 4.68 s
|
|
----------
|
|
assign = [49, 18, 40, 45, 42, 48, 45, 49, 43, 45, 48, 48, 43, 41, 47, 44, 49, 44, 47, 44, 41, 49, 23, 36, 48, 17, 24, 25, 16, 15, 14, 21, 13, 47, 48, 43, 17, 27, 20, 28, 34, 24, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 23, 3, 28, 34, 26, 40, 2, 44, 19, 22, 33, 33, 32, 38, 37, 37, 39, 36, 26, 31, 25, 27, 1, 35, 46, 46, 32, 29, 29, 19, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 23;
|
|
% time elapsed: 4.79 s
|
|
----------
|
|
assign = [48, 18, 39, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 40, 44, 40, 47, 40, 41, 48, 23, 35, 48, 17, 24, 25, 16, 15, 14, 21, 13, 47, 45, 43, 17, 27, 20, 28, 40, 24, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 29, 22, 20, 15, 9, 4, 18, 7, 37, 23, 3, 28, 33, 27, 40, 2, 43, 19, 22, 32, 39, 33, 37, 36, 36, 38, 35, 26, 32, 25, 26, 1, 34, 46, 46, 31, 30, 30, 19, 4, 3, 2, 1, 5, 30, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 46];
|
|
objective = 22;
|
|
% time elapsed: 4.88 s
|
|
----------
|
|
assign = [49, 18, 40, 45, 42, 48, 45, 49, 43, 45, 48, 48, 43, 41, 47, 44, 49, 44, 47, 44, 41, 49, 23, 36, 48, 17, 24, 25, 16, 15, 14, 21, 13, 47, 48, 43, 17, 27, 20, 28, 34, 24, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 23, 3, 28, 34, 27, 40, 2, 44, 19, 22, 33, 33, 32, 38, 37, 37, 39, 36, 26, 31, 25, 26, 1, 35, 46, 46, 32, 29, 29, 19, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 21;
|
|
% time elapsed: 4.93 s
|
|
----------
|
|
assign = [48, 18, 40, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 42, 44, 43, 47, 43, 41, 48, 23, 36, 48, 17, 25, 25, 16, 15, 14, 21, 13, 47, 45, 41, 17, 27, 20, 28, 39, 24, 40, 34, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 23, 3, 28, 34, 26, 39, 2, 43, 19, 22, 33, 33, 32, 38, 37, 37, 36, 35, 26, 31, 24, 27, 1, 25, 46, 46, 32, 29, 29, 19, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 20;
|
|
% time elapsed: 5.09 s
|
|
----------
|
|
assign = [48, 18, 39, 44, 41, 47, 44, 48, 42, 44, 47, 47, 42, 40, 46, 43, 48, 43, 46, 43, 40, 48, 23, 35, 47, 17, 25, 25, 16, 15, 14, 21, 13, 46, 47, 42, 17, 27, 20, 28, 38, 24, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 29, 22, 20, 15, 9, 4, 18, 7, 37, 23, 3, 28, 33, 27, 38, 2, 43, 19, 22, 32, 39, 33, 37, 36, 36, 35, 34, 26, 32, 24, 26, 1, 25, 45, 45, 31, 30, 30, 19, 4, 3, 2, 1, 5, 30, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 45];
|
|
objective = 19;
|
|
% time elapsed: 5.15 s
|
|
----------
|
|
assign = [48, 18, 40, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 42, 44, 43, 47, 43, 41, 48, 23, 36, 48, 17, 25, 25, 16, 15, 14, 21, 13, 47, 45, 41, 17, 27, 20, 28, 39, 24, 40, 34, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 23, 3, 28, 34, 27, 39, 2, 43, 19, 22, 33, 33, 32, 38, 37, 37, 36, 35, 26, 31, 24, 26, 1, 25, 46, 46, 32, 29, 29, 19, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 18;
|
|
% time elapsed: 5.30 s
|
|
----------
|
|
assign = [48, 18, 40, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 42, 44, 43, 47, 43, 41, 48, 23, 36, 48, 17, 26, 26, 16, 15, 14, 21, 13, 47, 45, 41, 17, 27, 20, 28, 39, 25, 40, 34, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 24, 3, 28, 34, 23, 39, 2, 43, 19, 22, 33, 33, 32, 38, 37, 37, 36, 35, 25, 31, 24, 27, 1, 26, 46, 46, 32, 29, 29, 19, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 17;
|
|
% time elapsed: 5.49 s
|
|
----------
|
|
assign = [48, 18, 40, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 42, 44, 43, 47, 43, 41, 48, 23, 36, 48, 17, 25, 25, 16, 15, 14, 20, 13, 47, 45, 41, 17, 27, 19, 28, 39, 24, 40, 34, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 22, 3, 28, 34, 26, 39, 2, 43, 19, 21, 33, 33, 32, 38, 37, 37, 36, 35, 26, 31, 24, 27, 1, 25, 46, 46, 32, 29, 29, 23, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 16;
|
|
% time elapsed: 5.64 s
|
|
----------
|
|
assign = [48, 18, 39, 44, 41, 47, 44, 48, 42, 44, 47, 47, 42, 40, 46, 43, 48, 43, 46, 43, 40, 48, 23, 35, 47, 17, 25, 25, 16, 15, 14, 20, 13, 46, 47, 42, 17, 27, 19, 28, 38, 24, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 29, 22, 20, 15, 9, 4, 18, 7, 37, 22, 3, 28, 33, 27, 38, 2, 43, 19, 21, 32, 39, 33, 37, 36, 36, 35, 34, 26, 32, 24, 26, 1, 25, 45, 45, 31, 30, 30, 23, 4, 3, 2, 1, 5, 30, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 45];
|
|
objective = 15;
|
|
% time elapsed: 5.70 s
|
|
----------
|
|
assign = [48, 18, 40, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 42, 44, 43, 47, 43, 41, 48, 23, 36, 48, 17, 25, 25, 16, 15, 14, 20, 13, 47, 45, 41, 17, 27, 19, 28, 39, 24, 40, 34, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 22, 3, 28, 34, 27, 39, 2, 43, 19, 21, 33, 33, 32, 38, 37, 37, 36, 35, 26, 31, 24, 26, 1, 25, 46, 46, 32, 29, 29, 23, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 14;
|
|
% time elapsed: 5.86 s
|
|
----------
|
|
assign = [48, 24, 39, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 40, 44, 40, 47, 40, 41, 48, 23, 35, 48, 17, 24, 25, 16, 15, 14, 19, 13, 47, 45, 43, 17, 27, 18, 28, 40, 22, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 29, 22, 20, 15, 9, 4, 18, 7, 37, 21, 3, 28, 33, 27, 40, 2, 43, 19, 20, 32, 39, 33, 37, 36, 36, 38, 35, 26, 32, 25, 26, 1, 34, 46, 46, 31, 30, 30, 23, 4, 3, 2, 1, 5, 30, 29, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 46];
|
|
objective = 13;
|
|
% time elapsed: 5.94 s
|
|
----------
|
|
assign = [49, 24, 40, 45, 42, 48, 45, 49, 43, 45, 48, 48, 43, 41, 47, 44, 49, 44, 47, 44, 41, 49, 23, 36, 48, 17, 24, 25, 16, 15, 14, 19, 13, 47, 48, 43, 17, 27, 18, 28, 34, 22, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 21, 3, 28, 34, 27, 40, 2, 44, 19, 20, 33, 33, 32, 38, 37, 37, 39, 36, 26, 31, 25, 26, 1, 35, 46, 46, 32, 29, 29, 23, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 12;
|
|
% time elapsed: 5.99 s
|
|
----------
|
|
assign = [49, 24, 40, 45, 42, 48, 45, 49, 43, 45, 48, 48, 43, 41, 47, 44, 49, 44, 47, 44, 41, 49, 23, 36, 48, 24, 22, 25, 16, 15, 14, 18, 13, 47, 48, 43, 17, 27, 17, 28, 34, 21, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 39, 35, 29, 22, 20, 15, 9, 4, 18, 7, 38, 20, 3, 28, 34, 27, 40, 2, 44, 19, 19, 33, 33, 32, 38, 37, 37, 39, 36, 26, 31, 25, 26, 1, 35, 46, 46, 32, 29, 29, 23, 4, 3, 2, 1, 5, 31, 30, 7, 13, 12, 11, 10, 9, 8, 6, 5, 30, 46];
|
|
objective = 11;
|
|
% time elapsed: 6.04 s
|
|
----------
|
|
assign = [48, 25, 39, 44, 41, 47, 44, 48, 42, 44, 47, 47, 42, 40, 46, 43, 48, 43, 46, 43, 40, 48, 23, 34, 47, 24, 22, 24, 16, 15, 14, 18, 13, 46, 47, 42, 17, 28, 17, 29, 38, 21, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 37, 29, 29, 22, 20, 15, 9, 4, 18, 7, 36, 20, 3, 27, 33, 28, 38, 2, 43, 19, 19, 32, 39, 33, 36, 35, 35, 38, 37, 27, 32, 26, 26, 1, 34, 45, 45, 31, 30, 30, 23, 4, 3, 2, 1, 5, 30, 25, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 45];
|
|
objective = 10;
|
|
% time elapsed: 6.11 s
|
|
----------
|
|
assign = [48, 26, 40, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 43, 44, 43, 47, 43, 41, 48, 23, 35, 48, 25, 21, 22, 24, 15, 14, 18, 13, 47, 45, 42, 17, 29, 17, 30, 39, 20, 41, 40, 6, 12, 21, 14, 8, 16, 11, 10, 38, 30, 30, 22, 20, 15, 9, 4, 18, 7, 37, 19, 3, 28, 34, 29, 39, 2, 43, 19, 16, 33, 34, 33, 37, 36, 36, 39, 38, 28, 32, 27, 27, 1, 35, 46, 46, 32, 26, 31, 23, 4, 3, 2, 1, 5, 25, 24, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 46];
|
|
objective = 9;
|
|
% time elapsed: 6.26 s
|
|
----------
|
|
assign = [48, 27, 39, 45, 42, 48, 45, 44, 45, 44, 48, 48, 45, 41, 47, 40, 44, 40, 47, 40, 41, 48, 23, 35, 48, 26, 20, 21, 25, 24, 14, 18, 13, 47, 45, 43, 17, 30, 17, 29, 40, 19, 42, 41, 6, 12, 21, 14, 8, 16, 11, 10, 38, 34, 29, 22, 20, 15, 9, 4, 18, 7, 37, 16, 3, 28, 33, 30, 40, 2, 43, 19, 15, 32, 39, 33, 37, 36, 36, 38, 35, 29, 32, 28, 22, 1, 34, 46, 46, 31, 26, 27, 23, 4, 3, 2, 1, 5, 25, 24, 7, 13, 12, 11, 10, 9, 8, 6, 5, 31, 46];
|
|
objective = 8;
|
|
% time elapsed: 6.37 s
|
|
----------
|
|
assign = [49, 28, 38, 46, 40, 48, 46, 49, 42, 46, 48, 48, 42, 39, 44, 45, 49, 45, 45, 45, 39, 49, 23, 34, 48, 27, 19, 20, 26, 25, 24, 18, 13, 43, 48, 44, 17, 31, 17, 29, 41, 16, 43, 42, 6, 12, 21, 14, 8, 16, 11, 10, 37, 33, 29, 22, 20, 15, 9, 4, 18, 7, 36, 15, 3, 22, 32, 31, 41, 2, 41, 19, 14, 30, 40, 39, 36, 35, 35, 37, 34, 30, 38, 29, 21, 1, 33, 47, 47, 28, 26, 27, 23, 4, 3, 2, 1, 5, 25, 24, 7, 13, 12, 11, 10, 9, 8, 6, 5, 32, 47];
|
|
objective = 7;
|
|
% time elapsed: 7.51 s
|
|
----------
|
|
assign = [49, 29, 38, 47, 40, 49, 47, 46, 47, 46, 49, 49, 47, 39, 44, 42, 46, 42, 45, 42, 39, 49, 23, 34, 49, 28, 16, 19, 27, 26, 25, 18, 24, 43, 47, 45, 17, 32, 17, 22, 42, 15, 44, 43, 6, 12, 21, 14, 8, 16, 11, 10, 37, 33, 30, 22, 20, 15, 9, 4, 18, 7, 36, 14, 3, 21, 31, 32, 42, 2, 41, 19, 13, 29, 41, 40, 36, 35, 35, 37, 34, 31, 39, 30, 20, 1, 33, 48, 48, 28, 26, 27, 23, 4, 3, 2, 1, 5, 25, 24, 7, 13, 12, 11, 10, 9, 8, 6, 5, 38, 48];
|
|
objective = 6;
|
|
% time elapsed: 7.87 s
|
|
----------
|
|
assign = [50, 30, 38, 50, 40, 49, 50, 47, 41, 47, 49, 49, 41, 39, 44, 46, 47, 46, 45, 46, 39, 50, 23, 32, 49, 29, 15, 16, 28, 27, 26, 18, 25, 43, 49, 45, 17, 33, 17, 21, 37, 14, 44, 43, 6, 24, 21, 14, 8, 16, 11, 10, 36, 31, 22, 22, 20, 15, 9, 4, 18, 7, 35, 13, 3, 20, 30, 33, 37, 2, 42, 19, 12, 29, 42, 41, 35, 34, 34, 38, 37, 32, 40, 31, 19, 1, 36, 48, 48, 28, 26, 27, 23, 4, 3, 2, 1, 5, 25, 24, 7, 13, 12, 11, 10, 9, 8, 6, 5, 39, 48];
|
|
objective = 5;
|
|
% time elapsed: 8.00 s
|
|
----------
|
|
assign = [49, 31, 38, 47, 40, 49, 47, 46, 47, 46, 49, 49, 47, 39, 44, 42, 46, 42, 45, 42, 39, 49, 23, 34, 49, 30, 14, 15, 29, 28, 27, 18, 26, 43, 47, 45, 17, 33, 17, 21, 42, 13, 44, 43, 6, 25, 21, 14, 8, 16, 24, 10, 37, 32, 22, 22, 20, 15, 9, 4, 18, 7, 36, 12, 3, 20, 30, 33, 42, 2, 41, 19, 11, 29, 41, 40, 36, 35, 35, 37, 34, 32, 39, 16, 19, 1, 31, 48, 48, 28, 26, 27, 23, 4, 3, 2, 1, 5, 25, 24, 7, 13, 12, 11, 10, 9, 8, 6, 5, 38, 48];
|
|
objective = 4;
|
|
% time elapsed: 8.25 s
|
|
----------
|
|
assign = [50, 32, 39, 47, 41, 49, 47, 50, 42, 47, 49, 49, 42, 38, 45, 46, 50, 46, 46, 46, 40, 50, 23, 35, 49, 31, 13, 14, 30, 29, 28, 18, 27, 44, 49, 45, 17, 33, 17, 21, 35, 12, 44, 43, 6, 26, 21, 14, 8, 16, 25, 24, 38, 34, 22, 22, 20, 15, 9, 4, 18, 7, 37, 11, 3, 20, 30, 33, 35, 2, 43, 19, 10, 29, 42, 41, 37, 36, 36, 34, 32, 16, 40, 15, 19, 1, 31, 48, 48, 28, 26, 27, 23, 4, 3, 2, 1, 5, 25, 24, 7, 13, 12, 11, 10, 9, 8, 6, 5, 39, 48];
|
|
objective = 3;
|
|
% time elapsed: 8.38 s
|
|
----------
|
|
assign = [50, 33, 40, 50, 42, 49, 50, 48, 43, 46, 49, 49, 43, 39, 48, 36, 48, 46, 48, 46, 41, 50, 23, 36, 49, 32, 12, 13, 31, 30, 29, 18, 28, 45, 49, 45, 17, 34, 17, 21, 35, 11, 44, 43, 6, 27, 21, 14, 8, 16, 26, 25, 39, 35, 22, 22, 20, 15, 24, 4, 18, 7, 38, 10, 3, 20, 29, 34, 35, 2, 44, 19, 9, 28, 42, 41, 38, 37, 37, 32, 31, 15, 40, 14, 19, 1, 30, 47, 47, 27, 25, 26, 23, 4, 3, 2, 1, 5, 24, 16, 7, 13, 12, 11, 10, 9, 8, 6, 5, 33, 47];
|
|
objective = 2;
|
|
% time elapsed: 8.48 s
|
|
----------
|
|
assign = [50, 33, 40, 47, 42, 24, 47, 50, 43, 47, 24, 49, 43, 39, 49, 36, 50, 46, 49, 46, 41, 50, 23, 36, 49, 32, 11, 12, 31, 30, 29, 18, 28, 45, 46, 45, 17, 34, 17, 21, 35, 10, 44, 43, 6, 27, 21, 14, 24, 16, 26, 25, 39, 35, 22, 22, 20, 15, 24, 4, 18, 7, 38, 9, 3, 20, 29, 34, 35, 2, 44, 19, 8, 28, 42, 41, 38, 37, 37, 32, 31, 14, 40, 13, 19, 1, 30, 48, 48, 27, 25, 26, 23, 4, 3, 2, 1, 5, 16, 15, 7, 13, 12, 11, 10, 9, 8, 6, 5, 33, 48];
|
|
objective = 1;
|
|
% time elapsed: 9.08 s
|
|
----------
|
|
assign = [50, 34, 41, 48, 43, 49, 46, 50, 46, 45, 49, 49, 25, 40, 48, 37, 50, 45, 48, 45, 42, 50, 23, 37, 49, 33, 10, 11, 32, 31, 30, 18, 29, 46, 49, 44, 17, 35, 17, 21, 36, 9, 43, 42, 6, 28, 21, 14, 25, 16, 27, 26, 40, 36, 22, 22, 20, 15, 25, 4, 18, 24, 39, 8, 3, 20, 28, 35, 36, 2, 44, 19, 7, 27, 41, 34, 39, 38, 38, 31, 30, 13, 33, 12, 19, 1, 29, 47, 47, 26, 16, 24, 23, 4, 3, 2, 1, 5, 15, 14, 7, 13, 12, 11, 10, 9, 8, 6, 5, 32, 47];
|
|
objective = 0;
|
|
% time elapsed: 9.31 s
|
|
----------
|
|
==========
|
|
% time elapsed: 9.37 s
|
|
%%%mzn-stat: nodes=48454
|
|
%%%mzn-stat: failures=39504
|
|
%%%mzn-stat: restarts=48
|
|
%%%mzn-stat: variables=151521
|
|
%%%mzn-stat: intVars=14653
|
|
%%%mzn-stat: boolVariables=136866
|
|
%%%mzn-stat: propagators=581
|
|
%%%mzn-stat: propagations=3698846
|
|
%%%mzn-stat: peakDepth=95
|
|
%%%mzn-stat: nogoods=39504
|
|
%%%mzn-stat: backjumps=4608
|
|
%%%mzn-stat: peakMem=0.00
|
|
%%%mzn-stat: time=9.315
|
|
%%%mzn-stat: initTime=0.422
|
|
%%%mzn-stat: solveTime=8.893
|
|
%%%mzn-stat: objective=0
|
|
%%%mzn-stat: optTime=8.892
|
|
%%%mzn-stat: baseMem=0.00
|
|
%%%mzn-stat: trailMem=0.42
|
|
%%%mzn-stat: randomSeed=1624263991
|