(2,12) (3,20) (6,15) (7,14) (8,13) (10,18) 
nodes: 105  conflicts: 53  modelTime: 721  solveTime: 289  totalTime: 1016  modelSize: 20646  readTime: 6 size: 6