solutions: 3
nodes: 7  modelTime: 146  solveTime: 67  totalTime: 386  modelSize: 15470  readTime: 173