(1,17) (2,29) (3,20) (4,24) (5,22) (6,27) (7,28) (9,16) (10,23) (11,19) (12,25) (13,18) (14,21) (15,26) 
nodes: 9781  conflicts: 54  modelTime: 660  solveTime: 16199  totalTime: 16865  modelSize: 41293  readTime: 6 size: 14