(1,17) (2,27) (3,21) (4,7) (5,22) (6,25) (8,30) (9,29) (10,15) (11,26) (12,24) (14,18) (19,28) (20,23) 
nodes: 123005  conflicts: 44  modelTime: 1610  solveTime: 503634  totalTime: 505255  modelSize: 72263  readTime: 11 size: 14