loading SCIP...
n: 40 m: 23 packed: 8 density: 61 nodes: 0 solverTime: 16 buildTime: 0 solved: false

1 6 38 
5 19 39 
8 11 25 
9 18 20 
13 22 29 
14 21 31 
15 24 30 
16 23 35