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