solutions: 4
nodes: 9  modelTime: 938  solveTime: 2277  totalTime: 3404  modelSize: 69687  readTime: 189