solutions: 3
nodes: 7  modelTime: 129  solveTime: 45  totalTime: 382  modelSize: 15470  readTime: 208