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