(1,25) (2,26) (3,27) (4,24) (5,22) (6,21) (9,18) (10,29) (11,23) (12,20) (13,19) (14,28) (15,16) 
nodes: 1428  conflicts: 53  modelTime: 662  solveTime: 2039  totalTime: 2709  modelSize: 41293  readTime: 7 size: 13