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

2 7 24 
3 22 23 
4 15 16 
5 8 29 
6 9 20 
11 13 18 
12 25 28