solutions: -1
nodes: 6  modelTime: 92  solveTime: 32  totalTime: 277  modelSize: 15472  readTime: 153