(2,19) (3,17) (6,12) (7,11) (8,16) (10,15) 
nodes: 356  conflicts: 44  modelTime: 671  solveTime: 749  totalTime: 1426  modelSize: 20646  readTime: 6 size: 6