solutions: 10
nodes: 19  modelTime: 139  solveTime: 73  totalTime: 444  modelSize: 15470  readTime: 232