solutions: 8
nodes: 17  modelTime: 8774  solveTime: 13065  totalTime: 22206  modelSize: 1694616