(1,3) (2,21) (4,28) (5,8) (6,29) (7,16) (9,10) (11,19) (12,26) (13,24) (14,15) (17,25) (18,22) (20,23) 
nodes: 55897  conflicts: 32  modelTime: 1116  solveTime: 207880  totalTime: 209007  modelSize: 72267  readTime: 11 size: 14