solutions: 7
nodes: 17  modelTime: 1044  solveTime: 1577  totalTime: 2830  modelSize: 92839  readTime: 209