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

1 24 29 
3 15 36 
4 17 38 
5 32 34 
8 12 16 
11 37 39 
20 27 35