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