loading SCIP...
n: 40 m: 13 packed: 7 density: 53 nodes: 0 solverTime: 31 buildTime: 0 solved: false

1 9 36 
2 6 34 
3 16 29 
8 18 31 
10 11 26 
14 17 19 
27 33 37