(1,6) (2,13) (3,17) (4,28) (5,8) (7,24) (9,12) (10,23) (11,29) (15,20) (16,30) (18,25) (19,26) (22,27) 
nodes: 12234  conflicts: 31  modelTime: 1122  solveTime: 43510  totalTime: 44669  modelSize: 72266  readTime: 37 size: 14