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

1 10 37 
3 25 28 
4 21 23 
5 13 39 
6 24 26 
9 14 22 
11 12 34 
15 31 36 
16 18 32 
17 27 33