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

2 52 54 
3 32 51 
6 13 26 
11 35 57 
14 49 58 
16 37 50 
18 28 43