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