Running untitled_model.mzn
positions = array1d(1..27, [3, 6, 9, 18, 27, 24, 21, 20, 19, 22, 23, 26, 17, 8, 5, 2, 1, 10, 11, 12, 15, 14, 13, 4, 7, 16, 25]);
----------
positions = array1d(1..27, [7, 8, 9, 18, 27, 26, 25, 22, 19, 20, 23, 24, 15, 6, 5, 4, 1, 10, 13, 16, 17, 14, 11, 2, 3, 12, 21]);
----------
positions = array1d(1..27, [3, 12, 21, 24, 27, 18, 9, 8, 7, 16, 17, 26, 23, 20, 11, 2, 1, 4, 5, 6, 15, 14, 13, 10, 19, 22, 25]);
----------
positions = array1d(1..27, [9, 18, 27, 26, 25, 16, 7, 4, 1, 10, 13, 22, 23, 24, 15, 6, 3, 2, 5, 8, 17, 14, 11, 12, 21, 20, 19]);
----------
positions = array1d(1..27, [9, 8, 7, 16, 25, 26, 27, 24, 21, 20, 23, 22, 13, 4, 5, 6, 3, 12, 15, 18, 17, 14, 11, 2, 1, 10, 19]);
----------
positions = array1d(1..27, [9, 6, 3, 12, 21, 24, 27, 26, 25, 22, 23, 20, 11, 2, 5, 8, 7, 16, 17, 18, 15, 14, 13, 4, 1, 10, 19]);
----------
positions = array1d(1..27, [1, 4, 7, 16, 25, 22, 19, 20, 21, 24, 23, 26, 17, 8, 5, 2, 3, 12, 11, 10, 13, 14, 15, 6, 9, 18, 27]);
----------
positions = array1d(1..27, [21, 20, 19, 22, 25, 26, 27, 18, 9, 8, 17, 16, 13, 10, 11, 12, 3, 6, 15, 24, 23, 14, 5, 2, 1, 4, 7]);
----------
positions = array1d(1..27, [21, 24, 27, 26, 25, 22, 19, 10, 1, 4, 13, 16, 17, 18, 15, 12, 3, 2, 11, 20, 23, 14, 5, 6, 9, 8, 7]);
----------
positions = array1d(1..27, [1, 10, 19, 22, 25, 16, 7, 8, 9, 18, 17, 26, 23, 20, 11, 2, 3, 6, 5, 4, 13, 14, 15, 12, 21, 24, 27]);
----------
positions = array1d(1..27, [9, 18, 27, 24, 21, 12, 3, 2, 1, 10, 11, 20, 23, 26, 17, 8, 7, 4, 5, 6, 15, 14, 13, 16, 25, 22, 19]);
----------
positions = array1d(1..27, [19, 20, 21, 24, 27, 26, 25, 16, 7, 8, 17, 18, 15, 12, 11, 10, 1, 4, 13, 22, 23, 14, 5, 2, 3, 6, 9]);
----------
positions = array1d(1..27, [19, 22, 25, 26, 27, 24, 21, 12, 3, 6, 15, 18, 17, 16, 13, 10, 1, 2, 11, 20, 23, 14, 5, 4, 7, 8, 9]);
----------
positions = array1d(1..27, [7, 16, 25, 26, 27, 18, 9, 6, 3, 12, 15, 24, 23, 22, 13, 4, 1, 2, 5, 8, 17, 14, 11, 10, 19, 20, 21]);
----------
positions = array1d(1..27, [27, 26, 25, 22, 19, 20, 21, 12, 3, 2, 11, 10, 13, 16, 17, 18, 9, 6, 15, 24, 23, 14, 5, 8, 7, 4, 1]);
----------
positions = array1d(1..27, [25, 22, 19, 20, 21, 24, 27, 18, 9, 6, 15, 12, 11, 10, 13, 16, 7, 8, 17, 26, 23, 14, 5, 4, 1, 2, 3]);
----------
positions = array1d(1..27, [25, 26, 27, 24, 21, 20, 19, 10, 1, 2, 11, 12, 15, 18, 17, 16, 7, 4, 13, 22, 23, 14, 5, 8, 9, 6, 3]);
----------
positions = array1d(1..27, [1, 10, 19, 20, 21, 12, 3, 6, 9, 18, 15, 24, 23, 22, 13, 4, 7, 8, 5, 2, 11, 14, 17, 16, 25, 26, 27]);
----------
positions = array1d(1..27, [1, 2, 3, 12, 21, 20, 19, 22, 25, 26, 23, 24, 15, 6, 5, 4, 7, 16, 13, 10, 11, 14, 17, 8, 9, 18, 27]);
----------
positions = array1d(1..27, [7, 16, 25, 22, 19, 10, 1, 2, 3, 12, 11, 20, 23, 26, 17, 8, 9, 6, 5, 4, 13, 14, 15, 18, 27, 24, 21]);
----------
positions = array1d(1..27, [3, 2, 1, 10, 19, 20, 21, 24, 27, 26, 23, 22, 13, 4, 5, 6, 9, 18, 15, 12, 11, 14, 17, 8, 7, 16, 25]);
----------
positions = array1d(1..27, [27, 24, 21, 20, 19, 22, 25, 16, 7, 4, 13, 10, 11, 12, 15, 18, 9, 8, 17, 26, 23, 14, 5, 6, 3, 2, 1]);
----------
positions = array1d(1..27, [3, 12, 21, 20, 19, 10, 1, 4, 7, 16, 13, 22, 23, 24, 15, 6, 9, 8, 5, 2, 11, 14, 17, 18, 27, 26, 25]);
----------
positions = array1d(1..27, [7, 4, 1, 10, 19, 22, 25, 26, 27, 24, 23, 20, 11, 2, 5, 8, 9, 18, 17, 16, 13, 14, 15, 6, 3, 12, 21]);
----------
positions = array1d(1..27, [27, 18, 9, 8, 7, 16, 25, 22, 19, 10, 13, 4, 5, 6, 15, 24, 21, 20, 23, 26, 17, 14, 11, 12, 3, 2, 1]);
----------
positions = array1d(1..27, [3, 6, 9, 8, 7, 4, 1, 10, 19, 22, 13, 16, 17, 18, 15, 12, 21, 20, 11, 2, 5, 14, 23, 24, 27, 26, 25]);
----------
positions = array1d(1..27, [27, 18, 9, 6, 3, 12, 21, 20, 19, 10, 11, 2, 5, 8, 17, 26, 25, 22, 23, 24, 15, 14, 13, 16, 7, 4, 1]);
----------
positions = array1d(1..27, [9, 8, 7, 4, 1, 2, 3, 12, 21, 20, 11, 10, 13, 16, 17, 18, 27, 24, 15, 6, 5, 14, 23, 26, 25, 22, 19]);
----------
positions = array1d(1..27, [25, 16, 7, 4, 1, 10, 19, 20, 21, 12, 11, 2, 5, 8, 17, 26, 27, 24, 23, 22, 13, 14, 15, 18, 9, 6, 3]);
----------
positions = array1d(1..27, [27, 26, 25, 16, 7, 8, 9, 6, 3, 2, 5, 4, 13, 22, 23, 24, 21, 12, 15, 18, 17, 14, 11, 20, 19, 10, 1]);
----------
positions = array1d(1..27, [21, 24, 27, 18, 9, 6, 3, 2, 1, 4, 5, 8, 17, 26, 23, 20, 19, 10, 11, 12, 15, 14, 13, 22, 25, 16, 7]);
----------
positions = array1d(1..27, [21, 12, 3, 6, 9, 18, 27, 26, 25, 16, 17, 8, 5, 2, 11, 20, 19, 22, 23, 24, 15, 14, 13, 10, 1, 4, 7]);
----------
positions = array1d(1..27, [9, 6, 3, 2, 1, 4, 7, 16, 25, 22, 13, 10, 11, 12, 15, 18, 27, 26, 17, 8, 5, 14, 23, 24, 21, 20, 19]);
----------
positions = array1d(1..27, [25, 22, 19, 10, 1, 4, 7, 8, 9, 6, 5, 2, 11, 20, 23, 26, 27, 18, 17, 16, 13, 14, 15, 24, 21, 12, 3]);
----------
positions = array1d(1..27, [27, 24, 21, 12, 3, 6, 9, 8, 7, 4, 5, 2, 11, 20, 23, 26, 25, 16, 17, 18, 15, 14, 13, 22, 19, 10, 1]);
----------
positions = array1d(1..27, [21, 12, 3, 2, 1, 10, 19, 22, 25, 16, 13, 4, 5, 6, 15, 24, 27, 26, 23, 20, 11, 14, 17, 18, 9, 8, 7]);
----------
positions = array1d(1..27, [3, 2, 1, 4, 7, 8, 9, 18, 27, 26, 17, 16, 13, 10, 11, 12, 21, 24, 15, 6, 5, 14, 23, 20, 19, 22, 25]);
----------
positions = array1d(1..27, [21, 20, 19, 10, 1, 2, 3, 6, 9, 8, 5, 4, 13, 22, 23, 24, 27, 18, 15, 12, 11, 14, 17, 26, 25, 16, 7]);
----------
positions = array1d(1..27, [19, 22, 25, 16, 7, 4, 1, 2, 3, 6, 5, 8, 17, 26, 23, 20, 21, 12, 11, 10, 13, 14, 15, 24, 27, 18, 9]);
----------
positions = array1d(1..27, [19, 10, 1, 4, 7, 16, 25, 26, 27, 18, 17, 8, 5, 2, 11, 20, 21, 24, 23, 22, 13, 14, 15, 12, 3, 6, 9]);
----------
positions = array1d(1..27, [7, 8, 9, 6, 3, 2, 1, 10, 19, 20, 11, 12, 15, 18, 17, 16, 25, 22, 13, 4, 5, 14, 23, 26, 27, 24, 21]);
----------
positions = array1d(1..27, [25, 26, 27, 18, 9, 8, 7, 4, 1, 2, 5, 6, 15, 24, 23, 22, 19, 10, 13, 16, 17, 14, 11, 20, 21, 12, 3]);
----------
positions = array1d(1..27, [19, 20, 21, 12, 3, 2, 1, 4, 7, 8, 5, 6, 15, 24, 23, 22, 25, 16, 13, 10, 11, 14, 17, 26, 27, 18, 9]);
----------
positions = array1d(1..27, [7, 4, 1, 2, 3, 6, 9, 18, 27, 24, 15, 12, 11, 10, 13, 16, 25, 26, 17, 8, 5, 14, 23, 22, 19, 20, 21]);
----------
positions = array1d(1..27, [25, 16, 7, 8, 9, 18, 27, 24, 21, 12, 15, 6, 5, 4, 13, 22, 19, 20, 23, 26, 17, 14, 11, 10, 1, 2, 3]);
----------
positions = array1d(1..27, [19, 10, 1, 2, 3, 12, 21, 24, 27, 18, 15, 6, 5, 4, 13, 22, 25, 26, 23, 20, 11, 14, 17, 16, 7, 8, 9]);
----------
positions = array1d(1..27, [1, 2, 3, 6, 9, 8, 7, 16, 25, 26, 17, 18, 15, 12, 11, 10, 19, 22, 13, 4, 5, 14, 23, 20, 21, 24, 27]);
----------
positions = array1d(1..27, [1, 4, 7, 8, 9, 6, 3, 12, 21, 24, 15, 18, 17, 16, 13, 10, 19, 20, 11, 2, 5, 14, 23, 22, 25, 26, 27]);
----------
==========