(1,22) (2,27) (3,21) (4,17) (5,24) (6,25) (7,29) (9,28) (12,18) (13,16) (14,19) (15,23) 
nodes: 2326  conflicts: 52  modelTime: 658  solveTime: 3499  totalTime: 4164  modelSize: 41292  readTime: 7 size: 12