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

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