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

2 10 16 
3 38 39 
4 6 30 
5 8 19 
7 31 37 
9 14 26 
11 17 34 
12 20 29 
13 22 23 
18 25 32