solutions: 6
nodes: 13  modelTime: 1077  solveTime: 676  totalTime: 1955  modelSize: 92838  readTime: 202