(2,18) (3,16) (4,19) (6,12) (8,17) (10,13) 
nodes: 180  conflicts: 37  modelTime: 813  solveTime: 724  totalTime: 1543  modelSize: 20646  readTime: 6 size: 6