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

0 17 25 
2 5 6 
3 9 15 
4 8 27 
7 12 21 
11 19 26 
13 24 29 
14 23 28