(1,19) (2,20) (3,24) (4,29) (5,23) (6,26) (7,28) (9,18) (11,17) (12,22) (13,21) (14,27) (15,25) 
nodes: 1423  conflicts: 37  modelTime: 655  solveTime: 1930  totalTime: 2591  modelSize: 41293  readTime: 6 size: 13