solutions: 3
nodes: 7  modelTime: 804  solveTime: 486  totalTime: 1438  modelSize: 38676  readTime: 147