(1,7) (2,4) (3,27) (5,21) (6,24) (8,19) (9,29) (10,18) (12,22) (13,25) (14,20) (15,16) (17,28) (26,30) 
nodes: 43732  conflicts: 52  modelTime: 1702  solveTime: 94653  totalTime: 96377  modelSize: 72266  readTime: 21 size: 14