loading SCIP...
n: 30 m: 113 packed: 10 density: 100 nodes: 0 solverTime: 31 buildTime: 0 solved: true

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