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