(1,21) (3,28) (5,18) (6,29) (9,25) (10,19) (12,27) (13,20) (14,17) (15,22) 
nodes: 687  conflicts: 93  modelTime: 664  solveTime: 752  totalTime: 1423  modelSize: 41300  readTime: 7 size: 10