(1,13) (2,16) (3,15) (6,12) (7,11) (9,20) (10,19) 
nodes: 242  conflicts: 48  modelTime: 764  solveTime: 535  totalTime: 1305  modelSize: 20646  readTime: 6 size: 7