loading SCIP...
n: 30 m: 38 packed: 7 density: 70 nodes: 0 solverTime: 16 buildTime: 0 solved: false

0 9 16 
3 7 10 
4 6 26 
5 8 11 
12 21 22 
15 23 27 
18 19 28