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