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

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