solutions: 4
nodes: 9  modelTime: 2212  solveTime: 2995  totalTime: 5442  modelSize: 341194