(1,29) (2,30) (3,21) (5,23) (6,24) (7,25) (9,19) (10,17) (11,22) (12,20) (13,16) (15,28) 
nodes: 852  conflicts: 69  modelTime: 656  solveTime: 1041  totalTime: 1703  modelSize: 41293  readTime: 6 size: 12