loading SCIP...
n: 30 m: 17 packed: 6 density: 60 nodes: 0 solverTime: 31 buildTime: 0 solved: false

2 13 19 
4 5 10 
6 21 22 
9 15 16 
12 20 24 
14 26 27