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

1 8 19 
2 26 35 
3 16 34 
4 22 33 
7 20 24 
10 23 31 
12 29 39 
13 32 38