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