solutions: 0
nodes: 4  modelTime: 5011  solveTime: 6912  totalTime: 12261  modelSize: 455294