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

2 17 21 
3 13 15 
4 19 23 
5 7 20 
6 14 26 
8 16 25 
11 18 22