solutions: 4
nodes: 9  modelTime: 17384  solveTime: 20445  totalTime: 38316  modelSize: 2336392