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

1 6 29 
2 8 23 
3 25 27 
4 24 26 
5 10 16 
7 19 21 
13 14 28