MINION 1
# Input file for Minion built for Version 0.3.3
#    http://sourceforge.net/projects/minion
# Prime Queens Instance
# CSPLib prob029, www.csplib.org
# Parameters: n = 5
9
1
0 9 1
0
26
0 24 26
0

[x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34, x35]
[ a, a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a , a ]

25
[x10, x11, x12, x13, x14, x15, x16, x17, x18, x19, x20, x21, x22, x23, x24, x25, x26, x27, x28, x29, x30, x31, x32, x33, x34]
[x10, x11]
[x11, x12]
[x12, x13]
[x13, x14]
[x14, x15]
[x15, x16]
[x16, x17]
[x17, x18]
[x18, x19]
[x19, x20]
[x20, x21]
[x21, x22]
[x22, x23]
[x23, x24]
[x24, x25]
[x25, x26]
[x26, x27]
[x27, x28]
[x28, x29]
[x29, x30]
[x30, x31]
[x31, x32]
[x32, x33]
[x33, x34]

2
[[x35, x11, x0],
[x35, x12, x1],
[x35, x14, x2],
[x35, x16, x3],
[x35, x20, x4],
[x35, x22, x5],
[x35, x26, x6],
[x35, x28, x7],
[x35, x32, x8]
]
[[x35],
[x10,x11,x12,x13,x14],
[x15,x16,x17,x18,x19],
[x20,x21,x22,x23,x24],
[x25,x26,x27,x28,x29],
[x30,x31,x32,x33,x34]
]

0
tuplelists 2

96 2
0 7
0 11
1 8
1 10
1 12
2 5
2 9
2 11
2 13
3 6
3 12
3 14
4 7
4 13
5 2
5 12
5 16
6 3
6 13
6 15
6 17
7 0
7 4
7 10
7 14
7 16
7 18
8 1
8 11
8 17
8 19
9 2
9 12
9 18
10 1
10 7
10 17
10 21
11 0
11 2
11 8
11 18
11 20
11 22
12 1
12 3
12 5
12 9
12 15
12 19
12 21
12 23
13 2
13 4
13 6
13 16
13 22
13 24
14 3
14 7
14 17
14 23
15 6
15 12
15 22
16 5
16 7
16 13
16 23
17 6
17 8
17 10
17 14
17 20
17 24
18 7
18 9
18 11
18 21
19 8
19 12
19 22
20 11
20 17
21 10
21 12
21 18
22 11
22 13
22 15
22 19
23 12
23 14
23 16
24 13
24 17

600 3
0 1 1
0 2 1
0 3 1
0 4 1
0 5 1
0 6 1
0 7 0
0 8 0
0 9 0
0 10 1
0 11 0
0 12 1
0 13 0
0 14 0
0 15 1
0 16 0
0 17 0
0 18 1
0 19 0
0 20 1
0 21 0
0 22 0
0 23 0
0 24 1
1 0 1
1 2 1
1 3 1
1 4 1
1 5 1
1 6 1
1 7 1
1 8 0
1 9 0
1 10 0
1 11 1
1 12 0
1 13 1
1 14 0
1 15 0
1 16 1
1 17 0
1 18 0
1 19 1
1 20 0
1 21 1
1 22 0
1 23 0
1 24 0
2 0 1
2 1 1
2 3 1
2 4 1
2 5 0
2 6 1
2 7 1
2 8 1
2 9 0
2 10 1
2 11 0
2 12 1
2 13 0
2 14 1
2 15 0
2 16 0
2 17 1
2 18 0
2 19 0
2 20 0
2 21 0
2 22 1
2 23 0
2 24 0
3 0 1
3 1 1
3 2 1
3 4 1
3 5 0
3 6 0
3 7 1
3 8 1
3 9 1
3 10 0
3 11 1
3 12 0
3 13 1
3 14 0
3 15 1
3 16 0
3 17 0
3 18 1
3 19 0
3 20 0
3 21 0
3 22 0
3 23 1
3 24 0
4 0 1
4 1 1
4 2 1
4 3 1
4 5 0
4 6 0
4 7 0
4 8 1
4 9 1
4 10 0
4 11 0
4 12 1
4 13 0
4 14 1
4 15 0
4 16 1
4 17 0
4 18 0
4 19 1
4 20 1
4 21 0
4 22 0
4 23 0
4 24 1
5 0 1
5 1 1
5 2 0
5 3 0
5 4 0
5 6 1
5 7 1
5 8 1
5 9 1
5 10 1
5 11 1
5 12 0
5 13 0
5 14 0
5 15 1
5 16 0
5 17 1
5 18 0
5 19 0
5 20 1
5 21 0
5 22 0
5 23 1
5 24 0
6 0 1
6 1 1
6 2 1
6 3 0
6 4 0
6 5 1
6 7 1
6 8 1
6 9 1
6 10 1
6 11 1
6 12 1
6 13 0
6 14 0
6 15 0
6 16 1
6 17 0
6 18 1
6 19 0
6 20 0
6 21 1
6 22 0
6 23 0
6 24 1
7 0 0
7 1 1
7 2 1
7 3 1
7 4 0
7 5 1
7 6 1
7 8 1
7 9 1
7 10 0
7 11 1
7 12 1
7 13 1
7 14 0
7 15 1
7 16 0
7 17 1
7 18 0
7 19 1
7 20 0
7 21 0
7 22 1
7 23 0
7 24 0
8 0 0
8 1 0
8 2 1
8 3 1
8 4 1
8 5 1
8 6 1
8 7 1
8 9 1
8 10 0
8 11 0
8 12 1
8 13 1
8 14 1
8 15 0
8 16 1
8 17 0
8 18 1
8 19 0
8 20 1
8 21 0
8 22 0
8 23 1
8 24 0
9 0 0
9 1 0
9 2 0
9 3 1
9 4 1
9 5 1
9 6 1
9 7 1
9 8 1
9 10 0
9 11 0
9 12 0
9 13 1
9 14 1
9 15 0
9 16 0
9 17 1
9 18 0
9 19 1
9 20 0
9 21 1
9 22 0
9 23 0
9 24 1
10 0 1
10 1 0
10 2 1
10 3 0
10 4 0
10 5 1
10 6 1
10 7 0
10 8 0
10 9 0
10 11 1
10 12 1
10 13 1
10 14 1
10 15 1
10 16 1
10 17 0
10 18 0
10 19 0
10 20 1
10 21 0
10 22 1
10 23 0
10 24 0
11 0 0
11 1 1
11 2 0
11 3 1
11 4 0
11 5 1
11 6 1
11 7 1
11 8 0
11 9 0
11 10 1
11 12 1
11 13 1
11 14 1
11 15 1
11 16 1
11 17 1
11 18 0
11 19 0
11 20 0
11 21 1
11 22 0
11 23 1
11 24 0
12 0 1
12 1 0
12 2 1
12 3 0
12 4 1
12 5 0
12 6 1
12 7 1
12 8 1
12 9 0
12 10 1
12 11 1
12 13 1
12 14 1
12 15 0
12 16 1
12 17 1
12 18 1
12 19 0
12 20 1
12 21 0
12 22 1
12 23 0
12 24 1
13 0 0
13 1 1
13 2 0
13 3 1
13 4 0
13 5 0
13 6 0
13 7 1
13 8 1
13 9 1
13 10 1
13 11 1
13 12 1
13 14 1
13 15 0
13 16 0
13 17 1
13 18 1
13 19 1
13 20 0
13 21 1
13 22 0
13 23 1
13 24 0
14 0 0
14 1 0
14 2 1
14 3 0
14 4 1
14 5 0
14 6 0
14 7 0
14 8 1
14 9 1
14 10 1
14 11 1
14 12 1
14 13 1
14 15 0
14 16 0
14 17 0
14 18 1
14 19 1
14 20 0
14 21 0
14 22 1
14 23 0
14 24 1
15 0 1
15 1 0
15 2 0
15 3 1
15 4 0
15 5 1
15 6 0
15 7 1
15 8 0
15 9 0
15 10 1
15 11 1
15 12 0
15 13 0
15 14 0
15 16 1
15 17 1
15 18 1
15 19 1
15 20 1
15 21 1
15 22 0
15 23 0
15 24 0
16 0 0
16 1 1
16 2 0
16 3 0
16 4 1
16 5 0
16 6 1
16 7 0
16 8 1
16 9 0
16 10 1
16 11 1
16 12 1
16 13 0
16 14 0
16 15 1
16 17 1
16 18 1
16 19 1
16 20 1
16 21 1
16 22 1
16 23 0
16 24 0
17 0 0
17 1 0
17 2 1
17 3 0
17 4 0
17 5 1
17 6 0
17 7 1
17 8 0
17 9 1
17 10 0
17 11 1
17 12 1
17 13 1
17 14 0
17 15 1
17 16 1
17 18 1
17 19 1
17 20 0
17 21 1
17 22 1
17 23 1
17 24 0
18 0 1
18 1 0
18 2 0
18 3 1
18 4 0
18 5 0
18 6 1
18 7 0
18 8 1
18 9 0
18 10 0
18 11 0
18 12 1
18 13 1
18 14 1
18 15 1
18 16 1
18 17 1
18 19 1
18 20 0
18 21 0
18 22 1
18 23 1
18 24 1
19 0 0
19 1 1
19 2 0
19 3 0
19 4 1
19 5 0
19 6 0
19 7 1
19 8 0
19 9 1
19 10 0
19 11 0
19 12 0
19 13 1
19 14 1
19 15 1
19 16 1
19 17 1
19 18 1
19 20 0
19 21 0
19 22 0
19 23 1
19 24 1
20 0 1
20 1 0
20 2 0
20 3 0
20 4 1
20 5 1
20 6 0
20 7 0
20 8 1
20 9 0
20 10 1
20 11 0
20 12 1
20 13 0
20 14 0
20 15 1
20 16 1
20 17 0
20 18 0
20 19 0
20 21 1
20 22 1
20 23 1
20 24 1
21 0 0
21 1 1
21 2 0
21 3 0
21 4 0
21 5 0
21 6 1
21 7 0
21 8 0
21 9 1
21 10 0
21 11 1
21 12 0
21 13 1
21 14 0
21 15 1
21 16 1
21 17 1
21 18 0
21 19 0
21 20 1
21 22 1
21 23 1
21 24 1
22 0 0
22 1 0
22 2 1
22 3 0
22 4 0
22 5 0
22 6 0
22 7 1
22 8 0
22 9 0
22 10 1
22 11 0
22 12 1
22 13 0
22 14 1
22 15 0
22 16 1
22 17 1
22 18 1
22 19 0
22 20 1
22 21 1
22 23 1
22 24 1
23 0 0
23 1 0
23 2 0
23 3 1
23 4 0
23 5 1
23 6 0
23 7 0
23 8 1
23 9 0
23 10 0
23 11 1
23 12 0
23 13 1
23 14 0
23 15 0
23 16 0
23 17 1
23 18 1
23 19 1
23 20 1
23 21 1
23 22 1
23 24 1
24 0 1
24 1 0
24 2 0
24 3 0
24 4 1
24 5 0
24 6 1
24 7 0
24 8 0
24 9 1
24 10 0
24 11 0
24 12 1
24 13 0
24 14 1
24 15 0
24 16 0
24 17 0
24 18 1
24 19 1
24 20 1
24 21 1
24 22 1
24 23 1


objective maximising x9

print m1

alldiff(v0)

sumleq(col(m0, 2), x9)
sumgeq(col(m0, 2), x9)

table( v1, t0)

table( v2, t0)

table( v3, t0)

table( v4, t0)

table( v5, t0)

table( v6, t0)

table( v7, t0)

table( v8, t0)

table( v9, t0)

table( v10, t0)

table( v11, t0)

table( v12, t0)

table( v13, t0)

table( v14, t0)

table( v15, t0)

table( v16, t0)

table( v17, t0)

table( v18, t0)

table( v19, t0)

table( v20, t0)

table( v21, t0)

table( v22, t0)

table( v23, t0)

table( v24, t0)

table( row(m0, 0), t1)

table( row(m0, 1), t1)

table( row(m0, 2), t1)

table( row(m0, 3), t1)

table( row(m0, 4), t1)

table( row(m0, 5), t1)

table( row(m0, 6), t1)

table( row(m0, 7), t1)

table( row(m0, 8), t1)