loading SCIP...
n: 40 m: 28 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

1 9 24 
2 12 25 
3 29 39 
5 26 31 
6 14 36 
7 19 21 
8 23 38 
15 20 35