(2,16) (5,15) (6,19) (7,18) (10,13) 
nodes: 180  conflicts: 45  modelTime: 710  solveTime: 560  totalTime: 1276  modelSize: 20646  readTime: 6 size: 5