solutions: 3
nodes: 7  modelTime: 1159  solveTime: 2729  totalTime: 4059  modelSize: 69656  readTime: 171