(1,18) (2,17) (3,13) (4,11) (5,12) (6,15) (7,14) (8,16) (9,20) (10,19) 
nodes: 1328  conflicts: 11  modelTime: 671  solveTime: 1343  totalTime: 2018  modelSize: 20646  readTime: 4 size: 10