solutions: 7
nodes: 15  modelTime: 1179  solveTime: 3147  totalTime: 4515  modelSize: 69656  readTime: 189