(1,17) (5,24) (6,20) (7,21) (8,29) (9,19) (11,18) (12,28) (13,25) (15,27) 
nodes: 1457  conflicts: 74  modelTime: 664  solveTime: 1326  totalTime: 1997  modelSize: 41300  readTime: 7 size: 10