solutions: 3
nodes: 8  modelTime: 1004  solveTime: 3998  totalTime: 5173  modelSize: 92843  readTime: 170