solutions: 4
nodes: 9  modelTime: 153  solveTime: 85  totalTime: 478  modelSize: 15489  readTime: 239