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