solutions: 3
nodes: 6  modelTime: 957  solveTime: 4260  totalTime: 5384  modelSize: 92865  readTime: 167