solutions: 1
nodes: 4  modelTime: 957  solveTime: 4183  totalTime: 5332  modelSize: 92826  readTime: 192