solutions: -1
nodes: 5  modelTime: 173  solveTime: 49  totalTime: 438  modelSize: 15472  readTime: 216