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