solutions: 6
nodes: 13  modelTime: 4853  solveTime: 7010  totalTime: 12176  modelSize: 454495