solutions: 3
nodes: 6  modelTime: 1079  solveTime: 4244  totalTime: 5476  modelSize: 92845  readTime: 153