solutions: 6
nodes: 15  modelTime: 2230  solveTime: 2665  totalTime: 5151  modelSize: 341163