(1,17) (2,20) (3,21) (4,29) (5,25) (7,22) (9,28) (10,24) (11,27) (13,23) (14,18) (15,26) 
nodes: 1034  conflicts: 75  modelTime: 664  solveTime: 1380  totalTime: 2050  modelSize: 41293  readTime: 6 size: 12