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