(1,2) (3,14) (4,5) (6,22) (7,29) (8,18) (9,15) (10,12) (11,27) (16,24) (17,20) (19,23) (21,28) 
nodes: 160223  conflicts: 69  modelTime: 1704  solveTime: 596914  totalTime: 598639  modelSize: 72265  readTime: 21 size: 13