solutions: 10
nodes: 25  modelTime: 137  solveTime: 306  totalTime: 847  modelSize: 123762