(1,23) (2,22) (3,24) (4,18) (5,25) (6,26) (8,17) (9,20) (10,21) (12,29) (13,19) (14,16) (15,28) 
nodes: 189801  conflicts: 23  modelTime: 1191  solveTime: 577248  totalTime: 578449  modelSize: 41293  readTime: 10 size: 13