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

1 37 38 
2 7 33 
3 8 27 
4 13 14 
5 11 18 
12 19 24 
21 25 36 
23 28 29