(1,22) (3,19) (5,7) (6,16) (8,13) (9,12) (10,27) (11,18) (14,25) (15,24) (17,23) (20,26) (21,29) 
nodes: 5520  conflicts: 93  modelTime: 1718  solveTime: 20644  totalTime: 22382  modelSize: 72262  readTime: 20 size: 13