(1,23) (2,24) (3,22) (4,29) (5,28) (6,19) (10,27) (11,25) (13,16) (15,17) 
nodes: 851  conflicts: 87  modelTime: 668  solveTime: 738  totalTime: 1413  modelSize: 41300  readTime: 7 size: 10