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

1 4 21 
2 7 36 
5 12 23 
8 22 32 
11 17 37 
14 18 38 
16 30 34 
20 24 28