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