loading SCIP...
n: 30 m: 62 packed: 9 density: 90 nodes: 0 solverTime: 15 buildTime: 0 solved: false

1 23 29 
2 8 18 
3 12 13 
4 7 11 
5 19 28 
9 17 22 
10 14 26 
15 20 27 
16 24 25