(1,19) (3,16) (5,12) (6,18) (7,20) (8,15) (9,14) 
nodes: 139  conflicts: 23  modelTime: 671  solveTime: 363  totalTime: 1040  modelSize: 20646  readTime: 6 size: 7