(1,22) (2,16) (3,24) (4,26) (5,27) (6,19) (7,29) (8,20) (9,21) (10,23) (11,28) (12,17) (13,25) (15,18) 
nodes: 41136  conflicts: 22  modelTime: 1185  solveTime: 124252  totalTime: 125451  modelSize: 41292  readTime: 14 size: 14