solutions: 0
nodes: 7  modelTime: 943  solveTime: 3793  totalTime: 4891  modelSize: 92846  readTime: 155