solutions: 6
nodes: 13  modelTime: 17520  solveTime: 21513  totalTime: 39677  modelSize: 2287572