(1,23) (3,12) (4,8) (5,27) (6,14) (7,18) (9,17) (10,24) (11,21) (13,26) (15,16) (19,29) (20,28) 
nodes: 3904  conflicts: 76  modelTime: 1699  solveTime: 16436  totalTime: 18155  modelSize: 72263  readTime: 20 size: 13