solutions: 3
nodes: 8  modelTime: 5193  solveTime: 5915  totalTime: 11404  modelSize: 454495