(2,19) (4,13) (5,15) (6,16) (8,11) (9,12) 
nodes: 221  conflicts: 27  modelTime: 712  solveTime: 542  totalTime: 1260  modelSize: 20646  readTime: 6 size: 6