solutions: 3
nodes: 7  modelTime: 108  solveTime: 67  totalTime: 407  modelSize: 15470  readTime: 232