solutions: 6
nodes: 11  modelTime: 304  solveTime: 207  totalTime: 576  modelSize: 15470  readTime: 65