solutions: 1
nodes: 6  modelTime: 995  solveTime: 4809  totalTime: 5956  modelSize: 92844  readTime: 152