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

1 18 29 
4 13 27 
5 22 24 
7 8 25 
10 14 16 
12 23 26 
15 19 20