solutions: 6
nodes: 12  modelTime: 124  solveTime: 78  totalTime: 413  modelSize: 15470  readTime: 211