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

3 9 15 
7 11 32 
12 19 24 
13 14 35 
18 23 39 
20 22 31 
21 33 37