solutions: 10
nodes: 21  modelTime: 8756  solveTime: 14084  totalTime: 23187  modelSize: 1694757