solutions: 4
nodes: 9  modelTime: 181  solveTime: 273  totalTime: 938  modelSize: 123768