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

0 11 15 
1 3 29 
2 9 16 
5 6 28 
8 19 22 
14 18 23