(3,19) (4,20) (5,14) (7,13) (9,18) (10,12) 
nodes: 141  conflicts: 31  modelTime: 677  solveTime: 323  totalTime: 1006  modelSize: 20646  readTime: 6 size: 6