(2,19) (3,18) (4,24) (5,16) (6,28) (8,22) (11,20) (12,27) (14,29) 
nodes: 843  conflicts: 93  modelTime: 820  solveTime: 768  totalTime: 1595  modelSize: 41300  readTime: 7 size: 9