solutions: 6
nodes: 11  modelTime: 129  solveTime: 57  totalTime: 479  modelSize: 15489  readTime: 293