solutions: 4
nodes: 9  modelTime: 143  solveTime: 64  totalTime: 455  modelSize: 15489  readTime: 248