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

1 28 29 
2 7 23 
5 12 18 
8 9 26 
10 19 22 
13 21 27 
14 16 24