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