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