loading SCIP...
n: 30 m: 58 packed: 8 density: 80 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 5 23 
2 3 21 
4 12 16 
6 22 24 
9 10 17 
11 25 26 
13 18 19 
20 28 29