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