(3,11) (4,16) (8,20) (9,15) (10,19) 
nodes: 109  conflicts: 45  modelTime: 673  solveTime: 375  totalTime: 1054  modelSize: 20646  readTime: 6 size: 5