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

1 8 26 
2 5 20 
3 12 22 
4 14 19 
6 18 21 
10 23 29 
11 24 28