solutions: 4
nodes: 8  modelTime: 933  solveTime: 1125  totalTime: 2233  modelSize: 69623  readTime: 175