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