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

0 26 29 
3 13 23 
4 25 27 
6 14 16 
7 22 24 
11 17 21 
18 19 28