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