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