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