solutions: 1
nodes: 3  modelTime: 1353  solveTime: 5348  totalTime: 6918  modelSize: 116052  readTime: 216