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

3 11 33 
5 16 20 
6 9 13 
8 28 31 
10 22 34 
12 27 38 
17 19 30 
25 29 37