solutions: 12
nodes: 31  modelTime: 41101  solveTime: 57767  totalTime: 99538  modelSize: 2894623