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

1 23 36 
3 24 31 
4 28 37 
7 14 35 
8 17 38 
9 15 39 
13 25 26