solutions: 5
nodes: 10  modelTime: 1184  solveTime: 4279  totalTime: 5702  modelSize: 92874  readTime: 239