(1,22) (2,19) (3,17) (4,25) (5,24) (7,13) (9,15) (10,21) (11,29) (12,23) (14,30) (16,27) (20,28) 
nodes: 32110  conflicts: 60  modelTime: 931  solveTime: 63682  totalTime: 64624  modelSize: 72263  readTime: 11 size: 13