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