(1,19) (2,13) (3,17) (4,14) (7,16) (8,11) 
nodes: 244  conflicts: 49  modelTime: 591  solveTime: 352  totalTime: 949  modelSize: 20646  readTime: 6 size: 6