loading SCIP...
n: 30 m: 57 packed: 8 density: 80 nodes: 0 solverTime: 47 buildTime: 0 solved: false

0 4 18 
1 10 15 
2 9 22 
3 6 8 
5 7 12 
13 14 28 
16 17 29 
23 25 27