solutions: 1
nodes: 5  modelTime: 940  solveTime: 3269  totalTime: 4360  modelSize: 69636  readTime: 151