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

0 14 17 
1 13 16 
4 15 28 
6 12 19 
7 21 22 
9 10 23 
18 25 26