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

3 5 37 
4 22 30 
6 18 20 
11 12 13 
15 16 33 
17 21 23 
19 29 35