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