solutions: 6
nodes: 12  modelTime: 850  solveTime: 417  totalTime: 1414  modelSize: 38676  readTime: 147