(1,11) (2,15) (3,19) (8,14) (9,17) (10,20) 
nodes: 214  conflicts: 36  modelTime: 682  solveTime: 419  totalTime: 1107  modelSize: 20646  readTime: 6 size: 6