solutions: 3
nodes: 8  modelTime: 65832  solveTime: 72957  totalTime: 139631  modelSize: 4424204