(1,17) (2,28) (3,22) (5,24) (6,19) (7,29) (8,20) (10,21) (11,25) (12,27) (13,26) (14,23) (15,16) 
nodes: 40297  conflicts: 30  modelTime: 656  solveTime: 72622  totalTime: 73284  modelSize: 41293  readTime: 6 size: 13