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

0 1 17 
2 6 29 
3 5 19 
4 8 27 
9 15 25 
10 14 20 
12 18 23 
16 24 28