solutions: 6
nodes: 15  modelTime: 4915  solveTime: 7402  totalTime: 12655  modelSize: 454589