loading SCIP...
n: 30 m: 45 packed: 8 density: 80 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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