solutions: -1
nodes: 5  modelTime: 178  solveTime: 63  totalTime: 524  modelSize: 15470  readTime: 283