solutions: 3
nodes: 6  modelTime: 831  solveTime: 1332  totalTime: 2306  modelSize: 38676  readTime: 143