(1,22) (2,24) (3,23) (4,26) (5,28) (6,16) (7,18) (8,27) (9,17) (10,19) (11,25) (12,29) (14,20) (15,21) 
nodes: 20607  conflicts: 23  modelTime: 658  solveTime: 34914  totalTime: 35579  modelSize: 41293  readTime: 6 size: 14