solutions: 3
nodes: 7  modelTime: 862  solveTime: 1835  totalTime: 2865  modelSize: 54155  readTime: 168