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

0 9 12 
2 5 16 
3 14 15 
4 10 20 
7 8 17 
13 23 29 
18 24 27 
25 26 28