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

1 17 29 
4 24 26 
7 23 25 
8 22 31 
9 14 33 
11 13 35 
15 21 36