(2,11) (5,14) (6,19) (10,20) 
nodes: 222  conflicts: 53  modelTime: 822  solveTime: 728  totalTime: 1555  modelSize: 20646  readTime: 5 size: 4