loading SCIP...
n: 60 m: 22 packed: 7 density: 35 nodes: 0 solverTime: 32 buildTime: 0 solved: false

5 32 53 
12 45 50 
17 35 46 
18 39 40 
21 28 37 
23 27 29 
31 34 41