solutions: 6
nodes: 9  modelTime: 141  solveTime: 61  totalTime: 425  modelSize: 15489  readTime: 223