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