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