(1,28) (2,21) (3,24) (4,29) (5,25) (6,17) (7,10) (8,27) (9,19) (11,22) (12,16) (13,30) (14,23) (15,20) 
nodes: 155127  conflicts: 43  modelTime: 1699  solveTime: 763936  totalTime: 765654  modelSize: 72262  readTime: 19 size: 14