solutions: -1
nodes: 2  modelTime: 133  solveTime: 63  totalTime: 419  modelSize: 15470  readTime: 223