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