(4,15) (5,16) (6,11) (8,12) (9,19) (10,20) 
nodes: 123  conflicts: 51  modelTime: 765  solveTime: 261  totalTime: 1032  modelSize: 20646  readTime: 6 size: 6