loading SCIP...
n: 60 m: 11 packed: 6 density: 30 nodes: 0 solverTime: 31 buildTime: 0 solved: false

4 32 42 
5 7 41 
16 45 47 
17 39 53 
24 55 57 
27 44 58