(1,16) (2,17) (3,12) (4,15) (5,20) (8,19) (9,18) 
nodes: 150  conflicts: 32  modelTime: 817  solveTime: 648  totalTime: 1471  modelSize: 20646  readTime: 6 size: 7