(1,19) (2,8) (3,13) (4,21) (5,30) (6,7) (9,16) (10,28) (11,23) (12,25) (14,24) (15,22) (17,20) (18,27) (26,29) 
nodes: 8559  conflicts: 1  modelTime: 929  solveTime: 62926  totalTime: 63862  modelSize: 72338  readTime: 7 size: 15