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

0 7 19 
2 11 28 
3 23 25 
4 10 15 
8 9 27 
13 16 20 
17 21 22