(1,29) (2,20) (3,17) (4,27) (5,25) (6,19) (7,26) (8,24) (9,16) (10,23) (11,21) (12,18) (14,22) (15,28) 
nodes: 720  conflicts: 23  modelTime: 657  solveTime: 1677  totalTime: 2339  modelSize: 41293  readTime: 5 size: 14