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

2 11 42 
5 21 30 
7 18 46 
9 15 47 
13 35 44 
16 51 57