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

6 42 48 
9 11 55 
10 46 59 
13 32 53 
15 16 35 
17 25 51 
20 23 57