solutions: -1
nodes: 6  modelTime: 94  solveTime: 66  totalTime: 317  modelSize: 15470  readTime: 156