solutions: 5
nodes: 9  modelTime: 108  solveTime: 65  totalTime: 431  modelSize: 15471  readTime: 258