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

0 17 25 
1 6 19 
2 10 21 
3 5 18 
4 8 15 
11 12 27 
16 23 24 
20 28 29