(1,25) (2,18) (3,8) (4,5) (6,16) (7,27) (9,21) (10,20) (11,28) (12,24) (13,22) (14,30) (15,26) (17,29) (19,23) 
nodes: 17985  conflicts: 5  modelTime: 1691  solveTime: 168087  totalTime: 169791  modelSize: 72338  readTime: 13 size: 15