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

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