(1,22) (2,23) (3,28) (5,26) (6,21) (7,29) (8,17) (9,25) (10,20) (12,16) (13,19) 
nodes: 1677  conflicts: 72  modelTime: 664  solveTime: 1718  totalTime: 2388  modelSize: 41293  readTime: 6 size: 11