loading SCIP...
n: 40 m: 45 packed: 9 density: 69 nodes: 0 solverTime: 32 buildTime: 0 solved: false

2 11 25 
3 20 27 
5 8 26 
6 14 38 
7 32 35 
9 24 34 
10 18 36 
12 21 39 
15 17 30