solutions: 8
nodes: 19  modelTime: 5020  solveTime: 6237  totalTime: 11556  modelSize: 454786