%problem_30_15_1.dzn

c = 30;
p = 15;
orders = [|
1, 0, 0, 0, 1, 1, 0, 0, 1, 0, 0, 0, 0, 1, 1 |
0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1, 0, 0, 0 |
1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0 |
1, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 |
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0 |
0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 |
0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 1 |
0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 1 |
0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1 |
0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0 |
0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 1, 0, 0 |
1, 0, 0, 1, 0, 0, 1, 0, 1, 1, 0, 0, 1, 0, 0 |
0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 |
0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 0, 0 |
1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 |
1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0 |
0, 1, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 1 |
0, 1, 0, 0, 0, 1, 0, 1, 0, 0, 0, 0, 0, 0, 0 |
0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 1, 1, 0 |
0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 1 |
0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 1, 1, 0, 0 |
0, 1, 1, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0 |
0, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0, 1, 0, 0, 0 |
0, 0, 1, 1, 1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0 |
1, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 1, 0 |
1, 0, 0, 0, 0, 1, 0, 1, 0, 1, 0, 0, 0, 0, 0 |
0, 0, 0, 1, 1, 0, 0, 0, 1, 0, 0, 0, 1, 0, 1 |
0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0 |
0, 0, 1, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 0, 0 |
0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 0, 0, 0, 0, 1 |];