solutions: -1
nodes: 7  modelTime: 129  solveTime: 46  totalTime: 337  modelSize: 15470  readTime: 162