(1,21) (2,10) (3,14) (4,12) (5,26) (7,9) (8,24) (11,29) (13,19) (15,27) (16,23) (17,20) (18,25) (22,28) 
nodes: 2724  conflicts: 75  modelTime: 940  solveTime: 12597  totalTime: 13549  modelSize: 72262  readTime: 11 size: 14