(2,24) (3,16) (4,20) (6,29) (7,27) (8,23) (9,28) (10,18) (11,17) (12,25) (13,30) (14,21) (15,19) 
nodes: 1831  conflicts: 53  modelTime: 667  solveTime: 2701  totalTime: 3374  modelSize: 41293  readTime: 6 size: 13