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