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

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