solutions: 3
nodes: 6  modelTime: 956  solveTime: 1159  totalTime: 2258  modelSize: 38676  readTime: 143