solutions: -1
nodes: 7  modelTime: 93  solveTime: 50  totalTime: 307  modelSize: 15472  readTime: 164