loading SCIP...
n: 30 m: 61 packed: 9 density: 90 nodes: 0 solverTime: 31 buildTime: 0 solved: false

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