solutions: 6
nodes: 13  modelTime: 27541  solveTime: 32378  totalTime: 60474  modelSize: 3400363