solutions: 0
nodes: 3  modelTime: 1109  solveTime: 5074  totalTime: 6376  modelSize: 116033  readTime: 193