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

0 20 29 
1 9 27 
2 5 17 
3 6 13 
4 10 24 
8 18 22 
11 23 28 
14 15 26