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

1 28 29 
5 26 31 
7 24 36 
9 34 38 
10 27 33 
13 19 20 
18 22 32