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

1 14 36 
4 19 35 
5 22 33 
6 7 34 
9 20 31 
13 25 29 
15 16 38