(2,16) (5,12) (6,19) (7,18) (10,13) 
nodes: 130  conflicts: 40  modelTime: 818  solveTime: 522  totalTime: 1345  modelSize: 20646  readTime: 5 size: 5