(2,28) (3,25) (4,19) (5,23) (6,16) (7,26) (8,24) (9,30) (10,27) (11,21) (12,20) (13,29) (14,17) 
nodes: 10862  conflicts: 28  modelTime: 685  solveTime: 32025  totalTime: 32717  modelSize: 41293  readTime: 6 size: 13