(1,19) (2,21) (4,16) (5,18) (6,20) (7,23) (8,30) (9,29) (10,24) (11,17) (12,27) (13,22) (14,28) 
nodes: 946  conflicts: 83  modelTime: 675  solveTime: 1200  totalTime: 1882  modelSize: 41293  readTime: 7 size: 13