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