solutions: 4
nodes: 7  modelTime: 950  solveTime: 4660  totalTime: 5765  modelSize: 92855  readTime: 155