solutions: 8
nodes: 19  modelTime: 4925  solveTime: 7936  totalTime: 13192  modelSize: 454987