solutions: 4
nodes: 12  modelTime: 65259  solveTime: 68326  totalTime: 134510  modelSize: 4366748