solutions: 0
nodes: 8  modelTime: 63939  solveTime: 80025  totalTime: 144797  modelSize: 3982174