(1,18) (2,23) (3,24) (4,19) (5,20) (6,17) (7,30) (9,28) (10,27) (11,25) (12,21) (13,22) (14,16) 
nodes: 4583  conflicts: 41  modelTime: 978  solveTime: 13414  totalTime: 14401  modelSize: 41293  readTime: 9 size: 13