(1,19) (4,17) (5,11) (6,15) (8,18) (10,20) 
nodes: 354  conflicts: 36  modelTime: 677  solveTime: 362  totalTime: 1045  modelSize: 20646  readTime: 6 size: 6