(2,21) (3,16) (4,18) (5,23) (6,19) (7,25) (8,26) (9,30) (10,29) (12,17) (13,28) (14,20) (15,27) 
nodes: 5040  conflicts: 29  modelTime: 661  solveTime: 7947  totalTime: 8614  modelSize: 41293  readTime: 6 size: 13