loading SCIP...
n: 60 m: 7 packed: 5 density: 25 nodes: 0 solverTime: 31 buildTime: 0 solved: false

6 12 25 
7 20 44 
11 42 45 
13 18 27 
22 32 43