(1,21) (2,19) (3,20) (4,22) (5,27) (6,18) (7,17) (9,29) (10,25) (11,16) (13,28) (15,24) 
nodes: 1741  conflicts: 68  modelTime: 664  solveTime: 1247  totalTime: 1919  modelSize: 41292  readTime: 7 size: 12