solutions: 11
nodes: 23  modelTime: 108  solveTime: 54  totalTime: 305  modelSize: 15470  readTime: 143