(1,22) (2,30) (3,28) (4,18) (5,16) (7,27) (8,17) (9,21) (10,26) (11,29) (12,24) (13,25) (15,19) (20,23) 
nodes: 18543  conflicts: 48  modelTime: 1032  solveTime: 53171  totalTime: 54214  modelSize: 72262  readTime: 11 size: 14