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

2 23 25 
3 9 20 
4 24 26 
6 13 15 
7 10 28 
8 12 19 
17 18 22