(2,20) (3,12) (4,26) (6,15) (7,24) (8,11) (9,17) (10,22) (14,23) (16,21) (19,27) 
nodes: 3128  conflicts: 135  modelTime: 1903  solveTime: 11999  totalTime: 13923  modelSize: 72266  readTime: 21 size: 11