(1,27) (2,30) (3,22) (4,13) (5,9) (6,7) (8,14) (10,25) (11,12) (15,24) (16,23) (17,18) (19,21) (20,29) 
nodes: 128564  conflicts: 67  modelTime: 1421  solveTime: 575423  totalTime: 576863  modelSize: 72269  readTime: 19 size: 14