(4,19) (5,15) (7,17) (8,18) (9,13) (10,12) 
nodes: 154  conflicts: 34  modelTime: 727  solveTime: 602  totalTime: 1334  modelSize: 20646  readTime: 5 size: 6