solutions: 6
nodes: 15  modelTime: 8781  solveTime: 13073  totalTime: 22247  modelSize: 1693768