solutions: -1
nodes: 4  modelTime: 91  solveTime: 30  totalTime: 263  modelSize: 15472  readTime: 142