loading SCIP...
n: 30 m: 60 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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