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

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