(1,11) (2,14) (3,12) (6,20) (8,13) (9,16) (10,19) 
nodes: 364  conflicts: 34  modelTime: 767  solveTime: 399  totalTime: 1171  modelSize: 20646  readTime: 5 size: 7