solutions: 4
nodes: 7  modelTime: 792  solveTime: 1316  totalTime: 2253  modelSize: 38676  readTime: 145