(2,14) (3,16) (7,12) (9,19) (10,18) 
nodes: 109  conflicts: 52  modelTime: 687  solveTime: 264  totalTime: 956  modelSize: 20646  readTime: 5 size: 5