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

1 2 26 
3 15 16 
4 35 36 
5 22 28 
6 17 32 
7 19 31 
9 18 27 
10 24 39 
11 21 38 
33 34 37