(2,11) (4,18) (5,17) (7,13) (10,20) 
nodes: 119  conflicts: 50  modelTime: 730  solveTime: 476  totalTime: 1212  modelSize: 20646  readTime: 6 size: 5