(1,23) (4,29) (5,26) (7,21) (8,25) (9,24) (11,27) (12,28) (13,19) (14,17) 
nodes: 967  conflicts: 71  modelTime: 661  solveTime: 1623  totalTime: 2291  modelSize: 41293  readTime: 7 size: 10