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

3 20 26 
5 14 18 
6 10 17 
8 9 22 
11 12 27 
13 21 28 
16 25 29