(1,13) (4,20) (7,16) (9,14) (10,19) 
nodes: 148  conflicts: 52  modelTime: 710  solveTime: 568  totalTime: 1284  modelSize: 20646  readTime: 6 size: 5