solutions: 6
nodes: 15  modelTime: 191  solveTime: 379  totalTime: 1531  modelSize: 82729