solutions: 2
nodes: 7  modelTime: 5105  solveTime: 6912  totalTime: 12351  modelSize: 454871