solutions: 6
nodes: 12  modelTime: 8819  solveTime: 13856  totalTime: 23052  modelSize: 1697372