solutions: 8
nodes: 15  modelTime: 107  solveTime: 53  totalTime: 335  modelSize: 15489  readTime: 175