solutions: 0
nodes: 6  modelTime: 4906  solveTime: 6722  totalTime: 11953  modelSize: 454881