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