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