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

1 14 34 
3 25 38 
4 12 35 
5 13 21 
9 28 37 
16 17 27 
29 31 33