solutions: -1
nodes: 3  modelTime: 161  solveTime: 80  totalTime: 512  modelSize: 15470  readTime: 271