solutions: 0
nodes: 6  modelTime: 63883  solveTime: 80389  totalTime: 145162  modelSize: 3963753