(1,21) (2,5) (3,23) (4,10) (6,22) (7,17) (8,27) (9,29) (11,26) (12,20) (13,18) (14,19) (15,16) (24,30) (25,28) 
nodes: 38977  conflicts: 31  modelTime: 935  solveTime: 164860  totalTime: 165806  modelSize: 72275  readTime: 11 size: 15