(2,14) (4,13) (6,16) (9,20) 
nodes: 107  conflicts: 71  modelTime: 817  solveTime: 267  totalTime: 1090  modelSize: 20646  readTime: 6 size: 4