(4,12) (8,16) (9,20) (10,18) 
nodes: 109  conflicts: 63  modelTime: 769  solveTime: 262  totalTime: 1037  modelSize: 20646  readTime: 5 size: 4