solutions: 7
nodes: 15  modelTime: 885  solveTime: 648  totalTime: 1723  modelSize: 69625  readTime: 190