solutions: 10
nodes: 22  modelTime: 4878  solveTime: 6434  totalTime: 11633  modelSize: 454193