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

1 14 22 
3 28 29 
4 5 15 
6 13 18 
7 16 26 
9 19 25 
11 17 20 
12 23 24