solutions: 4
nodes: 8  modelTime: 923  solveTime: 873  totalTime: 1957  modelSize: 38676  readTime: 161