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

2 13 18 
3 10 27 
4 25 28 
5 16 22 
6 7 23 
8 33 39 
11 12 19 
20 29 34