solutions: 8
nodes: 17  modelTime: 5249  solveTime: 6185  totalTime: 11801  modelSize: 455009