(1,19) (2,23) (3,20) (5,21) (6,17) (7,26) (8,27) (9,28) (14,16) (15,30) 
nodes: 1262  conflicts: 79  modelTime: 662  solveTime: 1849  totalTime: 2519  modelSize: 41293  readTime: 7 size: 10