(1,11) (2,16) (8,20) (9,19) (10,13) 
nodes: 287  conflicts: 50  modelTime: 675  solveTime: 465  totalTime: 1146  modelSize: 20646  readTime: 6 size: 5