(1,19) (2,12) (3,13) (4,14) (5,20) (6,17) (7,11) (8,16) (9,18) 
nodes: 1336  conflicts: 12  modelTime: 734  solveTime: 1970  totalTime: 2709  modelSize: 20646  readTime: 5 size: 9