(1,20) (3,19) (4,17) (5,15) (10,11) 
nodes: 122  conflicts: 56  modelTime: 699  solveTime: 446  totalTime: 1151  modelSize: 20646  readTime: 6 size: 5