solutions: 3
nodes: 8  modelTime: 106  solveTime: 74  totalTime: 353  modelSize: 15489  readTime: 173