(2,20) (4,19) (5,11) (8,14) (10,13) 
nodes: 106  conflicts: 44  modelTime: 677  solveTime: 170  totalTime: 853  modelSize: 20646  readTime: 6 size: 5