(1,2) (3,14) (4,22) (5,25) (6,23) (8,13) (9,15) (10,21) (12,26) (16,18) (17,24) (19,20) (27,28) 
nodes: 2213  conflicts: 75  modelTime: 1226  solveTime: 9310  totalTime: 10584  modelSize: 72266  readTime: 48 size: 13