loading SCIP...
n: 40 m: 9 packed: 5 density: 38 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 28 37 
3 18 39 
6 23 32 
7 12 16 
26 33 35