(1,12) (5,19) (6,16) (8,15) (9,11) (10,17) 
nodes: 226  conflicts: 46  modelTime: 633  solveTime: 443  totalTime: 1083  modelSize: 20646  readTime: 6 size: 6