solutions: 4
nodes: 11  modelTime: 207  solveTime: 73  totalTime: 551  modelSize: 15489  readTime: 271