(1,28) (2,30) (3,26) (4,17) (5,20) (6,29) (7,19) (9,16) (11,22) (12,21) (13,25) (14,27) (15,18) 
nodes: 5104  conflicts: 41  modelTime: 666  solveTime: 7414  totalTime: 8087  modelSize: 41293  readTime: 7 size: 13