loading SCIP...
n: 40 m: 25 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

2 8 39 
3 19 29 
4 5 14 
6 18 28 
10 26 34 
11 33 35 
20 25 38 
21 22 31