solutions: -1
nodes: 6  modelTime: 92  solveTime: 31  totalTime: 263  modelSize: 15472  readTime: 140