loading SCIP...
n: 40 m: 55 packed: 10 density: 76 nodes: 0 solverTime: 32 buildTime: 0 solved: false

1 11 21 
2 20 30 
3 5 27 
4 18 31 
6 32 33 
8 13 28 
9 19 35 
10 38 39 
12 25 29 
16 34 36