(1,23) (2,14) (3,12) (4,27) (5,26) (6,19) (7,17) (9,28) (10,25) (11,21) (13,30) (15,20) (16,29) (22,24) 
nodes: 31979  conflicts: 51  modelTime: 969  solveTime: 131201  totalTime: 132181  modelSize: 72266  readTime: 11 size: 14