(1,7) (2,13) (3,30) (5,8) (6,24) (9,22) (10,21) (11,18) (15,29) (16,27) (17,20) (19,25) (23,28) 
nodes: 39849  conflicts: 47  modelTime: 1732  solveTime: 99089  totalTime: 100840  modelSize: 72266  readTime: 19 size: 13