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

2 18 25 
3 15 38 
4 30 36 
5 14 22 
6 20 31 
7 13 29 
9 32 34 
10 12 39 
11 21 37 
16 17 35