solutions: 8
nodes: 19  modelTime: 63513  solveTime: 70843  totalTime: 135262  modelSize: 4559841