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