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

1 3 59 
4 15 43 
5 14 36 
8 10 47 
18 31 55 
27 28 42