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

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