loading SCIP...
n: 40 m: 32 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false

1 11 32 
2 26 27 
3 8 25 
5 33 35 
7 21 39 
10 12 22 
13 28 38 
14 20 34 
15 24 36