solutions: 1
nodes: 3  modelTime: 1184  solveTime: 5543  totalTime: 6942  modelSize: 116050  readTime: 214