(2,20) (3,25) (4,18) (5,27) (6,22) (7,28) (8,19) (9,24) (10,16) (11,23) (12,21) (14,26) 
nodes: 948  conflicts: 96  modelTime: 660  solveTime: 1037  totalTime: 1703  modelSize: 41292  readTime: 6 size: 12