solutions: 3
nodes: 8  modelTime: 1060  solveTime: 2920  totalTime: 4141  modelSize: 69656  readTime: 161