solutions: 6
nodes: 15  modelTime: 27406  solveTime: 35474  totalTime: 63437  modelSize: 1637746