loading SCIP...
n: 30 m: 29 packed: 7 density: 70 nodes: 0 solverTime: 0 buildTime: 0 solved: false

1 12 21 
3 25 28 
4 14 20 
5 15 27 
6 16 26 
7 18 19 
8 11 29