solutions: 4
nodes: 13  modelTime: 5009  solveTime: 6148  totalTime: 11462  modelSize: 455744