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

5 7 27 
6 17 28 
8 12 37 
10 29 30 
11 21 23 
13 18 32 
25 36 39