(1,22) (2,17) (5,28) (6,29) (7,24) (8,30) (9,21) (10,19) (11,25) (12,16) (13,20) (14,26) (15,27) 
nodes: 14606  conflicts: 40  modelTime: 656  solveTime: 25116  totalTime: 25778  modelSize: 41293  readTime: 6 size: 13