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

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