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

1 10 14 
4 17 18 
7 13 26 
8 25 37 
15 19 35 
16 28 32 
20 31 38 
21 27 36