solutions: 8
nodes: 17  modelTime: 233  solveTime: 499  totalTime: 2028  modelSize: 207864