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