solutions: 4
nodes: 7  modelTime: 1053  solveTime: 2240  totalTime: 3445  modelSize: 69637  readTime: 151