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