(1,13) (2,19) (3,20) (6,14) 
nodes: 139  conflicts: 55  modelTime: 765  solveTime: 374  totalTime: 1144  modelSize: 20646  readTime: 5 size: 4