solutions: 9
nodes: 19  modelTime: 2221  solveTime: 3149  totalTime: 5630  modelSize: 341173