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

1 12 25 
4 5 17 
6 10 26 
7 8 13 
9 18 19 
11 14 15 
20 23 27