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

2 13 15 
3 25 33 
4 8 22 
7 14 36 
9 16 39 
12 28 30 
17 20 26 
29 31 32