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