(1,21) (2,27) (4,5) (6,22) (7,8) (9,20) (10,26) (11,24) (12,13) (14,23) (15,17) (16,25) (18,29) (19,30) 
nodes: 2975  conflicts: 20  modelTime: 1623  solveTime: 13673  totalTime: 15315  modelSize: 72268  readTime: 19 size: 14