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

2 30 36 
3 15 39 
4 18 35 
5 27 31 
6 24 28 
8 11 20 
9 17 26 
10 13 37 
12 21 29 
16 22 33 
25 34 38