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

0 11 13 
1 6 23 
4 5 21 
7 8 12 
10 19 22 
14 27 28 
16 24 29