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