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

1 11 20 
2 12 15 
3 17 19 
4 13 24 
5 21 23 
6 14 25 
8 22 29