solutions: 3
nodes: 5  modelTime: 1191  solveTime: 4556  totalTime: 5919  modelSize: 92872  readTime: 172