solutions: 0
nodes: 3  modelTime: 1138  solveTime: 5581  totalTime: 6905  modelSize: 116051  readTime: 186