(1,19) (2,26) (3,25) (4,18) (5,23) (6,16) (7,13) (8,30) (9,24) (10,28) (12,21) (14,22) (15,17) (20,27) 
nodes: 84880  conflicts: 72  modelTime: 1696  solveTime: 242320  totalTime: 244035  modelSize: 72267  readTime: 19 size: 14