(2,19) (3,29) (4,25) (5,17) (6,24) (8,28) (9,16) (10,26) (11,30) (12,23) (13,22) (14,20) 
nodes: 1468  conflicts: 51  modelTime: 657  solveTime: 1779  totalTime: 2442  modelSize: 41293  readTime: 6 size: 12