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

1 22 32 
8 15 19 
9 10 13 
11 16 21 
18 24 37 
25 28 30 
31 33 36