solutions: 6
nodes: 15  modelTime: 9311  solveTime: 13728  totalTime: 23447  modelSize: 1697437