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

1 9 15 
2 16 22 
5 21 39 
7 33 37 
11 17 38 
12 25 36 
26 31 35