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