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