solutions: 3
nodes: 5  modelTime: 1277  solveTime: 7134  totalTime: 8659  modelSize: 116111  readTime: 247