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

0 16 19 
2 8 25 
3 5 29 
4 6 14 
9 18 22 
11 12 28 
15 21 23