(1,25) (2,8) (3,7) (4,19) (5,12) (6,23) (9,10) (11,26) (13,21) (14,28) (15,29) (16,27) (17,30) (18,20) (22,24) 
nodes: 25930  conflicts: 43  modelTime: 982  solveTime: 104954  totalTime: 105948  modelSize: 72276  readTime: 12 size: 15