solutions: 3
nodes: 8  modelTime: 40442  solveTime: 58874  totalTime: 99992  modelSize: 3138174