solutions: 4
nodes: 9  modelTime: 830  solveTime: 592  totalTime: 1594  modelSize: 69625  readTime: 172