(1,19) (2,17) (3,21) (5,25) (6,28) (7,27) (9,24) (10,26) (11,20) (12,22) (13,18) (14,16) (15,30) 
nodes: 8878  conflicts: 25  modelTime: 656  solveTime: 17806  totalTime: 18469  modelSize: 41293  readTime: 7 size: 13