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