solutions: -1
nodes: 6  modelTime: 93  solveTime: 46  totalTime: 273  modelSize: 15472  readTime: 134