(1,26) (2,18) (3,27) (4,19) (5,24) (7,22) (8,21) (9,20) (10,17) (11,25) (13,23) (15,28) 
nodes: 1691  conflicts: 62  modelTime: 660  solveTime: 1813  totalTime: 2479  modelSize: 41292  readTime: 6 size: 12