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

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