(1,19) (2,29) (4,23) (5,27) (6,24) (7,16) (8,21) (9,26) (10,28) (12,25) (13,22) (14,20) (15,17) 
nodes: 1380  conflicts: 31  modelTime: 659  solveTime: 2067  totalTime: 2733  modelSize: 41293  readTime: 7 size: 13