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