(1,23) (2,26) (3,19) (4,24) (5,28) (6,11) (7,13) (8,21) (9,29) (10,17) (12,22) (14,16) (15,27) (18,25) 
nodes: 5307  conflicts: 29  modelTime: 1672  solveTime: 18919  totalTime: 20602  modelSize: 72270  readTime: 11 size: 14