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

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