solutions: 4
nodes: 11  modelTime: 4863  solveTime: 5763  totalTime: 10986  modelSize: 454149