(2,8) (3,13) (4,21) (5,27) (6,7) (9,19) (10,29) (12,22) (14,25) (15,24) (16,18) (17,28) (20,23) (26,30) 
nodes: 33939  conflicts: 51  modelTime: 946  solveTime: 61482  totalTime: 62439  modelSize: 72272  readTime: 10 size: 14