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

2 8 26 
4 9 17 
5 13 22 
6 21 23 
10 12 25 
11 15 28 
18 24 29