solutions: 1
nodes: 3  modelTime: 1320  solveTime: 6037  totalTime: 7575  modelSize: 116052  readTime: 218