loading SCIP...
n: 40 m: 65 packed: 11 density: 84 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 4 6 
3 22 23 
5 29 32 
7 24 39 
8 9 10 
12 15 28 
13 25 37 
14 19 27 
16 17 38 
18 34 35 
20 26 31