solutions: -1
nodes: 8  modelTime: 108  solveTime: 49  totalTime: 311  modelSize: 15472  readTime: 154