solutions: 8
nodes: 15  modelTime: 113  solveTime: 143  totalTime: 442  modelSize: 15489  readTime: 186