(1,3) (4,6) (5,25) (7,14) (8,29) (10,28) (11,26) (12,21) (15,23) (16,24) (17,22) (19,27) 
nodes: 4726  conflicts: 110  modelTime: 1032  solveTime: 20709  totalTime: 21753  modelSize: 72266  readTime: 12 size: 12